Sciweavers

5215 search results - page 902 / 1043
» A model of normative power
Sort
View
SLP
1994
77views more  SLP 1994»
15 years 7 months ago
Modal Event Calculus
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
Iliano Cervesato, Luca Chittaro, Angelo Montanari
IJCAI
1989
15 years 7 months ago
A Technique for Customizing Object-Oriented Knowledge Representation Systems, With An Application to Network Problem Management
Over the last few years, object-oriented techniques have gained an increasing recognition both in software engineering and in AI. Object-oriented systems present undisputable adva...
Lisiane Goffaux, Robert Mathonet
AIPS
2009
15 years 7 months ago
Extending the Use of Inference in Temporal Planning as Forwards Search
PDDL2.1 supports modelling of complex temporal planning domains in which solutions must exploit concurrency. Few existing temporal planners can solve problems that require concurr...
Amanda Jane Coles, Andrew Coles, Maria Fox, Derek ...
AIPS
2009
15 years 7 months ago
A Decision-Theoretic Approach to Dynamic Sensor Selection in Camera Networks
Nowadays many urban areas have been equipped with networks of surveillance cameras, which can be used for automatic localization and tracking of people. However, given the large r...
Matthijs T. J. Spaan, Pedro U. Lima
CIVR
2008
Springer
141views Image Analysis» more  CIVR 2008»
15 years 7 months ago
Experiments in interactive video search by addition and subtraction
We have developed an interactive video search system that allows the searcher to rapidly assess query results and easily pivot off those results to form new queries. The system i...
John Adcock, Matthew L. Cooper, Jeremy Pickens