4245 search results - page 732 / 849 » Input Modeling |
160
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Many of the recently proposed algorithms for learning feature-based ranking functions are based on the pairwise preference framework, in which instead of taking documents in isola...
169
click to vote
COST
2008
Springer
15 years 8 months ago
2008
Springer
The quality of static phones (e.g. vowels, fricatives, nasals, laterals) generated by articulatory speech synthesizers has reached a high level in the last years. Our goal is to ex...
170
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
155
click to vote
DAS
2008
Springer
15 years 8 months ago
2008
Springer
Certain forms of mathematical expression are used more often than others in practice. A quantitative understanding of actual usage can provide additional information to improve th...
161
click to vote
DAS
2008
Springer
15 years 8 months ago
2008
Springer
A robust segmentation is the most important part of an automatic character recognition system (e.g. document processing, license plate recognition etc.). In our contribution we pr...