15792 search results - page 138 / 3159 » Computational Abstraction Steps |
CAV
2000
Springer
14 years 1 months ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...
ECCV
2000
Springer
14 years 11 months ago
2000
Springer
Abstract. This paper presents a prototype system for pedestrian detection on-board a moving vehicle. The system uses a generic two-step approach for efficient object detection. In ...
ESA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Traditional shortest path problems play a central role in both the design and use of communication networks and have been studied extensively. In this work, we consider a...
TMI
2010
13 years 4 months ago
2010
Abstract--Today's computer aided detection systems for computed tomography colonography (CTC) enable automated detection and segmentation of colorectal polyps. We present a pa...
ECCV
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This paper presents a technique for estimating the threedimensional velocity vector field that describes the motion of each visible scene point (scene flow). The techniqu...