1351 search results - page 38 / 271 » An Analysis of Inference with the Universum |
170
click to vote
POPL
1999
ACM
15 years 11 months ago
1999
ACM
This paper presents a program analysis to estimate uncaught exceptions in ML programs. This analysis relies on unification-based type inference in a non-standard type system, usi...
161
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
The properties of local image statistics are analyzed in a classic information theoretic setting. Local spatiochromatic image elements are projected into a space in which constitu...
164
click to vote
RSFDGRC
2005
Springer
16 years 6 days ago
2005
Springer
Pawlak recently introduced rough set flow graphs (RSFGs) as a graphical framework for reasoning from data. Each rule is associated with three coefficients, which have been shown t...
150
click to vote
VMCAI
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
172
click to vote
UAI
2008
15 years 8 months ago
2008
The paper introduces a generalization for known probabilistic models such as log-linear and graphical models, called here multiplicative models. These models, that express probabi...