Sciweavers

2601 search results - page 114 / 521
» A Point in Many Triangles
Sort
View
DSD
2009
IEEE
83views Hardware» more  DSD 2009»
14 years 1 months ago
Streaming Reduction Circuit
—Reduction circuits are used to reduce rows of floating point values to single values. Binary floating point operators often have deep pipelines, which may cause hazards when m...
Marco Gerards, Jan Kuper, André B. J. Kokke...
DCG
2007
79views more  DCG 2007»
13 years 10 months ago
Distance Measures for Well-Distributed Sets
In this paper we investigate the Erd¨os/Falconer distance conjecture for a natural class of sets statistically, though not necessarily arithmetically, similar to a lattice. We pr...
Alex Iosevich, Michael Rudnev
SLOGICA
2008
126views more  SLOGICA 2008»
13 years 10 months ago
On the Proof Theory of the Modal mu-Calculus
We study the proof-theoretic relationship between two deductive systems for the modal mu-calculus. First we recall an infinitary system which contains an omega rule allowing to de...
Thomas Studer
CAGD
1998
48views more  CAGD 1998»
13 years 10 months ago
Intersection approach to multi-point machining of sculptured surfaces
Five-axis machining of sculptured surfaces is gaining wider acceptance in many industries. This paper examines the potential of a new tool positioning strategy where the desired s...
Andrew Warkentin, Fathy Ismail, Sanjeev Bedi
MVA
2002
261views Computer Vision» more  MVA 2002»
13 years 10 months ago
Detecting Faces in Color Images Using an Adaptive Color Model and Salient Features
Face detection has many interesting applications such as a face recognition system, a surveillance system, and videolimage indexing system. In this paper, we propose a new method ...
Hang-Bong Kang