4084 search results - page 193 / 817 » Constraints in spatial structures |
235
click to vote
LICS
1995
IEEE
15 years 10 months ago
1995
IEEE
We present new proofs of cut elimination for intuitionistic, classical, and linear sequent calculi. In all cases the proofs proceed by three nested structural inductions, avoiding...
269
click to vote
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
Conventional rigid structure from motion (SFM) addresses the problem of recovering the camera parameters (motion) and the 3D locations (structure) of scene points, given observed ...
233
click to vote
CSCLP
2004
Springer
16 years 15 days ago
2004
Springer
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...
154
click to vote
JAIR
2007
15 years 7 months ago
2007
In this paper, we study the possibility of designing non-trivial random CSP models by exploiting the intrinsic connection between structures and typical-case hardness. We show tha...
291
click to vote
ICDE
1997
IEEE
16 years 8 months ago
1997
IEEE
The need to transform data between heterogeneous databases arises from a number of critical tasks in data management. These tasks are complicated by schema evolution in the underl...