1246 search results - page 124 / 250 » Activity Modeling Using Event Probability Sequences |
127
Voted
CN
1999
15 years 2 months ago
1999
An optimization method is introduced for generating minimum-length test sequences taking into account timing constraints for FSM models of communication protocols. Due to active t...
104
Voted
WSC
2004
15 years 3 months ago
2004
Navy personnel use the REMUS unmanned underwater vehicle to search for submerged objects. Navigation inaccuracies lead to errors in predicting the location of objects and thus inc...
IJCAI
2001
15 years 3 months ago
2001
This paper describes the Region Occlusion Calculus (ROC-20), that can be used to model spatial occlusion and the effects of motion parallax of arbitrary shaped objects. ROC-20 ass...
122
Voted
ICCCN
2008
IEEE
15 years 9 months ago
2008
IEEE
—In this paper, we introduce an objective model of trust in peer-to-peer networks. Based on this model, we develop protocols that can be used by the peers in a peer-to-peer netwo...
112
click to vote
IEEEINTERACT
2003
IEEE
15 years 7 months ago
2003
IEEE
Speculative pre-execution is a promising prefetching technique which uses an auxiliary assisting thread in addition to the main program flow. A prefetching thread (p-thread), whic...