9067 search results - page 218 / 1814 » Adaptive Model Checking |
177
click to vote
BPM
2007
Springer
16 years 18 days ago
2007
Springer
In a service composition, it is necessary to ensure that the behaviour of a constituent service is consistent with the requirements of the composition. In an adaptive service compo...
149
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— The state-of-the-art in control of hand prosthetics is far from optimal. The main control interface is represented by surface electromyography (EMG): the activation potentials ...
165
Voted
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
We are trying to induce a quadruped robot to walk dynamically on irregular terrain by using a neural system model. In this paper, we integrate several reflexes such as stretch ref...
168
Voted
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes a fast technique for modifying motion sequences for complex articulated mechanisms in a way that preserves physical properties of the motion. This technique i...
183
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
Service-oriented architectures and Web service infrastructure provide the ideal framework for interconnecting organizations and for defining distributed business applications. The...