1045 search results - page 48 / 209 » The Use of Exceptions |
98
Voted
WEBNET
1998
15 years 4 months ago
1998
: As the new network computer technology forces into every aspect of daily life, many things change in a rather rapid way, compared to what we were used to until recently. One of t...
102
click to vote
AML
2010
15 years 3 months ago
2010
In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical model theory such as constructibl...
136
Voted
AUTOMATICA
2007
15 years 3 months ago
2007
This paper extends previous work on joint input and state estimation to systems with direct feedthrough of the unknown input to the output. Using linear minimum-variance unbiased ...
125
click to vote
FAC
2008
15 years 3 months ago
2008
We describe our experiences in mechanising the specification, refinement, and proof of the Mondex Electronic Purse using the Z/Eves theorem prover. We took a conservative approach ...
130
click to vote
COMGEO
2006
ACM
15 years 3 months ago
2006
ACM
An algorithm is proposed for the simultaneous computation of all Minkowski functionals (except for the volume) of sets from the convex ring in Rd discretized with respect to a give...