Sciweavers

4345 search results - page 274 / 869
» Temporal Constraint Networks
Sort
View
RTDB
2001
83views more  RTDB 2001»
15 years 8 months ago
Updates and View Maintenance
A database system contains base data items which record and model a physical, real world environment. For better decision support, base data items are summarized and correlated to...
Ben Kao, Kam-yiu Lam, Brad Adelberg
ATAL
2010
Springer
15 years 6 months ago
Verifying agents with memory is harder than it seemed
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
Nils Bulling, Wojciech Jamroga
TCSB
2008
15 years 6 months ago
Clustering Time-Series Gene Expression Data with Unequal Time Intervals
Clustering gene expression data given in terms of time-series is a challenging problem that imposes its own particular constraints, namely exchanging two or more time points is not...
Luis Rueda, Ataul Bari, Alioune Ngom
AAMAS
1999
Springer
15 years 6 months ago
Verifying Compliance with Commitment Protocols
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
Mahadevan Venkatraman, Munindar P. Singh
ECAI
2010
Springer
15 years 4 months ago
LTL Goal Specifications Revisited
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
Andreas Bauer 0002, Patrik Haslum