4971 search results - page 351 / 995 » Observation systems |
202
click to vote
LFCS
2007
Springer
16 years 28 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
152
click to vote
MIS
2004
Springer
16 years 4 days ago
2004
Springer
— In a push-based system, updates that are made to objects are sent to clients, without them explicitly requesting these updates. The focus of this research is to develop a serve...
209
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
In discrete dynamical systems change results from actions. As such, given a set of observations, diagnoses often take the form of posited events that result in the observed behavi...
174
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
We present a chat system that uses animated text associated with emotional information to show the affective state of the user. The system obtains the affective state of a chat us...
150
click to vote
TACAS
2007
Springer
16 years 27 days ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...