6608 search results - page 1125 / 1322 » On the Completeness of Model Checking |
179
click to vote
CAIP
2009
Springer
15 years 2 months ago
2009
Springer
This paper describes a method for seamless enlargement or editing of difficult colour textures containing simultaneously both regular periodic and stochastic components. Such textu...
166
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: Methods of determining whether or not any particular HIV-1 sequence stems - completely or in part - from some unknown HIV-1 subtype are important for the design of vac...
139
click to vote
CVPR
1996
IEEE
16 years 6 months ago
1996
IEEE
Despite many successful applications of robust statistics, they have yet to be completely adapted to many computer vision problems. Range reconstruction, particularly in unstructu...
142
Voted
CVPR
2000
IEEE
16 years 6 months ago
2000
IEEE
The quest for a vision system capable of representing and recognizing arbitrary motions benefits from a low dimensional, non-specific representation of flow fields, to be used in ...
161
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
The use of video sequences for face recognition has been relatively less studied than image-based approaches. In this paper, we present a framework for face recognition from video...