Sciweavers

3951 search results - page 45 / 791
» Automatic amortized analysis
Sort
View
FMSD
2011
236views Formal Methods» more  FMSD 2011»
14 years 2 months ago
Automatic analysis of DMA races using model checking and k-induction
Alastair F. Donaldson, Daniel Kroening, Philipp R&...
NAACL
2003
15 years 20 days ago
Automatically Predicting Information Quality in News Documents
We report here empirical results of a series of studies aimed at automatically predicting information quality in news documents. Multiple research methods and data analysis techni...
Rong Tang, Kwong Bor Ng, Tomek Strzalkowski, Paul ...
SBIA
2004
Springer
15 years 4 months ago
DiZer: An Automatic Discourse Analyzer for Brazilian Portuguese
This paper presents DiZer, an automatic DIscourse analyZER for Brazilian Portuguese. Given a source text, the system automatically produces its corresponding rhetorical analysis, f...
Thiago Alexandre Salgueiro Pardo, Maria das Gra&cc...