4850 search results - page 136 / 970 » Proof and Computation in Geometry |
155
click to vote
INFORMATICALT
2010
15 years 4 months ago
2010
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriï...
136
click to vote
JLP
2010
15 years 1 months ago
2010
A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to...
171
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
We consider the problem of computing stereo correspondence for scenes dense in physical structure, such as a bouquet of flowers. Boundaries are then space curves, formally govern...
142
click to vote
CPHYSICS
2004
15 years 6 months ago
2004
We test the standard edge plasma code B2-solps5.0 on a model First-Wall Limiter (FWL) geometry. The presence of a tangency point between the solid wall and the magnetic separatrix...
163
click to vote
JMIV
2010
15 years 1 months ago
2010
Recent work on geometric vision problems has exploited convexity properties in order to obtain globally optimal solutions. In this paper we give an overview of these developments a...