1916 search results - page 131 / 384 » Reasoning with class algebra |
115
click to vote
CSL
2004
Springer
15 years 9 months ago
2004
Springer
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a...
130
click to vote
ICS
1999
Tsinghua U.
15 years 8 months ago
1999
Tsinghua U.
This paper presents a mathematical framework to exploit the semantic properties of matrix operations in loop-based numerical codes. The heart of this framework is an algebraic lan...
122
click to vote
APSEC
2003
IEEE
15 years 7 months ago
2003
IEEE
Using the language Z for more than specification is hindered by the fact that its algebra of schemas is not monotonic with respect to refinement; so specification is modular, but ...
117
click to vote
ENTCS
2008
15 years 4 months ago
2008
We establish a monotonicity principle for convex functions that enables high-level reasoning about capacity in information theory. Despite its simplicity, this single idea is rema...
158
click to vote
AAAI
2011
14 years 4 months ago
2011
Selection bias, caused by preferential exclusion of samples from the data, is a major obstacle to valid causal and statistical inferences; it cannot be removed by randomized exper...