Sciweavers

618 search results - page 2 / 124
» Meaning and Partiality Revised
Sort
View
NAACL
2007
14 years 11 months ago
Tree Revision Learning for Dependency Parsing
We present a revision learning model for improving the accuracy of a dependency parser. The revision stage corrects the output of the base parser by means of revision rules learne...
Giuseppe Attardi, Massimiliano Ciaramita
78
Voted
COLING
1990
14 years 10 months ago
Incremental Parsing and Reason Maintenance
The purpose of this paper is to compare different ways of adopting reason-maintenance techniques in incremental parsing (and interpretation). A reasonmaintenance system supports i...
Mats Wirén
WIKIS
2009
ACM
15 years 4 months ago
rv you're dumb: identifying discarded work in Wiki article history
Wiki systems typically display article history as a linear sequence of revisions in chronological order. This representation hides deeper relationships among the revisions, such a...
Michael D. Ekstrand, John Riedl
82
Voted
CASC
2010
Springer
125views Mathematics» more  CASC 2010»
14 years 7 months ago
Thomas Decomposition of Algebraic and Differential Systems
In this paper, we consider systems of algebraic and non-linear partial differential equations and inequations. We decompose these system into so-called simple subsystems and there...
Thomas Bächler, Vladimir P. Gerdt, Markus Lan...
126
Voted
CONCUR
2009
Springer
15 years 4 months ago
Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...
Sergio Giro, Pedro R. D'Argenio, Luis María...