7978 search results - page 43 / 1596 » Combining shared-coin algorithms |
130
click to vote
TACAS
2000
Springer
15 years 2 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...
AAAI
2006
15 years 20 days 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...
EMNLP
2010
14 years 9 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...
ICPR
2002
IEEE
16 years 11 days 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...
ICASSP
2009
IEEE
15 years 6 months ago
2009
IEEE
We introduce a new exemplar-based inpainting algorithm that represents the region to be inpainted as a sparse linear combination of example blocks, extracted from the image being ...