99 search results - page 7 / 20 » Temporal Integrity Constraints with Indeterminacy |
RULEML
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. In this paper, a novel architecture for high-level scene interpretation is introduced, which is based on the generation of rules from an OWL-DL ontology. It is shown that...
AAAI
2004
13 years 8 months ago
2004
Many autonomous systems such as mobile robots, UAVs or spacecraft, have limited resource capacities and move in dynamic environments. Performing on-board mission planning and exec...
MMSEC
2004
ACM
14 years 24 days ago
2004
ACM
In the paper, we address oracle attacks for integrity watermarking in a communication setting. We show how an integrity verification algorithm can be modified in order to counte...
JAIR
2006
13 years 7 months ago
2006
The treatment of exogenous events in planning is practically important in many realworld domains where the preconditions of certain plan actions are affected by such events. In th...
ECAI
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. This paper studies algorithms for the Disjunctive Temporal Problem (DTP) a quite general temporal reasoning problem introduced in [12]. This problem involves the satisfac...