6020 search results - page 498 / 1204 » A New Approach to Model Counting |
192
click to vote
CVPR
2005
IEEE
16 years 9 months ago
2005
IEEE
In this paper, we present a new variational method for multi-view stereovision and non-rigid three-dimensional motion estimation from multiple video sequences. Our method minimize...
218
click to vote
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
The robust alignment of images and scenes seen from widely different viewpoints is an important challenge for camera and scene reconstruction. This paper introduces a novel class ...
201
Voted
ECCV
2002
Springer
16 years 9 months ago
2002
Springer
This paper deals with the three-dimensional reconstruction of an underwater environment from multiple acoustic range views acquired by a remotely operated vehicle. The problem is m...
180
click to vote
SOFTVIS
2006
ACM
16 years 1 months ago
2006
ACM
It is vital for any developer to keep track of changes during his project. Thus, it is common practice to take static snapshots of single class diagrams. But to preserve the menta...
220
click to vote
CONCUR
1997
Springer
15 years 11 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...