Sciweavers

4345 search results - page 28 / 869
» Temporal Constraint Networks
Sort
View
IJSSE
2011
127views more  IJSSE 2011»
13 years 4 months ago
A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints
The Extensible Markup Language is susceptible to security breaches because it does not incorporate methods to protect the information it encodes. Our work presented in this paper f...
Sean Policarpio, Yan Zhang
ATAL
2010
Springer
13 years 11 months ago
Coalition formation with spatial and temporal constraints
The coordination of emergency responders and robots to undertake a number of tasks in disaster scenarios is a grand challenge for multi-agent systems. Central to this endeavour is...
Sarvapali D. Ramchurn, Maria Polukarov, Alessandro...
ECAI
2004
Springer
14 years 3 months ago
Using Spatio-Temporal Continuity Constraints to Enhance Visual Tracking of Moving Objects
We present a framework for annotating dynamic scenes involving occlusion and other uncertainties. Our system comprises an object tracker, an object classifier and an algorithm for...
Brandon Bennett, Derek R. Magee, Anthony G. Cohn, ...
AAAI
1998
13 years 11 months ago
Backtracking Algorithms for Disjunctions of Temporal Constraints
Weextendthe frameworkof simple temporalproblems studied originally by Dechter,MeiriandPearl to consider constraints of the formxl - yl < rl V... v xn yn <_rn, wherexl ... xn...
Kostas Stergiou, Manolis Koubarakis
MFCS
1997
Springer
14 years 2 months ago
Integrating the Specification Techniques of Graph Transformation and Temporal Logic
The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...
Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Co...