1996 search results - page 81 / 400 » A decision procedure for linear |
177
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
We present a new image restoration method based on modelling the coefficients of an overcomplete wavelet response to natural images with a mixture of two Gaussian distributions, h...
196
click to vote
DIS
2001
Springer
15 years 10 months ago
2001
Springer
In the context of classification problems, algorithms that generate multivariate trees are able to explore multiple representation languages by using decision tests based on a com...
163
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
169
click to vote
IDA
2010
Springer
15 years 7 months ago
2010
Springer
This paper introduces a novel method for obtaining increased predictive performance from transparent models in situations where production input vectors are available when building...
171
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper addresses the training of classification trees for weakly labelled data. We call ”weakly labelled data”, a training set such as the prior labelling information pro...