602 search results - page 58 / 121 » Knowledge Base Compilation and the Language Design Game |
128
click to vote
CASES
2006
ACM
15 years 5 months ago
2006
ACM
When integrating software threads together to boost performance on a processor with instruction-level parallel processing support, it is rarely clear which code regions should be ...
145
Voted
AMAST
2008
Springer
15 years 3 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
101
click to vote
COLING
2000
15 years 3 months ago
2000
A translation is a conversion from a source language into a target language preserving the meaning. A huge number of techniques and computational approaches have been experimented...
130
Voted
AIIDE
2008
15 years 4 months ago
2008
Artificial intelligence in games is typically used for creating player's opponents. Manual edition of intelligent behaviors for Non-Player Characters (NPCs) of games is a cum...
138
Voted
OWLED
2008
15 years 3 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...