783 search results - page 27 / 157 » Dynamic Self-Assembly and Computation: From Biological to In... |
SAC
2005
ACM
14 years 2 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...
CAV
2009
Springer
14 years 9 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
14 years 2 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
14 years 8 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
14 years 3 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...