8828 search results - page 209 / 1766 » Formal methods in practice |
121
Voted
ICIP
2000
IEEE
16 years 6 months ago
2000
IEEE
I n this paper, we investigate the problem of stabilization, and detection and tracking of moving or stationary objects in a forward-looking infrared (FLIR) sequence. A multifract...
123
Voted
ACSD
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper proposes a formal framework for the design of real-time shared data-space systems. The proposed method separates the concerns of functionality, behavior, and timing. Th...
138
click to vote
MIE
2008
15 years 6 months ago
2008
A method of obtaining well-founded and reproducible results in clinical decision making is presented. It is based on "diagnostic games", a procedure of elicitation and fo...
161
Voted
JOT
2008
15 years 5 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
126
Voted
CORR
2008
Springer
15 years 5 months ago
2008
Springer
In this article we present a method for formally proving the correctness of the lazy algorithms for computing homographic and quadratic transformations -- of which field operations...