Sciweavers

4850 search results - page 64 / 970
» Proof and Computation in Geometry
Sort
View
88
Voted
CGA
2010
14 years 8 months ago
In Situ Visualization for Large-Scale Combustion Simulations
Hongfeng Yu, Chaoli Wang, R. W. Grout, Jacqueline ...
ISVD
2007
IEEE
15 years 5 months ago
From the Kneser-Poulsen conjecture to ball-polyhedra via Voronoi diagrams
A very fundamental geometric problem on finite systems of spheres was independently phrased by Kneser (1955) and Poulsen (1954). According to their well-known conjecture if a fi...
Károly Bezdek
WSC
1997
15 years 12 days ago
The Power and Performance of Proof Animation
Proof Animation™ 4.0 is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, mi...
James O. Henriksen
FOCS
1998
IEEE
15 years 3 months ago
The Shortest Vector in a Lattice is Hard to Approximate to Within Some Constant
We show that approximating the shortest vector problem (in any p norm) to within any constant factor less than p 2 is hard for NP under reverse unfaithful random reductions with i...
Daniele Micciancio