Sciweavers

4155 search results - page 453 / 831
» External Memory Algorithms
Sort
View
SIGMOD
2003
ACM
119views Database» more  SIGMOD 2003»
16 years 7 months ago
Robust and Efficient Fuzzy Match for Online Data Cleaning
To ensure high data quality, data warehouses must validate and cleanse incoming data tuples from external sources. In many situations, clean tuples must match acceptable tuples in...
Surajit Chaudhuri, Kris Ganjam, Venkatesh Ganti, R...
168
Voted
EUROGRAPHICS
2010
Eurographics
16 years 3 months ago
Synthesis of Responsive Motion Using a Dynamic Model
Synthesizing the movements of a responsive virtual character in the event of unexpected perturbations has proven a difficult challenge. To solve this problem, we devise a fully a...
Yuting Ye and C. Karen Liu
PLPV
2009
ACM
16 years 3 months ago
Embedding a logical theory of constructions in Agda
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
Ana Bove, Peter Dybjer, Andrés Sicard-Ram&i...
ICASSP
2009
IEEE
16 years 1 months ago
Instantaneous pose estimation using rotation vectors
An algorithm for estimating the pose, i.e., translation and rotation, of an extended target object is introduced. Compared to conventional methods, where pose estimation is perfor...
Frederik Beutler, Marco F. Huber, Uwe D. Hanebeck
ICRA
2009
IEEE
137views Robotics» more  ICRA 2009»
16 years 1 months ago
Integration of impedance control and manipulability regulation for a finger-arm robot
— Motion control algorithms were proposed for a 9-DOF finger-arm robot by using the finger manipulability obtained in a previous study. However, in the previous study, only metho...
Jian Huang, Daisuke Yamada, Takayuki Hori, Masayuk...