1466 search results - page 10 / 294 » Complexity of Reasoning over Temporal Data Models |
102
click to vote
IRCDL
2008
14 years 11 months ago
2008
Annotation and retrieval tools for multimedia digital libraries have to cope with the complexity of multimedia content. In particular, when dealing with video content, annotation ...
AUSAI
1997
Springer
15 years 1 months ago
1997
Springer
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
BIOSTEC
2008
14 years 11 months ago
2008
Clinical trial protocols include schedule of clinical trial activities such as clinical tests, procedures, and medications. The schedule specifies temporal constraints on the seque...
AAAI
2010
14 years 11 months ago
2010
We design minimal temporal description logics that are capable of expressing various aspects of temporal conceptual data models and investigate their computational complexity. We ...
LICS
2009
IEEE
15 years 4 months ago
2009
IEEE
—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems ov...