32032 search results - page 56 / 6407 » Verified programming in Guru |
VMCAI
2005
Springer
15 years 4 months ago
2005
Springer
Interval computations, stochastic arithmetic, automatic differentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
ICMCS
1999
IEEE
15 years 3 months ago
1999
IEEE
In this paper, we propose a method to extract and verify individual speaker utterance using a subspace method. This method can extract speech section of the same speaker by repeat...
101
click to vote
FLAIRS
2008
15 years 1 months ago
2008
The next generation of online reference works will require structured representations of their contents in order to support scholarly functions such as semantic search, automated ...
90
Voted
ENTCS
2008
14 years 11 months ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
101
click to vote
LOPSTR
2001
Springer
15 years 3 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...