371
click to vote
LICS
15 years 11 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. ...
341
Voted
ICIP
15 years 11 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...
341
Voted
CONPAR
15 years 11 months ago
1994 337
click to vote
LCC
15 years 11 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...
316
Voted
CADE
15 years 11 months ago
1994 Springer |
All Subjects