4609 search results - page 146 / 922 » Automatic Generation of Sigma-Protocols |
126
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a measure to verify the quality of automatically aligned phone labels. The measure is based on a similarity cost between automatically generated phonetic segme...
150
click to vote
MICS
2008
15 years 6 months ago
2008
We describe automated methods for constructing nonisomorphism proofs for pairs of graphs. The proofs can be human-readable or machinereadable. We have developed an experimental imp...
183
click to vote
IIE
2007
15 years 6 months ago
2007
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...
162
click to vote
INTELLCOMM
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we present the interpretation and generation processes of a spoken dialogue interface for intelligent environments. The interface is automatically created for each sp...
166
click to vote
VLDB
2004
ACM
15 years 11 months ago
2004
ACM
We demonstrate a system to automatically grab data from data intensive web sites. The system first infers a model that describes at the intensional level the web site as a collec...