955 search results - page 146 / 191 » Tractable Temporal Reasoning |
103
click to vote
REX
1991
15 years 3 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
106
click to vote
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
Monitoring patients in intensive care units is a critical task. Simple condition detection is generally insufficient to diagnose a patient and may generate many false alarms to the...
LREC
2010
15 years 1 months ago
2010
In the first part of this paper, we present a framework for enriching arbitrary upper or domain-specific ontologies with a concept of time. To do so, we need the notion of a time ...
101
click to vote
LREC
2008
15 years 1 months ago
2008
We are currently developing MiniSTEx, a spatiotemporal annotation system to handle temporal and/or geospatial information directly and indirectly expressed in texts. In the end, t...
NIPS
2007
15 years 1 months ago
2007
Natural sounds are structured on many time-scales. A typical segment of speech, for example, contains features that span four orders of magnitude: Sentences (∼1 s); phonemes (âˆ...