923 search results - page 16 / 185 » Proving the value of formal methods |
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
Instance-based learning (IBL) algorithms have proved to be successful in many applications. However, as opposed to standard statistical methods, a prediction in IBL is usually give...
FM
2008
Springer
15 years 1 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
102
click to vote
ICML
1996
IEEE
15 years 3 months ago
1996
IEEE
This paper presents a direct reinforcement learning algorithm, called Finite-Element Reinforcement Learning, in the continuous case, i.e. continuous state-space and time. The eval...
86
Voted
MOC
1998
14 years 11 months ago
1998
The vortex method for the initial-boundary value problems of the Euler equations for incompressible flow is studied. A boundary correction technique is introduced to generate seco...
100
click to vote
ENTCS
2008
14 years 12 months ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...