- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal"
- exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics"
- boolean and: separate words by space
e.g., codd model
- boolean or: connect words by pipe symbol (|)
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
found 8 matches
Ahmed Mahdi, Martin Fränzle:
Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems. RP 2014: 203-215
Alexander Zeh, Christian Gentner, Daniel Augot:
An Interpolation Procedure for List Decoding Reed-Solomon Codes Based on Generalized Key Equations. IEEE Trans. Information Theory 57(9): 5946-5959 (2011)
Carl de Boor:
Multivariate polynomial interpolation: Aitken-Neville sets and generalized principal lattices. Journal of Approximation Theory 161(1): 411-420 (2009)
Yu. Lyubarskii, W. R. Madych:
Interpolation of functions from generalized Paley-Wiener spaces. Journal of Approximation Theory 133(2): 251-268 (2005)
T. Kasuga, R. Sakai:
Orthonormal polynomials for generalized Freud-type weights and higher-order Hermite-Feje'r interpolation polynomials. Journal of Approximation Theory 127(1): 1-38 (2004)
Marc André Armand:
Generalized rational interpolation over commutative rings and remainder decoding. IEEE Trans. Information Theory 50(4): 683-690 (2004)
Interpolation for Natural Deduction with Generalized Eliminations. Proof Theory in Computer Science 2001: 153-169
Imre Csiszár, Fabrice Gamboa, Elisabeth Gassiat:
MEM pixel correlated solutions for generalized moment and interpolation problems. IEEE Trans. Information Theory 45(7): 2253-2270 (1999)
loading more results
failed to load more results, please try again later
The full-text search results are provided via , courtesy of AI2.
found ?? matches
- service temporarily not available