Sciweavers

3995 search results - page 300 / 799
» Linearization of hybrid processes
Sort
View
ICA
2004
Springer
16 years 1 days ago
Analytical Solution of the Blind Source Separation Problem Using Derivatives
In this paper, we consider independence property between a random process and its first derivative. Then, for linear mixtures, we show that cross-correlations between mixtures and...
Sebastien Lagrange, Luc Jaulin, Vincent Vigneron, ...
CONCUR
2007
Springer
15 years 10 months ago
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. ...
LATIN
2000
Springer
15 years 10 months ago
Approximation Algorithms for Flexible Job Shop Problems
The Flexible Job Shop problem is a generalization of the classical job shop scheduling problem in which for every operation there is a group of machines that can process it. The p...
Klaus Jansen, Monaldo Mastrolilli, Roberto Solis-O...
ICIP
2010
IEEE
15 years 4 months ago
Generalized YUV interpolation of CFA images
This paper presents a simple yet effective color filter array (CFA) interpolation algorithm. It is based on a linear interpolating kernel, but operates on YUV space, which results...
Meng Wang, Thierry Blu
ICASSP
2011
IEEE
14 years 10 months ago
Reaching consensus in asynchronous WSNs: Algebraic approach
Many models of wireless sensor networks (WSNs) assume a perfect synchronization along the graph of such network as a simplifying assumption. In our contribution we base our invest...
Ondrej Sluciak, Markus Rupp