4609 search results - page 606 / 922 » Automatic Generation of Sigma-Protocols |
203
click to vote
AAAI
2007
15 years 9 months ago
2007
Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on complex logical representation...
195
click to vote
AAAI
2008
15 years 9 months ago
2008
Decentralized Markov Decision Processes are a powerful general model of decentralized, cooperative multi-agent problem solving. The high complexity of the general problem leads to...
132
click to vote
AIIDE
2008
15 years 9 months ago
2008
It is difficult to discover effective behavior for NPCs automatically. For instance, evolutionary methods can learn sophisticated behaviors based on a single objective, but realis...
156
click to vote
WSC
2007
15 years 9 months ago
2007
Simulation languages and the GUIs supporting them may be excellent tools for creating simulation codes, but are not necessarily the best tools to use for creating descriptions of ...
188
click to vote
ASAP
2008
IEEE
15 years 8 months ago
2008
IEEE
Automatic generation of custom instruction processors from high-level application descriptions enables fast design space exploration, while offering very favorable performance and...