17789 search results - page 168 / 3558 » Exceptional Use Cases |
105
Voted
WEBNET
1998
15 years 5 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...
104
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...
138
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 ...
130
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 ...
DM
2007
15 years 3 months ago
2007
A quasigroup (Q, ∗) is called totally anti-symmetric if (c ∗ x) ∗ y = (c ∗ y) ∗ x ⇒ x = y and x∗y = y∗x ⇒ x = y. A totally anti-symmetric quasigroup can be used ...