1246 search results - page 169 / 250 » Activity Modeling Using Event Probability Sequences |
126
Voted
IJSR
2010
15 years 1 months ago
2010
Abstract— People in densely populated environments typically form groups that split and merge. In this paper we track groups of people so as to reflect this formation process an...
119
click to vote
INFOCOM
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract— We investigate a widely popular Least-RecentlyUsed (LRU) cache replacement algorithm with semi-Markov modulated requests. Semi-Markov processes provide the flexibility...
111
click to vote
ENTCS
2002
15 years 2 months ago
2002
The difficulty of finding errors caused by unexpected interleavings of threads in concurrent programs is well known. Model checkers can pinpoint such errors and verify correctness...
121
click to vote
ACSD
1998
IEEE
15 years 7 months ago
1998
IEEE
One of the central objectives of the LOTOS restandardisation activity is to de ne an enhanced LOTOS language which supports real-time speci cation. The timed extension is based up...
104
click to vote
WSC
2007
15 years 5 months ago
2007
“See and Treat” in an Emergency Department combines the process of patient assessment with treatment in the expectation that it will increase patient throughput and decrease q...