302
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. ...
265
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...
262
Voted
CONPAR
15 years 9 months ago
1994 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...
|
All Subjects