Sciweavers

1813 search results - page 283 / 363
» Calculi of Approximation Spaces
Sort
View
158
Voted
COMPGEOM
2000
ACM
15 years 8 months ago
Fast computation of generalized Voronoi diagrams using graphics hardware
: We present a new approach for computing generalized Voronoi diagrams in two and three dimensions using interpolation-based polygon rasterization hardware. The input primitives ma...
Kenneth E. Hoff III, Tim Culver, John Keyser, Ming...
UIST
2000
ACM
15 years 8 months ago
Speed-dependent automatic zooming for browsing large documents
We propose a navigation technique for browsing large documents that integrates rate-based scrolling with automatic zooming. The view automatically zooms out when the user scrolls ...
Takeo Igarashi, Ken Hinckley
ICIP
1999
IEEE
15 years 8 months ago
Compensation of Unidirectional Geometric Distortion in EPI Using Spline Warping
Due to magnetic field inhomogeneities, EPI images are geometrically distorted, predominantly along the phase-encoding direction. Currently, the distortion is either ignored or com...
Jan Kybic, Philippe Thévenaz, Michael Unser
114
Voted
FOCS
1998
IEEE
15 years 8 months ago
The Finite Capacity Dial-A-Ride Problem
In the Finite Capacity Dial-a-Ride problem the input is a metric space, a set of objects {di}, each specifying a source si and a destination ti, and an integer k--the capacity of t...
Moses Charikar, Balaji Raghavachari
LCTRTS
1999
Springer
15 years 8 months ago
A Software Synthesis Tool for Distributed Embedded System Design
We present a design tool for automated synthesis of embedded systems on distributed COTS-based platforms. Our synthesis tool consists of (1) a graphical user interface for input o...
Dong-In Kang, Richard Gerber, Leana Golubchik, Jef...