1981 search results - page 329 / 397 » Model-Checking Hierarchical Structures |
ICIP
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper analyzes the movements of the human body limbs (hands, feet and head) and center of gravity in order to detect simple actions such as walking, jumping and displacing an...
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— Recent proposals in multicast overlay construction have demonstrated the importance of exploiting underlying network topology. However, these topology-aware proposals often rel...
ISVLSI
2006
IEEE
14 years 2 months ago
2006
IEEE
Due to increasing design complexity new methodologies for system modeling have been established in VLSI CAD. The SystemC methodology gains a significant reduction of design cycle...
SMI
2006
IEEE
14 years 2 months ago
2006
IEEE
One of the challenges in geometry processing is to automatically reconstruct a higher-level representation from raw geometric data. For instance, computing a parameterization of a...
GRAPHITE
2006
ACM
14 years 2 months ago
2006
ACM
Implicit surface is a well-known surface representation. Geometric details of an object can be represented using less surface primitives than other representations such as polygon...