3742 search results - page 408 / 749 » On the Use of Formal Techniques for Validation |
184
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— This paper describes the design and testing of a technique to enable long-range autonomous navigation using a stereo camera as the only sensor. During a learning phase, the rov...
193
click to vote
SCIA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Automatic image quality assessment has many diverse applications. Existing quality measures are not accurate representatives of the human perception. We present a hybrid ...
330
click to vote
TKDE
2012
13 years 9 months ago
2012
—Continuous queries are used to monitor changes to time varying data and to provide results useful for online decision making. Typically a user desires to obtain the value of som...
150
click to vote
FMICS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C ...
157
click to vote
FORMATS
2007
Springer
16 years 28 days ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...