161 search results - page 18 / 33 » A system for processing handwritten bank checks automaticall... |
ICFP
2003
ACM
14 years 7 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
TACAS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
TSD
2005
Springer
14 years 1 months ago
2005
Springer
Cluster analysis of dialogs with transport directory service allows revealing the typical scenarios of dialogs, which is useful for designing automatic dialog systems. We show how ...
INTERSPEECH
2010
13 years 2 months ago
2010
In this paper, we analyze whether dictionaries from the World Wide Web which contain phonetic notations, may support the rapid creation of pronunciation dictionaries within the sp...
ICIP
2009
IEEE
13 years 5 months ago
2009
IEEE
The proper segmentation of the vascular system of the retina has a very important role in automatic screening systems. Its detection helps the localization of other anatomical par...