Sciweavers

3483 search results - page 129 / 697
» Forward
Sort
View
ICRA
2000
IEEE
71views Robotics» more  ICRA 2000»
15 years 8 months ago
Dynamic Simulation for Grasping and Whole Arm Manipulation
We propose a novel approach to dynamic simulation of grasps that overcomes di culties due to inconsistencies in the forward dynamics problem. The key idea in the paper is a minima...
Peng Song, Masahito Yashima, Vijay Kumar
ARTS
1999
Springer
15 years 8 months ago
Verifying Progress in Timed Systems
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
Stavros Tripakis
SIGCOMM
1990
ACM
15 years 7 months ago
Reliable Broadband Communication Using a Burst Erasure Correcting Code
Traditionally, a transport protocol corrects errors in a computer communication network using a simple ARQ protocol. With the arrival of broadband networks, forward error correcti...
Anthony J. McAuley
APVIS
2006
15 years 5 months ago
FindFlow: visual interface for information search based on intermediate results
FindFlow is a search interface that enables users to construct queries visually on the screen. Because the constructed queries show the process of the search, the user can take a ...
Tomoyuki Hansaki, Buntarou Shizuki, Kazuo Misue, J...
116
Voted
IADIS
2003
15 years 5 months ago
Ad Hoc Interface Evolution in Soap
Modern distributed systems often allow independent development of their components. Successful evolution of such systems depends on the flexibility of component interfaces. This p...
Nikita Schmidt, Ahmed Patel, Mikhail Sogrine