1466 search results - page 221 / 294 » Complexity of Reasoning over Temporal Data Models |
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
CSR
2007
Springer
15 years 4 months ago
2007
Springer
Traditionally, data that has both linear and hierarchical structure, such as annotated linguistic data, is modeled using ordered trees and queried using tree automata. In this pap...
P2P
2008
IEEE
15 years 4 months ago
2008
IEEE
Redundancy is the basic technique to provide reliability in storage systems consisting of multiple components. A redundancy scheme defines how the redundant data are produced and...
TVCG
2010
14 years 8 months ago
2010
— This paper presents topology-based methods to robustly extract, analyze, and track features defined as subsets of isosurfaces. First, we demonstrate how features identified b...
WCRE
2007
IEEE
15 years 4 months ago
2007
IEEE
Defect density and defect prediction are essential for efficient resource allocation in software evolution. In an empirical study we applied data mining techniques for value seri...