1466 search results - page 25 / 294 » Complexity of Reasoning over Temporal Data Models |
126
Voted
FORMATS
2008
Springer
15 years 5 months ago
2008
Springer
This paper investigates the properties of Metric Temporal Logic (MTL) over models in which time is dense but phenomena are constrained to have bounded variability. Contrary to the ...
147
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Gene expression measurements during the development of the fly Drosophila melanogaster are routinely used to find functional modules of temporally co-expressed genes. ...
138
click to vote
SGAI
2007
Springer
15 years 9 months ago
2007
Springer
The problems associated with planning and managing patient treatment through complex care settings are significant. It has long been realised that support tools are invaluable in ...
143
Voted
CAV
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
132
Voted
AAAI
2007
15 years 6 months ago
2007
We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have ...