3047 search results - page 260 / 610 » A Temporal Consensus Model |
152
click to vote
IUI
2006
ACM
16 years 18 days ago
2006
ACM
Interface personalization can improve a user’s performance and subjective impression of interface quality and responsiveness. Personalization is difficult to implement as it req...
161
click to vote
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
16 years 19 days ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
168
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
209
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
174
click to vote
CVIU
2004
15 years 6 months ago
2004
We present the use of layered probabilistic representations for modeling human activities, and describe how we use the representation to do sensing, learning, and inference at mul...