11030 search results - page 400 / 2206 » Generative Sound Models |
198
click to vote
CCS
2005
ACM
16 years 8 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
199
Voted
AAAI
2010
15 years 8 months ago
2010
Forming effective coalitions is a major research challenge in AI and multi-agent systems (MAS). Coalition Structure Generation (CSG) involves partitioning a set of agents into coa...
177
Voted
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper discusses aspects of the redocumentation of legacy systems and proposes a model oriented approach to generating documentation, which is to produce models from existing ...
163
click to vote
SAT
2004
Springer
16 years 3 days ago
2004
Springer
The finite model generation problem in the first-order logic is a generalization of the propositional satisfiability (SAT) problem. An essential algorithm for solving the proble...
152
click to vote
ICCAD
1991
IEEE
15 years 10 months ago
1991
IEEE
The program TRANALYZE generates a gate-level representation of an MOS transistor circuit. The resulting model contains only four-valued unit and zero delay logic primitives, suita...