303 search results - page 50 / 61 » Robust Test Generation and Coverage for Hybrid Systems |
AMTA
2004
Springer
14 years 1 months ago
2004
Springer
MT systems that use only superficial representations, including the current generation of statistical MT systems, have been successful and useful. However, they will experience a p...
ICRA
2002
IEEE
14 years 18 days ago
2002
IEEE
A semi-autonomous robot for autonomous installation and removal of aircraft warning spheres on overhead wires of electric power transmission lines is described here. Hybrid system...
ATVA
2007
Springer
14 years 1 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
ICSOC
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. The modularity of Service-oriented Architectures (SOA) allows to establish complex distributed systems comprising e.g., services, clients, brokers, and workflow engines. ...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
In this paper a head tracking algorithm using 3D data is described. The system relies on a novel 3D sensor that generates a dense range image of the scene. By not relying on brigh...