Sciweavers

623 search results - page 81 / 125
» Velocity-Dependent Dynamic Manipulability
Sort
View
CA
1999
IEEE
15 years 8 months ago
Virtual Reality Simulation Modeling for a Haptic Glove
The recent addition of force and touch feedback to Virtual Reality simulations has enhanced their realism. Research on haptics interfaces is now extended to physical modeling of c...
Viorel G. Popescu, Grigore C. Burdea, Mourad Bouzi...
JIT
1999
Springer
123views Database» more  JIT 1999»
15 years 8 months ago
Byte Code Engineering
The term “Java” is used to denote two different concepts: the language itself and the related execution environment, the Java Virtual Machine (JVM), which executes byte code in...
Markus Dahm
RTSS
1997
IEEE
15 years 8 months ago
On-the-fly symbolic model checking for real-time systems
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine
ECSQARU
1997
Springer
15 years 8 months ago
Cactus: A Branching-Time Logic Programming Language
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
Panos Rondogiannis, Manolis Gergatsoulis, Themis P...
ISER
1997
Springer
91views Robotics» more  ISER 1997»
15 years 8 months ago
Extracting Robotic Part-mating Programs from Operator Interaction with a Simulated Environment
We describe an integrated system for programming part-mating and contact tasks using simulation. A principal goal of this work is to make robotic programming easy and intuitive fo...
John E. Lloyd, Dinesh K. Pai