9572 search results - page 130 / 1915 » Cover Algorithms and Their Combination |
127
click to vote
CVPR
2000
IEEE
15 years 9 months ago
2000
IEEE
We present a novel approach for learning patterns (sub-images) shared by multiple images without prior knowledge about the number and the positions of the patterns in the images. ...
199
click to vote
TACAS
2000
Springer
15 years 8 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
134
click to vote
AAAI
2006
15 years 6 months ago
2006
Composing existing Web services to deliver new functionality is a difficult problem as it involves resolving semantic, syntactic and structural differences among the interfaces of...
148
click to vote
EMNLP
2010
15 years 3 months ago
2010
Word alignment plays a central role in statistical MT (SMT) since almost all SMT systems extract translation rules from word aligned parallel training data. While most SMT systems...
115
click to vote
ICPR
2002
IEEE
16 years 6 months ago
2002
IEEE
We study the combination of face verification algorithms in order to improve the verification performance. Although the different face experts that we consider provide their outpu...