Sciweavers

1071 search results - page 4 / 215
» Theories of Automatic Structures and Their Complexity
Sort
View
DESRIST
2009
Springer
143views Education» more  DESRIST 2009»
14 years 18 days ago
Designing for complex innovations in health care: design theory and realist evaluation combined
Innovations in health care are often characterized by complexity and fuzzy boundaries, involving both the elements of the innovation and the organizational structure required for ...
Christina Keller, Klas Gäre, Mats Edenius, St...
STOC
1989
ACM
117views Algorithms» more  STOC 1989»
14 years 1 hour ago
On the Theory of Average Case Complexity
This paper takes the next step in developing the theory of average case complexity initiated by Leonid A Levin. Previous works Levin 84, Gurevich 87, Venkatesan and Levin 88] have...
Shai Ben-David, Benny Chor, Oded Goldreich, Michae...
CORR
2010
Springer
126views Education» more  CORR 2010»
13 years 8 months ago
Automatic Verification of Parametric Specifications with Complex Topologies
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
Johannes Faber, Carsten Ihlemann, Swen Jacobs, Vio...
CCA
2009
Springer
14 years 2 months ago
Real Computation with Least Discrete Advice: A Complexity Theory of Nonuniform Computability
It is folklore particularly in numerical and computer sciences that, instead of solving some general problem f : A → B, additional structural information about the input x ∈ A ...
Martin Ziegler
SEMCO
2007
IEEE
14 years 2 months ago
Automatic Generation of Multi-Modal Dialogue from Text Based on Discourse Structure Analysis
In this paper, we propose a novel method for generating engaging multi-modal content automatically from text. Rhetorical Structure Theory (RST) is used to decompose text into disc...
Helmut Prendinger, Paul Piwek, Mitsuru Ishizuka