Sciweavers

11097 search results - page 21 / 2220
» Hera presentation generator
Sort
View
ENTCS
2010
208views more  ENTCS 2010»
13 years 5 months ago
Accelerated Invariant Generation for C Programs with Aspic and C2fsm
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
Paul Feautrier, Laure Gonnord
NAACL
2010
13 years 5 months ago
Generating Expository Dialogue from Monologue: Motivation, Corpus and Preliminary Rules
Generating expository dialogue from monologue is a task that poses an interesting and rewarding challenge for Natural Language Processing. This short paper has three aims: firstly...
Paul Piwek, Svetlana Stoyanchev
ACL
2009
13 years 5 months ago
Extending a Surface Realizer to Generate Coherent Discourse
We present a discourse-level Tree Adjoining Grammar which tightly integrates syntax and discourse levels, including a representation for discourse entities. We show that this tech...
Eva Banik
DPHOTO
2009
189views Hardware» more  DPHOTO 2009»
13 years 5 months ago
Automatic background generation from a sequence of images based on robust mode estimation
In this paper, we present a novel method for generating a background model from a sequence of images with moving objects. Our approach is based on non-parametric statistics and ro...
Desire Sidibé, Olivier Strauss, William Pue...
ACL
2012
11 years 10 months ago
How Are Spelling Errors Generated and Corrected? A Study of Corrected and Uncorrected Spelling Errors Using Keystroke Logs
This paper presents a comparative study of spelling errors that are corrected as you type, vs. those that remain uncorrected. First, we generate naturally occurring online error c...
Yukino Baba, Hisami Suzuki