4609 search results - page 138 / 922 » Automatic Generation of Sigma-Protocols |
175
click to vote
DEXAW
2007
IEEE
15 years 10 months ago
2007
IEEE
We built a system for the automatic creation of a textbased topic hierarchy, meant to be used in a geographically defined community. This poses two main problems. First, the appea...
153
click to vote
IJCAI
2001
15 years 7 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
171
click to vote
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Proposed is an automatic system for creating pattern generators and recognizers that may provide new and human-independent insight into the pattern recognition problem. T...
177
click to vote
DSL
2009
15 years 4 months ago
2009
Abstract. We present the Operator Language (OL), a framework to automatically generate fast numerical kernels. OL provides the structure to extend the program generation system Spi...
172
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...