1201 search results - page 22 / 241 » Exact Analysis of Exact Change |
CCA
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped λ-ca...
ACTA
1998
13 years 7 months ago
1998
This note provides exact formulæ for the mean and variance of the cost of top-down recursive mergesort. These formulæ improve upon earlier results of Flajolet and Golin. Key wor...
EVOW
2003
Springer
14 years 25 days ago
2003
Springer
Chromosomal aberrations are differences in DNA sequence copy number of chromosome regions 3 . These differences may be crucial genetic events in the development and progression o...
DATESO
2004
13 years 9 months ago
2004
Binary Factor Analysis (BFA, also known as Boolean Factor Analysis) may help with understanding collections of binary data. Since we can take collections of text documents as binar...
UAI
2008
13 years 9 months ago
2008
While known algorithms for sensitivity analysis and parameter tuning in probabilistic networks have a running time that is exponential in the size of the network, the exact comput...