613 search results - page 65 / 123 » The Image Computation Problem in Hybrid Systems Model Checki... |
ECCV
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Temporal random variation of luminance in images can manifest in film and video due to a wide variety of sources. Typical in archived films, it also affects scenes rec...
SPIN
2007
Springer
14 years 1 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
IWVF
2001
Springer
14 years 4 days ago
2001
Springer
This paper describes a practical system developed for generating 3D models of human heads from silhouettes alone. The input to the system is an image sequence acquired from circula...
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
Autonomous systems which learn and utilize a limited
visual vocabulary have wide spread applications.
Enabling such systems to segment a set of cluttered scenes
into objects is ...
SIAMIS
2011
13 years 2 months ago
2011
Abstract. Many problems of low-level computer vision and image processing, such as denoising, deconvolution, tomographic reconstruction or superresolution, can be addressed by maxi...