4348 search results - page 39 / 870 » Using UML for Modeling Complex Real-Time Systems |
76
Voted
DICTA
2003
2003
Real-Time Detection, Registration and Recognition Using Pixel-Level Fusion of Active/Passive Imagery
14 years 11 months ago
- A system has been developed whereby active ladar and passive electro-optic imaging data are aligned in hardware at the pixel level. ...
MPC
1998
Springer
15 years 1 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
PRICAI
2004
Springer
15 years 3 months ago
2004
Springer
Currently, most human action recognition systems are trained with feature sets that have no missing data. Unfortunately, the use of human pose estimation models to provide more des...
FATES
2004
Springer
15 years 3 months ago
2004
Springer
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
ENTCS
2006
14 years 9 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...