3134 search results - page 64 / 627 » Computing full disjunctions |
SAC
2006
ACM
14 years 3 months ago
2006
ACM
: In chip design, one of the main objectives is to decrease its clock cycle; however, the existing approaches to timing analysis under uncertainty are based on fundamentally restri...
CPM
2004
Springer
14 years 3 months ago
2004
Springer
The perfect phylogeny model for haplotype evolution has been successfully applied to haplotype resolution from genotype data. In this study we explore the application of the perfe...
TACAS
2012
Springer
12 years 5 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
ICML
2005
IEEE
14 years 10 months ago
2005
IEEE
This paper concerns the experimental assessment of tempering as a technique for improving Bayesian inference for C&RT models. Full Bayesian inference requires the computation ...
DAGM
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. In this paper we present di erent approaches to structuring covariance matrices within statistical classi ers. This is motivated by the fact that the use of full covarian...