5232 search results - page 152 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
118
click to vote
ICRA
2008
IEEE
15 years 8 months ago
2008
IEEE
— Legged robots represent great promise for transport in unstructured environments. However, it has been difficult to devise motion planning strategies that achieve a combinatio...
130
click to vote
TSE
2010
14 years 8 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
112
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
Name ambiguity is a special case of identity uncertainty where one person can be referenced by multiple name variations in different situations or even share the same name with ot...
101
click to vote
MVA
1990
15 years 3 months ago
1990
This paper presents a method for measuringthe entire three dimensional (3D) shape of object, which is applicable for 3D digitizing into a solid modeling CAD. The method measures t...
101
click to vote
ISBI
2002
IEEE
16 years 2 months ago
2002
IEEE
In magnetic resonance diffusion tensor imaging (DTI), the direction and magnitude of diffusion of water molecules is characterized by a diffusion tensor. In the central nervous sy...