7109 search results - page 327 / 1422 » Process Algebra with Combinators |
157
click to vote
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
An approach for reconstructing wireframe models of curvilinear objects from three orthographic views is discussed. Our main stress is on the method of generating three-dimensional ...
141
click to vote
WEBDB
1999
Springer
15 years 9 months ago
1999
Springer
We propose a framework for navigation-driven evaluation of virtual mediated views. The approach is based on lazy mediators that translate incoming client navigations on a virtual ...
120
click to vote
IJCAI
2003
15 years 6 months ago
2003
In many applications of temporal reasoning we are in terested in reasoning incrementally In particular, given a CSP of temporal constrains and a new constraint, we want to maint...
147
click to vote
JLP
2007
15 years 4 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
190
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
We propose a reduced algebraic cost based on pairwise epipolar constraints for the iterative refinement of a multiple view 3D reconstruction. The aim is to accelerate the intermedi...