1564 search results - page 54 / 313 » Extensions to the Estimation Calculus |
107
click to vote
IJIS
2010
14 years 11 months ago
2010
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they ...
106
click to vote
JUCS
2010
14 years 8 months ago
2010
Abstract: We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped -calcul...
129
click to vote
ICIP
2004
IEEE
16 years 3 months ago
2004
IEEE
This paper exploits the interband correlations of color and multispectral images for wavelet-based denoising. For this, a multispectral extension of the linear minimum mean square...
108
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
121
click to vote
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...