602 search results - page 27 / 121 » Knowledge Base Compilation and the Language Design Game |
PROVSEC
2007
Springer
14 years 1 months ago
2007
Springer
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...
VEE
2009
ACM
14 years 2 months ago
2009
ACM
Today’s web applications are pushing the limits of modern web browsers. The emergence of the browser as the platform of choice for rich client-side applications has shifted the ...
CINQ
2004
Springer
14 years 27 days ago
2004
Springer
Spatial data mining is a process used to discover interesting but not explicitly available, highly usable patterns embedded in both spatial and nonspatial data, which are possibly ...
ICCBR
2005
Springer
14 years 1 months ago
2005
Springer
While several researchers have applied case-based reasoning techniques to games, only Ponsen and Spronck (2004) have addressed the challenging problem of learning to win real-time ...
LREC
2008
13 years 9 months ago
2008
Case frames are an important knowledge base for a variety of natural language processing (NLP) systems. For the practical use of these systems in the real world, wide-coverage cas...