6608 search results - page 994 / 1322 » On the Completeness of Model Checking |
173
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
This paper addresses the problem of recovering structure and motion from silhouettes. Silhouettes are projections of contour generators which are viewpoint dependent, and hence do...
191
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Probabilistic graphical models such as Bayesian Networks have been increasingly applied to many computer vision problems. Accuracy of inferences in such models depends on the quali...
262
click to vote
GIS
2007
ACM
16 years 7 months ago
2007
ACM
The automatic creation of 3D models of urban spaces has become a very active field of research. This has been inspired by recent applications in the location-awareness on the Inte...
191
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...
181
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Local aspects of Web search -- associating Web content and queries with geography -- is a topic of growing interest. However, the underlying question of how spatial variation is m...