3233 search results - page 399 / 647 » Validation Method for Intelligent Systems |
157
click to vote
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
161
click to vote
CVIU
2006
15 years 5 months ago
2006
This paper describes a variational method with active curve evolution and level sets for the estimation, segmentation, and 3D interpretation of optical flow generated by independe...
146
Voted
TIFS
2008
15 years 5 months ago
2008
Poor quality images can significantly affect the accuracy of iris-recognition systems because they do not have enough feature information. However, existing quality measures have f...
213
click to vote
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
In recent years, sparse representation originating from signal compressed sensing theory has attracted increasing interest in computer vision research community. However, to our b...
131
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— Robust object detection is a critical skill for robotic applications in complex environments like homes and offices. In this paper we propose a method for using multiple camer...