523 search results - page 64 / 105 » Online Testing of Real-time Systems Using Uppaal |
SIGIR
2012
ACM
11 years 10 months ago
2012
ACM
We propose a mathematical framework for query selection as a mechanism for reducing the cost of constructing information retrieval test collections. In particular, our mathematica...
ECRTS
1999
IEEE
13 years 12 months ago
1999
IEEE
Many industrial applications mandate the use of a timetriggered paradigm and consequently the use of off-line scheduling for reasons such as predictability, certification, cost, o...
JCP
2008
13 years 7 months ago
2008
In this paper, real-time system identification of an unmanned aerial vehicle (UAV) based on multiple neural networks is presented. The UAV is a multi-input multi-output (MIMO) nonl...
KDD
2005
ACM
14 years 8 months ago
2005
ACM
Weblogs and message boards provide online forums for discussion that record the voice of the public. Woven into this mass of discussion is a wide range of opinion and commentary a...
ICES
2005
Springer
14 years 1 months ago
2005
Springer
While the fault repair capability of Evolvable Hardware (EH) approaches have been previously demonstrated, further improvements to fault handling capability can be achieved by exp...