Sciweavers

3454 search results - page 264 / 691
» Modern computer algebra
Sort
View
ICCV
2005
IEEE
16 years 7 days ago
Degenerate Cases and Closed-form Solutions for Camera Calibration with One-Dimensional Objects
Camera Calibration with one-dimensional objects is based on an algebraic constraint on the image of the absolute conic. We will give an alternative derivation to this constraint, ...
Pär Hammarstedt, Peter F. Sturm, Anders Heyde...
ICCV
2005
IEEE
16 years 7 days ago
A Unifying Approach to Hard and Probabilistic Clustering
We derive the clustering problem from first principles showing that the goal of achieving a probabilistic, or ”hard”, multi class clustering result is equivalent to the algeb...
Ron Zass, Amnon Shashua
161
Voted
BIRTHDAY
2005
Springer
16 years 5 days ago
Compositional Reasoning for Probabilistic Finite-State Behaviors
Abstract. We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s simple probabilistic automata. We consider...
Yuxin Deng, Catuscia Palamidessi, Jun Pang
ICRA
2003
IEEE
87views Robotics» more  ICRA 2003»
15 years 12 months ago
A new algorithm for three-finger force-closure grasp of polygonal objects
—We prove a new necessary and sufficient condition for 2D three-finger equilibrium grasps and implement a geometrical algorithm for computing force-closure grasps of polygonal ob...
Jia-Wei Li, Ming-He Jin, Hong Liu
CIE
2010
Springer
15 years 11 months ago
Higher-Order Containers
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
Thorsten Altenkirch, Paul Levy, Sam Staton