498 search results - page 26 / 100 » From Language to Time: A Temporal Expression Anchorer |
ICML
2007
IEEE
16 years 18 days ago
2007
IEEE
A plausible representation of relational information among entities in dynamic systems such as a living cell or a social community is a stochastic network which is topologically r...
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
It is important for drowsiness detection systems to warn the driver before the critical stages of drowsiness arise and thus to provide sufficient intervention time for the driver...
105
click to vote
TIME
2007
IEEE
15 years 6 months ago
2007
IEEE
It is known that for temporal languages, such as firstorder LT L, reasoning about constant (time-independent) relations is almost always undecidable. This applies to temporal des...
102
click to vote
IJCAI
2003
15 years 1 months ago
2003
Temporal Constraint Satisfaction Problems allow for reasoning with events happening over time. Their expressiveness has been extended independently in two directions: to account f...
124
click to vote
DALT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...