Sciweavers

697 search results - page 80 / 140
» Diet: New Developments and Recent Results
Sort
View
93
Voted
MICRO
2002
IEEE
109views Hardware» more  MICRO 2002»
15 years 5 months ago
Using modern graphics architectures for general-purpose computing: a framework and analysis
Recently, graphics hardware architectures have begun to emphasize versatility, offering rich new ways to programmatically reconfigure the graphics pipeline. In this paper, we exp...
Chris J. Thompson, Sahngyun Hahn, Mark Oskin
96
Voted
PG
2000
IEEE
15 years 5 months ago
FEM-Based Dynamic Subdivision Splines
Recent years have witnessed dramatic growth in the use of subdivision schemes for graphical modeling and animation, especially for the representation of smooth, oftentimes complex...
Hong Qin
DATE
1999
IEEE
135views Hardware» more  DATE 1999»
15 years 5 months ago
Combinational Equivalence Checking Using Satisfiability and Recursive Learning
The problem of checking the equivalence of combinational circuits is of key significance in the verification of digital circuits. In recent years, several approaches have been pro...
João P. Marques Silva, Thomas Glass
79
Voted
SIGIR
1998
ACM
15 years 4 months ago
Improving Automatic Query Expansion
Most casual users of IR systems type short queries. Recent research has shown that adding new words to these queries via adhoc feedback improves the retrieval e ectiveness of such ...
Mandar Mitra, Amit Singhal, Chris Buckley
81
Voted
ICRA
1994
IEEE
96views Robotics» more  ICRA 1994»
15 years 4 months ago
The CLAPPER: A Dual-Drive Mobile Robot with Internal Correction of Dead-Reckoning Errors
This paper presents a new approach to accurate and reliable dead-reckoning with mobile robots. The approach makes use of special properties of our recently developed Multi-Degreeo...
Johann Borenstein