852 search results - page 12 / 171 » Refactoring module structure |
BMCBI
2006
13 years 10 months ago
2006
ACS
2010
13 years 9 months ago
2010
We explain the precise relationship between two module-theoretic descriptions of sheaves on an involutive quantale, namely the description via so-called Hilbert structures on modu...
ICFP
2001
ACM
14 years 9 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
CTCS
1995
Springer
14 years 1 months ago
1995
Springer
We present a simple categorical semantics for ML signatures, structures and functors. Our approach relies on realizablity semantics in the category of assemblies. Signatures and s...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper presents a modulation-based reconstruction method for audio signals across long gaps of missing samples. We use LTI filterbanks followed by a multiplicative model that...