273 search results - page 41 / 55 » Incremental Recompilation of Knowledge |
ICFP
2001
ACM
15 years 9 months ago
2001
ACM
Lula is a system for computer-assisted stage lighting design and control. Whereas other systems for the same purpose are usually the results of long chains of incremental improvem...
CIAC
2010
Springer
15 years 7 months ago
2010
Springer
The problem of sharing the cost of a common infrastructure among a set of strategic and cooperating players has been the subject of intensive research in recent years. However, mos...
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...
ICEIS
2008
IEEE
15 years 4 months ago
2008
IEEE
In many areas of computer science ontologies become more and more important. The use of ontologies for domain modeling often brings up the issue of ontology integration. The task o...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
— We consider motion planning problems for a vehicle with kinodynamic constraints, where there is partial knowledge about the environment and replanning is required. We present a...