3305 search results - page 109 / 661 » Can we Rely on SQL |
ITP
2010
14 years 2 months ago
2010
Abstract. We present a new scheme to translate mathematical developments from HOL Light to Coq, where they can be re-used and rechecked. By relying on a carefully chosen embedding ...
DARS
2000
Springer
14 years 1 months ago
2000
Springer
In order for robotic systems to be successful in domains with other agents possibly interfering with the accomplishing of goals, the agents must be able to adapt to the opponents&#...
AIIDE
2007
14 years 13 days ago
2007
In this paper, we present a principled approach to constructing believable game players that relies on a cognitive architecture. The resulting agent is capable of playing the game...
FLAIRS
2007
14 years 13 days ago
2007
The difficulty of domain knowledge acquisition is one of the most sensible challenges of intelligent tutoring systems. Relying on domain experts and building domain models from sc...
BPM
2008
Springer
14 years 3 days ago
2008
Springer
Novel trends in Web services technology challenge the assumptions made by current standards for process-based service composition. Most RESTful Web service APIs, which do not rely ...