4850 search results - page 250 / 970 » Proof and Computation in Geometry |
233
click to vote
SCIA
2011
Springer
14 years 9 months ago
2011
Springer
We present a non-incremental approach to structure from motion. Our solution is based on robustly computing global rotations from relative geometries and feeding these into the kno...
226
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
In this paper we propose a novel Conditional Random Field (CRF) formulation for the semantic scene labeling problem which is able to enforce temporal consistency between consecuti...
171
click to vote
COMPGEOM
2004
ACM
16 years 1 days ago
2004
ACM
Let P be a set of n points in general position in the plane. Let Xk(P ) denote the number of empty convex k-gons determined by P. We derive, using elementary proof techniques, sev...
155
click to vote
COMPGEOM
2003
ACM
15 years 12 months ago
2003
ACM
Pointed pseudo-triangulations are planar minimally rigid graphs embedded in the plane with pointed vertices (adjacent to an angle larger than π). In this paper we prove that the ...
235
click to vote
ESOP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...