2838 search results - page 317 / 568 » Verifying Controlled Components |
92
Voted
HASE
1997
IEEE
15 years 5 months ago
1997
IEEE
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres a n ertenszble szniulatzon enrwonment wzth support for users to generate events, ...
104
Voted
GRAPHICSINTERFACE
2008
15 years 2 months ago
2008
Sculpting various 3D facial expressions from a static 3D face model is a process with intensive manual tuning efforts. In this paper, we present an interactive 3D facial expressio...
123
Voted
FLAIRS
2004
15 years 2 months ago
2004
As the complexity of industrial processes increases, it requires the use of intelligent sensors or actuators (known as Intelligent Instruments) to allow for more comprehensive and...
100
click to vote
WSC
2004
15 years 2 months ago
2004
Hierarchical production planning provides a formal bridge between long-term plans and short-term schedules. A hybrid simulation-based production planning architecture consisting o...
119
Voted
AROBOTS
2008
15 years 29 days ago
2008
Abstract-- We present a vision- and ladar-based approach to autonomous driving on rural and desert roads that has been tested extensively in a closed-loop system. The vision compon...