2223 search results - page 181 / 445 » Events in Property Patterns |
123
Voted
IJCAI
2001
15 years 5 months ago
2001
We propose to extend the temporal causal graph formalisms used in model-based diagnosis in order to deal with non trivial interactions like (partial) cancellation of fault effects...
118
Voted
ACL
1998
15 years 4 months ago
1998
Starting from descriptions of French connectives (in particular "donc"---therefore), on the one hand, and aspectual properties of French tenses pass4 simple and imparfai...
114
Voted
EACL
1993
ACL Anthology
15 years 4 months ago
1993
ACL Anthology
The interpretation of coercion constructions (to begin a book) has been recently considered as resulting from the operation of type changing. For instance, a phrase of type o (obj...
113
Voted
AROBOTS
2007
15 years 3 months ago
2007
Natural human-like human-robot interaction (NHL-HRI) requires the robot to be skilled both at recognizing and producing many subtle human behaviors, often taken for granted by hum...
113
Voted
ENTCS
2007
15 years 3 months ago
2007
In this paper, the problem of synthesizing controllers that ensures non interference for multilevel security dense timed discrete event systems modeled by an extension of Timed Au...