46 search results - page 7 / 10 » Using Constrained Resolution for Abductive Temporal Reasonin... |
DAGSTUHL
2006
13 years 9 months ago
2006
We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of m...
AIPS
2009
13 years 8 months ago
2009
Dynamic plan execution strategies allow an autonomous agent to respond to uncertainties while improving robustness and reducing the need for an overly conservative plan. Executive...
ICIP
1999
IEEE
14 years 9 months ago
1999
IEEE
The usefulness of a video database relies on whether the video of interest can be easily located. To allow exploring, browsing, and retrieving videos according to their visual con...
RE
1995
Springer
13 years 11 months ago
1995
Springer
In an evolving specification, considerable development time and effort is spent handling recurrent inconsistencies. Tools and techniques for detecting and resolving inconsistencie...
KBSE
1999
IEEE
13 years 12 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...