Sciweavers

393 search results - page 54 / 79
» synthese 2008
Sort
View
AUTOMATICA
2008
115views more  AUTOMATICA 2008»
15 years 2 months ago
Distributed algorithms for reaching consensus on general functions
This paper presents analysis and design results for distributed consensus algorithms in multi-agent networks. We consider continuous consensus functions of the initial state of th...
Jorge Cortés
AUTOMATICA
2008
59views more  AUTOMATICA 2008»
15 years 2 months ago
Supervisory control of modular systems with global specification languages
The paper presents sufficient conditions for modular (supervisory) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synth...
Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, H...
CORR
2008
Springer
142views Education» more  CORR 2008»
15 years 2 months ago
Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell
We describe Haskell implementations of interesting combinatorial generation algorithms with focus on boolean functions and logic circuit representations. First, a complete exact c...
Paul Tarau
CPHYSICS
2008
87views more  CPHYSICS 2008»
15 years 2 months ago
Simulating black hole white dwarf encounters
The existence of supermassive black holes lurking in the centers of galaxies and of stellar binary systems containing a black hole with a few solar masses has been established bey...
Stephan Rosswog, Enrico Ramirez-Ruiz, W. Raphael H...
CGF
2006
122views more  CGF 2006»
15 years 2 months ago
Stroke Pattern Analysis and Synthesis
We present a synthesis technique that can automatically generate stroke patterns based on a user-specified reference pattern. Our method is an extension of texture synthesis techn...
Pascal Barla, Simon Breslav, Joëlle Thollot, ...