826 search results - page 19 / 166 » What Triggers a Behavior |
ISWC
2000
IEEE
15 years 5 months ago
2000
IEEE
If a wearable device can register what the wearer is currently doing, it can anticipate and adjust its behavior to avoid redundant interaction with the user. However, the relevanc...
107
click to vote
LCTRTS
2009
Springer
15 years 7 months ago
2009
Springer
Instruction fetch behavior has been shown to be very regular and predictable, even for diverse application areas. In this work, we propose the Lookahead Instruction Fetch Engine (...
111
Voted
SLOGICA
2008
15 years 18 days ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...
110
Voted
ICALP
1992
Springer
15 years 4 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
102
Voted
CORR
2010
Springer
15 years 24 days ago
2010
Springer
This paper presents a modeling process in order to produce a realistic simulation of crowds in the ancient Greek agora of Argos. This place was a social theater in which two kinds...