8141 search results - page 31 / 1629 » Higher Order Generalization |
ICPR
2006
IEEE
14 years 11 months ago
2006
IEEE
We present a model of a `gas of circles', the ensemble of regions in the image domain consisting of an unknown number of circles with approximately fixed radius and short ran...
FSEN
2009
Springer
14 years 4 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
The optimal spatial adaptation (OSA) method [1] proposed by Boulanger and Kervrann has proven to be quite effective for spatially adaptive image denoising. This method, in additio...
LICS
2007
IEEE
14 years 4 months ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...
GLOBECOM
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— In this paper, we investigate the application of nonbinary low density parity check (LDPC) codes over Galois field GF(q) for both single-input single-output (SISO) and...