Sciweavers

2526 search results - page 114 / 506
» A New Algorithm for Answer Set Computation
Sort
View
78
Voted
ICRA
2009
IEEE
125views Robotics» more  ICRA 2009»
15 years 9 months ago
On computing robust n-finger force-closure grasps of 3D objects
Abstract— The paper deals with computing frictional forceclosure grasps of 3D objects problem. The key idea of the presented work is the demonstration that wrenches associated to...
Sahar El-Khoury, Anis Sahbani
IGPL
1998
97views more  IGPL 1998»
15 years 2 months ago
Towards Structurally-Free Theorem Proving
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...
Marcelo Finger
103
Voted
PR
2002
104views more  PR 2002»
15 years 2 months ago
A geometric approach for the analysis and computation of the intrinsic camera parameters
The authors of this paper adopted the projected characteristics of the absolute conic in terms of the Pascal's theorem to propose an entirely new camera calibration method ba...
Eduardo Bayro-Corrochano, Bodo Rosenhahn
251
Voted
ICDE
2009
IEEE
135views Database» more  ICDE 2009»
16 years 4 months ago
Space-Constrained Gram-Based Indexing for Efficient Approximate String Search
Abstract-- Answering approximate queries on string collections is important in applications such as data cleaning, query relaxation, and spell checking, where inconsistencies and e...
Alexander Behm, Shengyue Ji, Chen Li, Jiaheng Lu
124
Voted
CGO
2009
IEEE
15 years 9 months ago
Computer Generation of General Size Linear Transform Libraries
The development of high-performance libraries has become extraordinarily difficult due to multiple processor cores, vector instruction sets, and deep memory hierarchies. Often, t...
Yevgen Voronenko, Frédéric de Mesmay...