207 search results - page 7 / 42 » Canonical Forms for Data-Specifications |
JCAM
2010
14 years 4 months ago
2010
The classical singular value decomposition for a matrix A Cm
ISMIS
2005
Springer
15 years 3 months ago
2005
Springer
A class of formulas called factored negation normal form is introduced. They are closely related to BDDs, but there is a DPLL-like tableau procedure for computing them that operate...
ICRA
1995
IEEE
15 years 1 months ago
1995
IEEE
In this paper we consider the structural properties of the dynamics of robotic manipulation systems of a rather general class, including multiple cooperating, possibly whole-arm l...
ADBIS
2005
Springer
15 years 3 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
110
click to vote
CVPR
2001
IEEE
15 years 11 months ago
2001
IEEE
Isometric surfaces share the same geometric structure also known as the `first fundamental form'. For example, all possible bending of a given surface, that include all lengt...