602 search results - page 41 / 121 » Knowledge Base Compilation and the Language Design Game |
CBSE
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
AIIA
2005
Springer
14 years 1 months ago
2005
Springer
We designed and implemented a software system, called WebCrow, that represents the first solver for Italian crosswords and the first system that tackles a language game using the...
PLDI
2003
ACM
14 years 24 days ago
2003
ACM
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal b...
CHI
2004
ACM
14 years 8 months ago
2004
ACM
We introduce a new interactive system: a game that is fun and can be used to create valuable output. When people play the game they help determine the contents of images by provid...
VR
2008
IEEE
13 years 7 months ago
2008
IEEE
Virtual interactive student-oriented learning environment (VISOLE) is a game-based constructivist pedagogical approach that encompasses the creation of an online interactive world ...