1818 search results - page 116 / 364 » Granularity-Adaptive Proof Presentation |
ENTCS
2008
13 years 10 months ago
2008
We present a system of refinement types for LF in the style of recent formulations where only canonical forms are well-typed. Both the usual LF rules and the rules for type refine...
FAC
2008
13 years 10 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 ...
COMPUTING
2006
13 years 10 months ago
2006
Abstract We are dealing with the optimal, i.e. densest packings of congruent circles into the unit square. In the recent years we have built a numerically reliable, verified method...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
New families of Fisher information and entropy power inequalities for sums of independent random variables are presented. These inequalities relate the information in the sum of n ...
FSS
2006
13 years 10 months ago
2006
In this paper, we shall present strong laws of large numbers (SLLN's) for independent (not necessary identically distributed) fuzzy set-valued random variables whose base spa...