Sciweavers

2838 search results - page 259 / 568
» Verifying Controlled Components
Sort
View
ICRA
2003
IEEE
149views Robotics» more  ICRA 2003»
15 years 12 months ago
Curvature Based Point Stabilization for Compliant Framed Wheeled Modular Mobile Robots
- Posture stabilization of a compliant framed modular mobile robot is the subject of this paper. This is a new type of wheeled mobile robot that has advantages of a simple modular ...
Brian W. Albiston, Mark A. Minor
ICANN
2003
Springer
15 years 11 months ago
Unsupervised Learning of a Kinematic Arm Model
Abstract. An abstract recurrent neural network trained by an unsupervised method is applied to the kinematic control of a robot arm. The network is a novel extension of the Neural ...
Heiko Hoffmann, Ralf Möller
DATE
2002
IEEE
94views Hardware» more  DATE 2002»
15 years 11 months ago
Problems Due to Open Faults in the Interconnections of Self-Checking Data-Paths
In this work, the problem of open faults affecting the interconnections of SC circuits composed by data-path and control is analyzed. In particular, it is shown that, in case open...
Michele Favalli, Cecilia Metra
CAISE
2000
Springer
15 years 11 months ago
Efficient Distributed Workflow Management Based on Variable Server Assignments
For enterprise-wide and cross-enterprise workflow (WF) applications, the load of the WF servers and the amount of communication in the subnets may become a bottleneck. This paper s...
Thomas Bauer, Peter Dadam
XPS
1997
15 years 8 months ago
Automated Diagnosis of Car-Subsystems Based on Qualitative Models
The paper presents objectives and results of a series of case studies in computer support for diagnosis, failure mode and effects analysis, and the creation of repair manuals in t...
Peter Struss, Andreas Malik