955 search results - page 124 / 191 » Tractable Temporal Reasoning |
ATAL
2010
Springer
15 years 1 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...
116
click to vote
TOPNOC
2008
14 years 11 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...
177
click to vote
SOFTCOMP
2010
14 years 10 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...
105
click to vote
ECAI
2008
Springer
15 years 1 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...
100
click to vote
CVPR
2007
IEEE
16 years 1 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...