3384 search results - page 244 / 677 » More Testable Properties |
174
click to vote
ICIP
2010
IEEE
15 years 12 months ago
2010
IEEE
We propose a registration method to find affine transformations
between 3D objects by constructing and solving an
overdetermined system of polynomial equations. We utilize
voxel...
151
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
— We introduce a hierarchical variant of the probabilistic roadmap method for motion planning. By recursively refining an initially sparse sampling in neighborhoods of the C-obs...
214
click to vote
TIME
2003
IEEE
15 years 12 months ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
157
click to vote
WSTFEUS
2003
IEEE
15 years 12 months ago
2003
IEEE
System software for future computing environments becomes more complex and heterogeneous. Portability becomes one of the important properties of the future system software. Compon...
180
click to vote
ALS
2003
Springer
15 years 12 months ago
2003
Springer
This paper takes an overtly anticipatory stance to the understanding of animat learning and behavior. It analyses four major animal learning theories and attempts to identify the a...