Sciweavers

1153 search results - page 102 / 231
» The Complexity of Revision, Revised
Sort
View
SCL
2010
110views more  SCL 2010»
15 years 4 months ago
Abstraction-based failure diagnosis for discrete event systems
ion-based failure diagnosis for discrete event systems Klaus Schmidt∗ Chair of Automatic Control, University of Erlangen-Nuremberg, Cauerstrasse 7, 91058 Erlangen, Germany a r t ...
Klaus Schmidt
CASC
2010
Springer
125views Mathematics» more  CASC 2010»
15 years 4 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...
EOR
2010
140views more  EOR 2010»
15 years 3 months ago
Cutting plane algorithms for 0-1 programming based on cardinality cuts
: We present new valid inequalities for 0-1 programming problems that work in similar ways to well known cover inequalities. Discussion and analysis of these cuts is followed by th...
Osman Oguz
ACL
2012
13 years 8 months ago
FLOW: A First-Language-Oriented Writing Assistant System
Writing in English might be one of the most difficult tasks for EFL (English as a Foreign Language) learners. This paper presents FLOW, a writing assistance system. It is built ba...
Mei-hua Chen, Shih-Ting Huang, Hung-ting Hsieh, Ti...
164
Voted
WIKIS
2009
ACM
16 years 15 days ago
Organizing the vision for web 2.0: a study of the evolution of the concept in Wikipedia
Information Systems (IS) innovations are often characterized by buzzwords, reflecting organizing visions that structure and express the images and ideas formed by a wide community...
Arnaud Gorgeon, E. Burton Swanson