783 search results - page 27 / 157 » Dynamic Self-Assembly and Computation: From Biological to In... |
SAC
2005
ACM
15 years 3 months ago
2005
ACM
Search engines crawl and index webpages depending upon their informative content. However, webpages — especially dynamically generated ones — contain items that cannot be clas...
67
Voted
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
— In this paper, we address the issues of compliant control of a robot under contact constraints with a goal of using joint space based pattern generators as movement primitives,...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
We apply HCI design principles to redesign the dashboard of the automobile to address the problem of speeding. We prototyped and evaluated a new speedometer designed with the expl...
DSN
2009
IEEE
15 years 4 months ago
2009
IEEE
Dynamic Information Flow Tracking (DIFT) is a promising security technique. With hardware support, DIFT prevents a wide range of attacks on vulnerable software with minimal perfor...