362 search results - page 20 / 73 » A Theory of Probabilistic Functional Testing |
CORR
2008
Springer
14 years 11 months ago
2008
Springer
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic...
AUTOMATICA
2007
14 years 12 months ago
2007
In the present study a set of first order correlation functions are proposed to examine the quality of a wide class of identified nonlinear models. The first order correlation ...
ENTCS
2008
14 years 11 months ago
2008
We de ne the e ective integrability of Fine-computable functions and e ectivize some fundamental limit theorems in the theory of Lebesgue integral such as Bounded Convergence Theo...
MA
2010
Springer
14 years 10 months ago
2010
Springer
In this work we provide a new methodology for comparing regression functions m1 and m2 from two samples. Since apart from smoothness no other (parametric) assumptions are required...
SIGIR
1995
ACM
15 years 3 months ago
1995
ACM
We analyse the kinematics of probabilistic term weights at retrieval time for di erent Information Retrieval models. We present four models based on di erent notions of probabilis...