4850 search results - page 252 / 970 » Proof and Computation in Geometry |
190
click to vote
LFCS
2007
Springer
16 years 23 days ago
2007
Springer
We introduce a natural deduction formulation for the Logic of Proofs, a refinement of modal logic S4 in which the assertion PA is replaced by [[s]]A whose intended reading is “s...
191
click to vote
FOCS
2006
IEEE
16 years 21 days ago
2006
IEEE
How much can randomness help computation? Motivated by this general question and by volume computation, one of the few instances where randomness provably helps, we analyze a noti...
193
click to vote
RT
1998
Springer
15 years 10 months ago
1998
Springer
We describe an interactive system to reconstruct 3D geometry and extract textures from a set of photographs taken with arbitrary camera parameters. The basic idea is to let the use...
168
click to vote
CAGD
2010
15 years 6 months ago
2010
Many problems in computer aided geometric design and geometry processing are stated as least
152
click to vote
MFCS
1993
Springer
15 years 10 months ago
1993
Springer
We present the different constructive definitions of real number that can be found in the literature. Using domain theory we analyse the notion of computability that is substant...