6201 search results - page 270 / 1241 » Implementation of Axiomatic Language |
150
click to vote
SP
2003
IEEE
15 years 11 months ago
2003
IEEE
Language run-time systems are often called upon to safely execute mutually distrustful tasks within the same runtime, protecting them from other tasks’ bugs or otherwise hostile...
158
Voted
GAMEON
2000
15 years 7 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,...
154
click to vote
NLE
2008
15 years 5 months ago
2008
This paper describes clime, a web-based legal advisory system with a multilingual natural language interface. clime is a `proof-of-concept' system which answers queries relat...
178
click to vote
PLDI
2010
ACM
16 years 3 months ago
2010
ACM
An ad hoc data format is any non-standard, semi-structured data format for which robust data processing tools are not available. In this paper, we present ANNE, a new kind of mark...
176
click to vote
FOIKS
2006
Springer
15 years 9 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...