933 search results - page 19 / 187 » Fully automatic cross-associations |
191
click to vote
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
151
click to vote
BILDMED
2008
15 years 7 months ago
2008
In this paper we present a new method for fully automatic liver segmentation in computed tomography images. First, an initial set of seed points for the random walker algorithm is ...
149
click to vote
WIESS
2000
15 years 7 months ago
2000
This paper describes the crucial design and implementation issues that arise in building a fully automatic precompiled header mechanism for compiling industrial-strength C and C++...
168
click to vote
EMNLP
2009
15 years 3 months ago
2009
In previous research in automatic verb classification, syntactic features have proved the most useful features, although manual classifications rely heavily on semantic features. ...
169
click to vote
EMNLP
2009
15 years 3 months ago
2009
We present a fully automatic method for content selection evaluation in summarization that does not require the creation of human model summaries. Our work capitalizes on the assu...