414 search results - page 48 / 83 » Resolution for Intuitionistic Logic |
RSCTC
2010
Springer
13 years 5 months ago
2010
Springer
Automatic indexing of music instruments for multi-timbre sounds is challenging, especially when partials from different sources are overlapping with each other. Temporal features, ...
WILF
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Analysis and visualization of high-dimensional clinical proteomic spectra obtained from mass spectrometric measurements is a complicated issue. We present a wavelet based...
CADE
1994
Springer
13 years 11 months ago
1994
Springer
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic acc...
CADE
2006
Springer
14 years 8 months ago
2006
Springer
Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli's focusing strategy can be adap...
IDA
2003
Springer
14 years 27 days ago
2003
Springer
The Fellegi-Holt method automatically “corrects” data that fail some predefined requirements. Computer implementations of the method were used in many national statistics bure...