Sciweavers

3044 search results - page 348 / 609
» Linear logical approximations
Sort
View
154
Voted
ICRA
2002
IEEE
103views Robotics» more  ICRA 2002»
15 years 11 months ago
A Quantitative Stability Measure for Graspless Manipulation
In this paper, the stability of objects in graspless manipulation (or nonprehensile manipulation) is investigated. In contrast with the stability of grasps, it is crucial for the ...
Yusuke Maeda, Tamio Arai
DAGM
2001
Springer
15 years 11 months ago
Points, Lines, and Planes and Their Optimal Estimation
Abstract. We present a method for estimating unknown geometric entities based on identical, incident, parallel or orthogonal observed entities. These entities can be points and lin...
Stephan Heuel
COCO
1993
Springer
133views Algorithms» more  COCO 1993»
15 years 10 months ago
On Span Programs
We introduce a linear algebraic model of computation, the Span Program, and prove several upper and lower bounds on it. These results yield the following applications in complexit...
Mauricio Karchmer, Avi Wigderson
ECAI
2006
Springer
15 years 10 months ago
Improving Bound Propagation
Abstract. This paper extends previously proposed bound propagation algorithm [11] for computing lower and upper bounds on posterior marginals in Bayesian networks. We improve the b...
Bozhena Bidyuk, Rina Dechter
HYBRID
2000
Springer
15 years 10 months ago
Ellipsoidal Techniques for Reachability Analysis
For the reach tube of a linear time-varying system with ellipsoidal bounds on the control variable consider the following approximation problem. Find a tight ellipsoid-valued tube...
Alexander B. Kurzhanski, Pravin Varaiya