Sciweavers

22 search results - page 5 / 5
» Automatic Detection of Variable and Value Symmetries
Sort
View
SAS
2001
Springer
121views Formal Methods» more  SAS 2001»
14 years 3 months ago
Embedding Chaos
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
Natalia Sidorova, Martin Steffen
ACL
2008
14 years 6 days ago
A Critical Reassessment of Evaluation Baselines for Speech Summarization
We assess the current state of the art in speech summarization, by comparing a typical summarizer on two different domains: lecture data and the SWITCHBOARD corpus. Our results ca...
Gerald Penn, Xiaodan Zhu