349 search results - page 42 / 70 » The Finite and the Infinite |
ICIP
2003
IEEE
16 years 2 months ago
2003
IEEE
The paper proposes a new wavelet-based Bayesian approach to image deconvolution, under the space-invariant blur and additive white Gaussian noise assumptions. Image deconvolution ...
96
Voted
CSCLP
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Constraint Handling Rules (CHR) is a concurrent, committed-choice, rule-based language. One of the first CHR programs is the classic constraint solver for syntactic equal...
104
click to vote
CCS
2008
ACM
15 years 2 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...
112
Voted
ENTCS
2010
15 years 17 days ago
2010
Solutions of recursive program schemes over a given signature were characterized by Bruno Courcelle as precisely the context-free (or algebraic) -trees. These are the finite and ...
88
Voted
JAPLL
2006
15 years 14 days ago
2006
In this paper we study the definability and decidability of binary predicates for time granularity in monadic languages interpreted over finitely and infinitely layered structures...