2230 search results - page 196 / 446 » Reformulating Constraint Models Using Input Data |
127
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
134
click to vote
VMV
2001
15 years 4 months ago
2001
We present a new approach for the coarse segmentation of tubular structures in 3D image data. Our algorithm, which requires only few initial values and minimal user interaction, c...
130
click to vote
ICASSP
2009
IEEE
15 years 9 months ago
2009
IEEE
3D MRI of the upper airway has provided valuable insights into vocal tract shaping and data for the modeling of speech production. Small movements of articulators can lead to larg...
124
click to vote
EMNLP
2007
15 years 4 months ago
2007
We present a method for improving word alignment for statistical syntax-based machine translation that employs a syntactically informed alignment model closer to the translation m...
120
click to vote
ICPR
2002
IEEE
16 years 3 months ago
2002
IEEE
This paper introduces an approach for handling complex labelling problems driven by local constraints. The purpose is illustrated by two applications: detection of the road networ...