Sciweavers

1258 search results - page 146 / 252
» Table design in dynamic programming
Sort
View
RAS
2007
127views more  RAS 2007»
15 years 2 months ago
Programmable springs: Developing actuators with programmable compliance for autonomous robots
Developing real robots that can exploit dynamic interactions with the environment requires the use of actuators whose behaviour can vary from high stiffness to complete complianc...
Bill Bigge, Inman R. Harvey
ENTCS
2006
128views more  ENTCS 2006»
15 years 3 months ago
Web Verification: Perspective and Challenges
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...
Shriram Krishnamurthi
140
Voted
CN
2002
82views more  CN 2002»
15 years 3 months ago
Optimal allocation of electronic content
Abstract-The delivery of large files to single users, such as application programs for some versions of the envisioned network computer, or movies, is expected by many to be one of...
Israel Cidon, Shay Kutten, Ran Soffer
ICRA
2006
IEEE
99views Robotics» more  ICRA 2006»
15 years 9 months ago
A Whole-body Control Framework for Humanoids Operating in Human Environments
Abstract— Tomorrow’s humanoids will operate in human environments, where efficient manipulation and locomotion skills, and safe contact interactions will be critical design fa...
Luis Sentis, Oussama Khatib
128
Voted
IEEEARES
2006
IEEE
15 years 9 months ago
Sandboxing in myKlaim
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...
René Rydhof Hansen, Christian W. Probst, Fl...