824 search results - page 154 / 165 » Exploring Human Visualization of Computer Algorithms |
TSE
2010
13 years 3 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
IJCV
2002
13 years 8 months ago
2002
We present a geometric model and a computational method for segmentation of images with missing boundaries. In many situations, the human visual system fills in missing gaps in ed...
CVPR
2008
IEEE
14 years 10 months ago
2008
IEEE
Traditionally, object recognition is performed based solely on the appearance of the object. However, relevant information also exists in the scene surrounding the object. As supp...
HUC
2009
Springer
14 years 1 months ago
2009
Springer
In this paper we describe a new Bayesian estimation approach for simultaneous mapping and localization for pedestrians based on odometry with foot mounted inertial sensors. When s...
ICIP
2000
IEEE
14 years 10 months ago
2000
IEEE
This paper presents a novel face-assisted video coding scheme to enhance the visual quality of the face regions in video telephony applications. A skin-color based face detection ...