1389 search results - page 149 / 278 » Model Combination for Machine Translation |
118
click to vote
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
128
click to vote
FORTE
2008
15 years 4 months ago
2008
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful ...
108
click to vote
ICRA
2003
IEEE
15 years 8 months ago
2003
IEEE
The “Haptic Scissors” is a device that creates the sensation of cutting in virtual environments. The scissors have two degrees of freedom of motion and force feedback, one for...
115
click to vote
ISCA
1992
IEEE
15 years 7 months ago
1992
IEEE
As multiprocessor sizes scale and computer architects turn to interconnection networks with non-uniform communication latencies, the lure of exploiting communication locality to i...
144
click to vote
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
— We investigate modeling and recognition of object manipulation actions for the purpose of imitation based learning in robotics. To model the process, we are using a combination...