1153 search results - page 33 / 231 » The Complexity of Revision, Revised |
ECLIPSE
2007
ACM
13 years 11 months ago
2007
ACM
This paper presents a code-revision history collection and visualization Eclipse plugin for use in empirical studies of programmers. The revision history is collected non-intrusiv...
OPODIS
2008
13 years 8 months ago
2008
We focus on automated revision techniques for adding Unity properties to distributed programs. We show that unlike centralized programs, where multiple safety properties along with...
CRIWG
2000
13 years 8 months ago
2000
We present Zeus, an environment designed to aid in the creation of a repository of digital theses. Zeus is an asynchronous cooperative toolset which allows the revision and annota...
RULEML
2010
Springer
13 years 5 months ago
2010
Springer
We propose a systematic investigation on how to modify a preference relation in a defeasible logic theory to change the conclusions of the theory itself. We argue that the approach...
ACL
2012
11 years 9 months ago
2012
This paper describes the creation of the first large-scale corpus containing drafts and final versions of essays written by non-native speakers, with the sentences aligned acros...