4460 search results - page 638 / 892 » Formal methods for interactive systems |
134
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
Our goal is to make vehicle teleoperation accessible to all users. To do this, we are developing easy-to-use yet capable Web tools which enable efficient, robust teleoperation in...
145
click to vote
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
We present a general framework for the modelling of a class of mechanical systems for robotic manipulation, consisting of articulated limbs with redundant tendinous actuation and ...
177
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
Using motion capture systems to animate humanlike figures still remains difficult when the movements are complex or need to be adapted to geometric constraints. We propose a new m...
167
click to vote
FORTE
2003
15 years 8 months ago
2003
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
197
click to vote
ECIS
2000
15 years 8 months ago
2000
Recent advancements in communication systems enable the collaboration of virtual software design teams, breaking the barriers of time and distance. In this paper we address a criti...