3938 search results - page 116 / 788 » Interactive Protocols on the Reals |
85
Voted
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
— A central problem in robotics is planning a collision-free path for a moving object in an environment with obstacles. Contemporary applications require a path planner that is f...
92
Voted
ICMCS
2000
IEEE
15 years 5 months ago
2000
IEEE
Physical modeling of a mass-spring system allows for realistic object motion and deformation in a virtual environment. Previous work in this type of physical modeling relies on ge...
117
click to vote
IJRR
2010
14 years 7 months ago
2010
The ability to autonomously acquire new knowledge through interaction with the environment is an important research topic in the field of robotics. The knowledge can only be acqui...
123
Voted
CCS
2003
ACM
15 years 6 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
90
Voted
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
Software DSMs have been a research topic for over a decade. While good performance has been achieved in some cases, consistent performance has continued to elude researchers. This...