5084 search results - page 239 / 1017 » Proving Possibility Properties |
154
click to vote
FMICS
2010
Springer
15 years 6 months ago
2010
Springer
Bitwise instructions, loops and indirect data access pose difficult challenges to the verification of microcontroller programs. In particular, it is necessary to show that an indir...
156
click to vote
APAL
2008
15 years 6 months ago
2008
Building on previous work by Coquand and Spiwack [8] we construct a strict domaintheoretic model for the untyped -calculus with pattern matching and term rewriting which has the p...
166
click to vote
AUTOMATICA
2010
15 years 6 months ago
2010
The main contribution of this paper is to provide a solution to the noise sensitivity of high-gain observers. We propose a nonlinear observer that possesses simultaneously the pro...
139
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In 2003, Leonid A. Levin presented the idea of a combinatorial complete one-way function and a sketch of the proof that Tiling represents such a function. In this paper, we presen...
153
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
: This technical report details a family of time warp distances on the set of discrete time series. This family is constructed as an editing distance whose elementary operations ap...