Sciweavers

2838 search results - page 259 / 568
» Verifying Controlled Components
Sort
View
106
Voted
ICRA
2003
IEEE
149views Robotics» more  ICRA 2003»
15 years 6 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
100
Voted
ICANN
2003
Springer
15 years 6 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
78
Voted
DATE
2002
IEEE
94views Hardware» more  DATE 2002»
15 years 6 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
62
Voted
CAISE
2000
Springer
15 years 5 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
200
Voted
XPS
1997
15 years 2 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