602 search results - page 28 / 121 » Knowledge Base Compilation and the Language Design Game |
ERLANG
2004
ACM
14 years 29 days ago
2004
ACM
Erlang is a concurrent functional language designed for developing large-scale, distributed, fault-tolerant systems. The primary implementation of the language is the Erlang/OTP s...
UM
2001
Springer
13 years 12 months ago
2001
Springer
This paper describes how a user modeling knowledge base for personalized TV servers can be generated starting from an analysis of lifestyles surveys. The aim of the research is the...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
In human-level simulations, like video games can be, the design of character's behaviors has an important impact on simulation realism. We propose to divide it into a reasonin...
ISSTA
2004
ACM
14 years 29 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
VLDB
1998
ACM
13 years 11 months ago
1998
ACM
Query optimizers normally compile queries into one optimal plan by assuming complete knowledge of all cost parameters such asselectivity and resourceavailability. The execution of...