299
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. ...
264
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...
261
Voted
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...
258
Voted
CONPAR
15 years 9 months ago
1994 |
All Subjects