554 search results - page 66 / 111 » Modeling and Reasoning about Service Behaviors and Their Com... |
143
click to vote
ECML
2007
Springer
15 years 10 months ago
2007
Springer
Most traffic management and optimization tasks, such as accident detection or optimal vehicle routing, require an ability to adequately model, reason about and predict irregular an...
216
click to vote
ISPDC
2010
IEEE
15 years 4 months ago
2010
IEEE
—This paper presents an operational semantics of the repetitive model of computation, which is the basis for the repetitive structure modeling (RSM) package defined in the stand...
179
click to vote
ICIP
2007
IEEE
16 years 7 months ago
2007
IEEE
A key goal of far-field activity analysis is to learn the usual pattern of activity in a scene and to detect statistically anomalous behavior. We propose a method for unsupervised...
170
click to vote
GI
2005
Springer
15 years 11 months ago
2005
Springer
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...
152
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...