1768 search results - page 80 / 354 » A Logic for Algebraic Effects |
149
click to vote
BSL
1999
15 years 5 months ago
1999
We consider a classical (propositional) version, CBI, of O'Hearn and Pym's logic of bunched implications (BI) from a model- and prooftheoretic perspective. We present a c...
153
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The purpose of this paper is twofold: (i) we argue that the structure of commonsense knowledge must be discovered, rather than invented; and (ii) we argue that natural language, w...
128
click to vote
FSS
2010
15 years 4 months ago
2010
H¨ohle has identified fuzzy sets, valued in a frame (complete Heyting algebra) Ω, with certain sheaves over Ω: the subsheaves of constant sheaves More general sheaves can be...
167
click to vote
AMAST
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
158
click to vote
SIVP
2010
15 years 4 months ago
2010
We present a robust, hybrid non-blind MPEG video watermarking technique based on a high-order tensor singular value decomposition and the discrete wavelet transform (DWT). The core...