3025 search results - page 165 / 605 » A User-Centered Location Model |
118
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Temporal video segmentation is one of the fundamental and essential tasks in video processing, understanding and management. In this paper, we present an automatic method for segm...
135
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
98
Voted
IEAAIE
1999
Springer
15 years 8 months ago
1999
Springer
This paper introduces a new approach in the debugging of hardware designs. The design is given as a VHDL program and converted in a component connection model. The conversion is si...
116
click to vote
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
Abstract-- This paper describes a symbolic algorithm for overapproximating reachability in Boolean programs with unbounded thread creation. The fix-point is detected by projecting ...
100
Voted
BMVC
2001
15 years 6 months ago
2001
This paper investigates the task of identifying frequently-used pathways from video sequences of natural outdoor scenes. Path models are adaptively learnt from the accumulation of...