3082 search results - page 95 / 617 » Deviation Analysis: A New Use of Model Checking |
206
click to vote
ECMDAFA
2005
Springer
15 years 11 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
183
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
With the growing popularity of digitized sports video, automatic analysis of them need be processed to facilitate semantic summarization and retrieval. Playfield plays the fundame...
203
click to vote
IWFM
2000
15 years 7 months ago
2000
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...
176
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
Humans are articulated objects composed of non-rigid parts. We are interested in detecting and tracking human motions over various periods of time. In this paper we describe a met...
157
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. This paper proposes a novel approach to anomalous behaviour detection in video. The approach is comprised of three key components. First, distributions of spatiotemporal ...