Sciweavers

2132 search results - page 81 / 427
» The Challenges of Automatic Summarization
Sort
View
CODES
2000
IEEE
14 years 1 months ago
Automatic test bench generation for simulation-based validation
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
Marcello Lajolo, Luciano Lavagno, Maurizio Rebaude...
EMNLP
2008
13 years 10 months ago
Automatic Inference of the Temporal Location of Situations in Chinese Text
Chinese is a language that does not have morphological tense markers that provide explicit grammaticalization of the temporal location of situations (events or states). However, i...
Nianwen Xue
LREC
2008
128views Education» more  LREC 2008»
13 years 10 months ago
Automatic Evaluation Measures for Statistical Machine Translation System Optimization
Evaluation of machine translation (MT) output is a challenging task. In most cases, there is no single correct translation. In the extreme case, two translations of the same input...
Arne Mauser, Sasa Hasan, Hermann Ney
CORR
2000
Springer
129views Education» more  CORR 2000»
13 years 8 months ago
Prosody-Based Automatic Segmentation of Speech into Sentences and Topics
A crucial step in processing speech audio data for information extraction, topic detection, or browsing/playback is to segment the input into sentence and topic units. Speech segm...
Elizabeth Shriberg, Andreas Stolcke, Dilek Z. Hakk...
LPAR
2010
Springer
13 years 6 months ago
Dafny: An Automatic Program Verifier for Functional Correctness
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...
K. Rustan M. Leino