14699 search results - page 428 / 2940 » Complexity and Cognitive Computing |
139
click to vote
ICIP
2003
IEEE
16 years 7 months ago
2003
IEEE
The widely used denoising algorithms based on nonlinear diffusion, such as Perona-Malik and total variation denoising, modify images toward piecewise constant functions. Though ed...
126
click to vote
LICS
2007
IEEE
16 years 13 days ago
2007
IEEE
Typing of lambda-terms in Elementary and Light Affine Logic (EAL , LAL resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL ...
185
click to vote
FOSSACS
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Some decision problems related to balanced context-free languages are important for their application to the static analysis of programs generating XML strings. One such ...
142
click to vote
ICRA
2005
IEEE
15 years 11 months ago
2005
IEEE
— Moments are generic (and usually intuitive) descriptors that can be computed from several kinds of objects defined either from closed contours or from a set of points. In this...
146
click to vote
DNA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Fault-tolerance is a critical issue for biochemical computation. Recent theoretical work on algorithmic self-assembly has shown that error correcting tile sets are possib...