3690 search results - page 542 / 738 » Computation with classical sequents |
178
click to vote
LION
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Substitution matrices are at the heart of Bioinformatics: sequence alignment, database search, phylogenetic inference, protein family classi cation are based on Blosum, P...
139
click to vote
LPNMR
2009
Springer
15 years 12 months ago
2009
Springer
We develop a module-based framework for constraint modeling where it is possible to combine different constraint modeling languages and exploit their strengths in a flexible way. ...
133
click to vote
LPNMR
2009
Springer
15 years 12 months ago
2009
Springer
Circumscription is one of the most important formalisms for reasoning with incomplete information. It is equivalent to reasoning under the extended closed world assumption, which a...
151
click to vote
PKDD
2009
Springer
15 years 12 months ago
2009
Springer
Most existing semi-supervised learning methods are based on the smoothness assumption that data points in the same high density region should have the same label. This assumption, ...
147
click to vote
SCIA
2009
Springer
15 years 12 months ago
2009
Springer
Recognition of objects in highly structured surroundings is a challenging task, because the appearance of target objects changes due to fluctuations in their surroundings. This ma...