313 search results - page 37 / 63 » Algorithms on negatively curved spaces |
DCG
2008
13 years 10 months ago
2008
We present a novel reconstruction algorithm that, given an input point set sampled from an object S, builds a one-parameter family of complexes that approximate S at different sca...
ICTAI
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, we present a purely incremental, scalable algorithm for the detection of elliptical shapes in images. Our method uses an incremental version of the Random Hough Tra...
CHI
2004
ACM
14 years 10 months ago
2004
ACM
We present an image guided pen-based suggestive interface for sketching 3D wireframe models. Rather than starting from a blank canvas, existing 2D images of similar objects serve ...
ICCAD
2005
IEEE
14 years 6 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
ARITH
2003
IEEE
14 years 3 months ago
2003
IEEE
The quotient digit selection in the SRT division algorithm is based on a few most significant bits of the remainder and divisor, where the remainder is usually represented in a r...