1174 search results - page 19 / 235 » Derivation of Characteristic Formulae |
FSTTCS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
123
click to vote
CICLING
2001
Springer
15 years 6 months ago
2001
Springer
This paper deals with the application of natural language processing techniques to the field of information retrieval. To be precise, we propose the application of morphological f...
128
click to vote
SIAMMAX
2011
14 years 8 months ago
2011
Abstract. This paper concerns the computation of the coefficients ck of the characteristic polynomial of a real or complex matrix A. We analyze the forward error in the coefficient...
129
click to vote
MOBICOM
2006
ACM
15 years 7 months ago
2006
ACM
Characterizing mobility or contact patterns in a campus environment is of interest for a variety of reasons. Existing studies of these patterns can be classified into two basic a...
EUROCRYPT
1990
Springer
15 years 6 months ago
1990
Springer
The relation between the Walsh-Hadamard transform and the autocorrelation function of Boolean functions is used to study propagation characteristics of these functions. The Strict...