2646 search results - page 83 / 530 » Local Type Inference |
116
Voted
HIS
2008
15 years 2 months ago
2008
Haplotype Inference is a challenging problem in bioinformatics that consists in inferring the basic genetic constitution of diploid organisms on the basis of their genotype. This ...
101
Voted
APLAS
2007
ACM
15 years 4 months ago
2007
ACM
Abstract. This paper presents a polymorphic type system for a language with delimited control operators, shift and reset. Based on the monomorphic type system by Danvy and Filinski...
106
Voted
ACTA
2005
15 years 16 days ago
2005
We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
83
Voted
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper, we present a variational Bayes (VB) approach for image segmentation. First, image is modeled by a mixture model, and then with the techniques of factor analyzer, th...
116
click to vote
INFOCOM
2007
IEEE
15 years 7 months ago
2007
IEEE
— We consider an end-to-end approach of inferring network faults that manifest in multiple protocol layers, with an optimization goal of minimizing the expected cost of correctin...