4609 search results - page 147 / 922 » Automatic Generation of Sigma-Protocols |
133
click to vote
NAACL
2003
15 years 7 months ago
2003
In this paper, we propose an automatic quantitative expansion method for a sentence set that contains sentences of the same meaning (called an equivalent sentence set). This task ...
164
click to vote
ANLP
2000
15 years 7 months ago
2000
A major obstacle to the construction of a probabilistic translation model is the lack of large parallel corpora. In this paper we first describe a parallel text mining system that...
130
click to vote
COLING
1992
15 years 7 months ago
1992
In this paper, we describe a method of extracting information from an on-line resource for the consmaction of lexical entries for a multi-lingual, interlingual MT system (ULTRA). ...
169
click to vote
SAMT
2007
Springer
16 years 15 days ago
2007
Springer
This paper reports on the setup and evaluation of robust speech recognition system parts, geared towards transcript generation for heterogeneous, real-life media collections. The s...
144
click to vote
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
c Abstraction for Worst-Case Analysis of Discrete Systems Felice Balarin Cadence Berkeley Laboratories Recently, a methodology for worst-case analysis of discrete systems has been...