2853 search results - page 285 / 571 » On Coherence in Computer Algebra |
137
click to vote
ICCV
2005
IEEE
15 years 10 months ago
2005
IEEE
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, ...
131
click to vote
ICCV
2005
IEEE
15 years 10 months ago
2005
IEEE
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...
129
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
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...
113
click to vote
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
—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...
134
click to vote
CIE
2010
Springer
15 years 9 months ago
2010
Springer
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...