321
click to vote
LICS
15 years 9 months ago
1994 IEEE 
Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...
284
click to vote
LCC
15 years 9 months ago
1994 
The descriptive complexity of a problem is the complexity of describing the problem in some logical formalism. One of the few techniques for proving separation results in descripti...
279
click to vote
ICIP
15 years 9 months ago
1994 IEEE 
The two main plagues of image restoration are oscillations and smoothing. Traditional image restoration techniques prevent parasitic oscillations by resorting to smooth regulariza...
269
Voted
EURODAC
15 years 9 months ago
1994 IEEE  |
All Subjects