22 search results - page 5 / 5 » Automatic Detection of Variable and Value Symmetries |
SAS
2001
Springer
13 years 10 months ago
2001
Springer
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...
ACL
2008
13 years 7 months ago
2008
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...