602 search results - page 1 / 121 » Knowledge Base Compilation and the Language Design Game |
ITS
1992
Springer
13 years 9 months ago
1992
Springer
: The ProgramCritic is a system designed to analyze and critique students' computer programs. After analyzing a program, the ProgramCritic provides the student with a list of ...
GAMEON
2000
13 years 6 months ago
2000
"Game AI" is the high-level control code for computer entertainment applications. Games are diverse, and the nature of game AI reflects this diversity. However, game AI,...
IJCAI
2001
13 years 6 months ago
2001
We propose a perspective on knowledge compilation which calls for analyzing different compilation approaches according to two key dimensions: the succinctness of the target compil...
ENTCS
2010
13 years 5 months ago
2010
This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...
POPL
2007
ACM
14 years 5 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...