2819 search results - page 525 / 564 » Automatic Structures |
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— It is generally accepted that locomotion in animals is based on a trade-off between energy consumption and stability. However, this trade-off is the result of the interaction b...
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
In many scientific applications, significant time is spent tuning codes for a particular highperformance architecture. Tuning approaches range from the relatively nonintrusive (...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
CAIP
2009
Springer
14 years 2 months ago
2009
Springer
This paper describes a comprehensive approach to extract a common feature set from the image sequences. We use simple features which are easily extracted from a 3D wireframe model ...
SIGCOMM
2009
ACM
14 years 2 months ago
2009
ACM
Large, socially-driven Web 2.0 sites such as Facebook and Youtube have seen significant growth in popularity [5, 10]. However, strong demand also exists for socially-driven web s...