121
Voted
ICLP
1995
Springer
15 years 8 months ago
1995
Springer
The purpose of this paper is to study the problem of complete type inferencing for polymorphic order-sorted logic programs. We show that previous approaches are incomplete even if...
139
click to vote
ICIP
1995
IEEE
15 years 8 months ago
1995
IEEE
We introduce a projection based multi-channel restoration method which is useful in cases for which there is no a priori information about the input signal. The method is especial...
133
click to vote
ICIP
1995
IEEE
15 years 8 months ago
1995
IEEE
We consider a general weighted least squares approximation problem with a membrane spline regularization term. The key parameters in this formulation are the weighting factors whi...
125
click to vote
ICIP
1995
IEEE
15 years 8 months ago
1995
IEEE
Searching an image for the occurrence of a pattern or a template is an essential step in a number of image processing applications. We propose a new multiresolution matching crite...