4507 search results - page 116 / 902 » Generalized Binet dynamics |
120
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
115
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
Organizing large document collections for finding information easily and quickly has always been an important user requirement. This paper describes a flexible and powerful dynami...
111
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
This work* specifically addresses the search issues in unstructured peer-to-peer (P2P) systems that involve the design of an efficient search algorithm, the proposed dynamic searc...
162
click to vote
HRI
2009
ACM
15 years 11 months ago
2009
ACM
Human-Robot Physical Interaction is an important attribute for robots operating in human environments. The authors illustrate some basic physically interactive behaviors with dyna...
115
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper presents a decentralized planning method for generating dynamic whole body motions of multilink robots including humanoids. First, a robotic system will be modeled a...