Sciweavers

7978 search results - page 888 / 1596
» Combining shared-coin algorithms
Sort
View
HYBRID
2009
Springer
16 years 2 months ago
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
Alexandre Donzé, Bruce H. Krogh, Akshay Raj...
DATE
2009
IEEE
143views Hardware» more  DATE 2009»
16 years 2 months ago
Dimensioning heterogeneous MPSoCs via parallelism analysis
—In embedded computing we face a continuously growing algorithm complexity combined with a constantly rising number of applications running on a single system. Multi-core systems...
Bastian Ristau, Torsten Limberg, Oliver Arnold, Ge...
FOCS
2009
IEEE
16 years 2 months ago
Convergence of Local Dynamics to Balanced Outcomes in Exchange Networks
— Bargaining games on exchange networks have been studied by both economists and sociologists. A Balanced Outcome [9], [15] for such a game is an equilibrium concept that combine...
Yossi Azar, Benjamin E. Birnbaum, L. Elisa Celis, ...
185
Voted
ICASSP
2009
IEEE
16 years 2 months ago
Multichannel speech enhancement using convolutive transfer function approximation in reverberant environments
Recently, we have presented a transfer-function generalized sidelobe canceler (TF-GSC) beamformer in the short time Fourier transform domain, which relies on a convolutive transfe...
Ronen Talmon, Israel Cohen, Sharon Gannot
ICDAR
2009
IEEE
16 years 2 months ago
How to Improve a Handwriting Recognition System
The recognition of handwritten characters, words, and text arouses great interest today. To develop the best working system is subject of many papers published. With this paper, m...
Haikal El Abed, Volker Märgner