1738 search results - page 221 / 348 » Local Consistency and SAT-Solvers |
173
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
We propose a novel automatic method to segment the myocardium on late-enhancement cardiac MR (LE CMR) images with a multi-step approach. First, in each slice of the LE CMR volume,...
170
click to vote
CICLING
2009
Springer
16 years 7 months ago
2009
Springer
This paper presents a method for improving phrase-based Statistical Machine Translation systems by enriching the original translation model with information derived from a multilin...
319
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...
188
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
In the paper we discuss the problem of data integration in a P2P environment. In such setting each peer stores schema of its local data, mappings between the schema and schemas of...
188
click to vote
MOBIHOC
2008
ACM
16 years 6 months ago
2008
ACM
We study blind estimation of transmission power of a node based on received power measurements obtained under wireless fading. Specifically, the setup consists of a set of monitor...