Sciweavers

18155 search results - page 13 / 3631
» Point
Sort
View
GD
2006
Springer
15 years 1 months ago
The Number of Triangulations on Planar Point Sets
We give a brief account of results concerning the number of triangulations on finite point sets in the plane, both for arbitrary sets and for specific sets such as the n
Emo Welzl
FMCAD
2000
Springer
15 years 1 months ago
Formal Verification of Floating Point Trigonometric Functions
Abstract. We have formal verified a number of algorithms for evaluating transcendental functions in double-extended precision floating point arithmetic in the Intel
John Harrison
WSCG
2003
170views more  WSCG 2003»
14 years 11 months ago
Hardware Accelerated Point Rendering of Isosurfaces
Interactive volume sculpting and volume editing often employ surface based visualization techniques, and interactive applications require fast generation and rendering of surface ...
J. Andreas Bærentzen, Niels Jørgen Ch...
57
Voted
MVA
1994
14 years 11 months ago
Uncalibrated Stereo Vision with Pointing for a Man-Machine Interface
2.1 Viewing the plane 2.2 Pointing at the plane UNCALIBRATED STEREO VISION WITH POINTING FOR A MAN{MACHINE INTERFACE
Roberto Cipolla, Paul A. Hadfield, Nicholas J. Hol...
CONCUR
2010
Springer
14 years 10 months ago
Flat Coalgebraic Fixed Point Logics
Fixed point logics are widely used in computer science, in particular in artificial intelligence and concurrency. The most expressive logics of this type are the
Lutz Schröder, Yde Venema