4850 search results - page 84 / 970 » Proof and Computation in Geometry |
146
click to vote
IMR
2007
Springer
2007
Springer
Parallel Mesh Adaptation for Highly Evolving Geometries with Application to Solid Propellant Rockets
16 years 14 days ago
154
click to vote
ECAI
1994
Springer
15 years 10 months ago
1994
Springer
1 We develop a learning component for a theorem prover designed for verifying statements by mathematical induction. If the prover has found a proof, it is analyzed yielding a so-ca...
166
click to vote
DGCI
2006
Springer
15 years 10 months ago
2006
Springer
Duality applied to geometrical problems is widely used in many applications in computer vision or computational geometry. A classical example is the Hough Transform to detect linea...
170
click to vote
ECCV
1994
Springer
16 years 8 months ago
1994
Springer
Most of the work achieved thus far on aspect graphs has concentrated on the design of algorithms for computing the representation. After reviewing how the space of viewpoints can b...
164
click to vote
CAD
2005
Springer
15 years 6 months ago
2005
Springer
Industrial Geometry aims at unifying existing and developing new methods and algorithms for a variety of application areas with a strong geometric component. These include CAD, CA...