7 search results - page 2 / 2 » The Essentially Equational Theory of Horn Classes |
CALCO
2009
Springer
14 years 4 hour ago
2009
Springer
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...
SCALESPACE
2005
Springer
13 years 11 months ago
2005
Springer
We investigate the use of fractional powers of the Laplacian for signal and image simplification. We focus both on their corresponding variational techniques and parabolic pseudod...