6693 search results - page 80 / 1339 » Methods of Automatic Algorithm Generation |
111
click to vote
ICPR
2000
IEEE
16 years 5 months ago
2000
IEEE
Most page segmentation algorithms have userspecifiable free parameters. However, algorithm designers typically do not provide a quantitative/rigorous method for choosing values fo...
121
Voted
SAC
2010
ACM
15 years 9 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
127
Voted
ISSRE
2000
IEEE
15 years 8 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...
122
click to vote
IJCAI
2001
15 years 5 months ago
2001
In this paper, we present and compare automatically generated titles for machine-translated documents using several different statistics-based methods. A Na
108
click to vote
IFM
2005
Springer
15 years 9 months ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...