955 search results - page 124 / 191 » Tractable Temporal Reasoning |
132
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Service coordination in domains involving temporal constraints and duration uncertainty has previously been solved with a greedy algorithm that attempts to satisfy service requests...
149
Voted
TOPNOC
2008
15 years 3 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
226
Voted
SOFTCOMP
2010
15 years 1 months ago
2010
Abstract This paper presents an extension of MOVICAB-IDS, a Hybrid Intelligent Intrusion Detection System characterized by incorporating temporal control to enable real-time proces...
141
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
We propose a framework that brings together two major forms of default reasoning in Artificial Intelligence: applying default property classification rules in static domains, and d...
136
Voted
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
Detecting and segmenting free-form objects from cluttered backgrounds is a challenging problem in computer vision. Signature detection in document images is one classic example an...