3082 search results - page 164 / 617 » Deviation Analysis: A New Use of Model Checking |
284
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...
183
click to vote
TSE
2010
15 years 4 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
165
click to vote
CAIP
1999
Springer
1999
Springer
EigenHistograms: Using Low Dimensional Models of Color Distribution for Real Time Object Recognition
15 years 10 months ago
Abstract. Distribution of object colors has been used in computer vision for recognition and indexing. Most of the recent approaches to this problem have been focused on de ning op...
178
click to vote
ICIAR
2009
Springer
15 years 11 months ago
2009
Springer
A self-adaptive Hidden Markov Model (SA-HMM) based framework is proposed for behavior recognition in this paper. In this model, if an unknown sequence cannot be classified into an...
153
click to vote
DEBU
2010
15 years 6 months ago
2010
Much research has been conducted on the management of outdoor moving objects. In contrast, relatively little research has been conducted on indoor moving objects. The indoor setti...