2470 search results - page 180 / 494 » Liveness-Preserving Simulation Relations |
120
click to vote
JVCA
2008
15 years 19 days ago
2008
We propose a method for view-dependent simplification of articulated-body dynamics, which enables an automatic trade-off between visual precision and computational efficiency. We ...
115
click to vote
ATS
1998
IEEE
15 years 5 months ago
1998
IEEE
We propose a new static test set compaction method based on a careful examination of attributes of fault coverage curves. Our method is based on two key ideas: 1 fault-list and te...
HICSS
1998
IEEE
15 years 5 months ago
1998
IEEE
The Digital Agora is an information resource that supports understanding and analysis of complex problems in the social sciences. Large amounts of data are available from many dif...
127
click to vote
ICRA
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper investigates how to "observe" a planar object being pushed by a finger. The pushing is governed by a nonlinear system that relates through contact the object ...
ICRA
1998
IEEE
15 years 5 months ago
1998
IEEE
Part feeders, which singulate and orient parts prior to packing and insertion, are critical components of an assembly line. Existing feeders utilize o -plane vibrations of a rigid...