2819 search results - page 525 / 564 » Automatic Structures |
160
click to vote
ICRA
2009
IEEE
16 years 18 days 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...
173
click to vote
IPPS
2009
IEEE
16 years 18 days 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 (...
184
click to vote
TPHOL
2009
IEEE
16 years 18 days 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,...
198
click to vote
CAIP
2009
Springer
16 years 16 days 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 ...
150
click to vote
SIGCOMM
2009
ACM
16 years 14 days 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...