613 search results - page 56 / 123 » The Image Computation Problem in Hybrid Systems Model Checki... |
CVPR
2009
IEEE
13 years 11 months ago
2009
IEEE
One promising approach to remove motion deblurring is to recover one clear image using an image pair. Existing dual-image methods require an accurate image alignment between the i...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
CBMS
2001
IEEE
13 years 11 months ago
2001
IEEE
An approach of abnormality detection from color jiindirs images for automated mass screening system is proposed in this paper, which uses the object-based color difference image. ...
ICCV
2009
IEEE
13 years 5 months ago
2009
IEEE
This paper introduces an efficient algorithm that reconstructs 3D human poses as well as camera parameters from a small number of 2D point correspondences obtained from uncalibrat...
CVPR
2004
IEEE
14 years 9 months ago
2004
IEEE
A key step for the effective use of local image features (i.e., highly distinctive and robust features) for recognition or image matching is the appropriate grouping of feature ma...