2869 search results - page 314 / 574 » The Inference Problem: A Survey |
157
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We consider the termination problem of programs manipulating treelike dynamic data structures. Our approach is based on a counter-example guided ion refinement loop. We ...
222
click to vote
CCIA
2007
Springer
16 years 1 months ago
2007
Springer
Polysemy is one of the most difficult problems when dealing with natural language resources. Consequently, automated ontology learning from textual sources (such as web resources) ...
181
click to vote
CP
2007
Springer
16 years 1 months ago
2007
Springer
Constraints have played a central role in cp because they capture key substructures of a problem and efficiently exploit them to boost inference. This paper intends to do the same ...
211
click to vote
EMMCVPR
2007
Springer
16 years 1 months ago
2007
Springer
Video segmentation requires the partitioning of a series of images into groups that are both spatially coherent and smooth along the time axis. We formulate segmentation as a Bayes...
181
click to vote
AE
2005
Springer
16 years 29 days ago
2005
Springer
An encoding scheme for protein folding on lattice models, inspired by parametric L-systems, was proposed. The encoding incorporates problem domain knowledge in the form of predesig...