4762 search results - page 697 / 953 » About the use of protein models |
112
Voted
ICRA
2009
IEEE
15 years 8 months ago
2009
IEEE
— Although there has been an increasing interest in dynamic bipedal locomotion for significant improvement of energy efficiency and dexterity of mobile robots in the real world...
123
click to vote
ASIACRYPT
2009
Springer
15 years 8 months ago
2009
Springer
We demonstrate how the framework that is used for creating efficient number-theoretic ID and signature schemes can be transferred into the setting of lattices. This results in cons...
109
Voted
ICMI
2009
Springer
15 years 8 months ago
2009
Springer
One of many skills required to engage properly in a conversation is to know the appropiate use of the rules of engagement. In order to engage properly in a conversation, a virtual...
103
Voted
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
ICARCV
2008
IEEE
15 years 8 months ago
2008
IEEE
—In this paper the dynamic analysis of a cable drive parallel manipulator is described in detail. The manipulator architecture is a simplified planer version adopted from the str...