4276 search results - page 233 / 856 » Techniques for Empirical Validation |
154
click to vote
ECRTS
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...
154
click to vote
CADE
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present a technique that efficiently translates propositional intuitionistic formulas into propositional classical formulas. This technique allows the use of arbitrary...
150
click to vote
FM
1994
Springer
15 years 10 months ago
1994
Springer
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it i...
185
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— Lyapunov methods and density functions provide dual characterizations of the solutions of a nonlinear dynamic system. This work exploits the idea of combining both techniques, ...
208
click to vote
Publication
This paper presents a study conducted for evaluating different
interpolation schemes, similarity metrics and optimization
algorithms for the purpose of volumetric medical
image ...