613 search results - page 53 / 123 » The Image Computation Problem in Hybrid Systems Model Checki... |
CAV
2009
Springer
14 years 2 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
ECCV
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. Bottom-up approaches, which rely mainly on continuity principles, are often insufficient to form accurate segments in natural images. In order to improve performance, rec...
ECCV
2010
Springer
14 years 1 months ago
2010
Springer
Spoofing with photograph or video is one of the most common manner to circumvent a face recognition system. In this paper, we present a real-time and non-intrusive method to addre...
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
Projector-camera systems use computer vision to analyze their surroundings and display feedback directly onto real world objects, as embodied by spatial augmented reality. To be e...
IMAGING
2003
13 years 9 months ago
2003
Color is of interest to those working in computer vision largely because it is assumed to be helpful for recognition. This assumption has driven much work in color based image ind...