2014 search results - page 256 / 403 » Intelligent Transportation System (ITS) |
ICAIL
2007
ACM
14 years 1 months ago
2007
ACM
In this paper we describe a legal core ontology that is part of a generic architecture for legal knowledge systems, which will enable the interchange of knowledge between existing ...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
AAAI
2008
14 years 18 hour ago
2008
To-do lists have been found to be the most popular personal information management tools, yet there is no automated system to interpret and act upon them when appropriate on behal...
AAAI
1997
13 years 11 months ago
1997
We address the problem of visually detecting causal events and tting them together into a coherent story of the action witnessed by the camera. We show that this can be done by re...
AAAI
1997
13 years 11 months ago
1997
This paper describes preliminary results from using an AI robot control software architecture, known as 3T, as the software framework for a procedure tracking system for the space...