561 search results - page 23 / 113 » Inferring better contracts |
113
Voted
IJAR
2007
15 years 3 months ago
2007
In this article, we consider the computational aspects of deciding whether a conditional independence statement t is implied by a list of conditional independence statements L usi...
122
click to vote
ICANN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Over the last few years, functional Magnetic Resonance Imaging (fMRI) has emerged as a new and powerful method to map the cognitive states of a human subject to specific...
ACL
2006
15 years 5 months ago
2006
Statistical MT has made great progress in the last few years, but current translation models are weak on re-ordering and target language fluency. Syntactic approaches seek to reme...
139
Voted
SFP
2001
15 years 5 months ago
2001
: We study type checking that is complete in the sense that it accepts every program whose subexpressions can all be executed without raising a type error at runtime. In a complete...
146
click to vote
UAI
2001
15 years 5 months ago
2001
This paper presents a new deterministic approximation technique in Bayesian networks. This method, "Expectation Propagation," unifies two previous techniques: assumed-de...