383
click to vote
LICS
16 years 3 days 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. ...
353
click to vote
LCC
16 years 2 days 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...
350
click to vote
ICIP
16 years 4 days 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