1011 search results - page 53 / 203 » The three dimensions of proofs |
113
click to vote
ALGORITHMICA
2010
15 years 6 months ago
2010
We describe space-efficient algorithms for solving problems related to finding maxima among points in two and three dimensions. Our algorithms run in optimal O(n log n) time and oc...
128
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
Define a "slice" curve as the intersection of a plane with the surface of a polytope, i.e., a convex polyhedron in three dimensions. We prove that a slice curve develops...
199
click to vote
AROBOTS
2011
15 years 1 months ago
2011
—In this paper we consider the problem of controlling multiple robots manipulating and transporting a payload in three dimensions via cables. We develop robot configurations tha...
138
click to vote
JSCIC
2010
15 years 1 months ago
2010
In this paper the authors extend their previous work on Boundary Perturbation methods for scattering calculations from families of diffraction gratings to three dimensions and the...
191
click to vote
ENTCS
2006
15 years 6 months ago
2006
To broaden the scope of decision procedures for linear arithmetic, they have to be integrated into theorem provers. Successful approaches e.g. in NQTHM or ACL2 suggest a close int...