Sciweavers

3995 search results - page 1 / 799
» Linearization of hybrid processes
Sort
View
JLP
2006
56views more  JLP 2006»
13 years 4 months ago
Linearization of hybrid processes
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
P. C. W. den Brand van, Michel A. Reniers, Pieter ...
ENTCS
2008
100views more  ENTCS 2008»
13 years 5 months ago
Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
Jos C. M. Baeten, Dirk A. van Beek, Pieter J. L. C...
MA
2010
Springer
107views Communications» more  MA 2010»
13 years 3 months ago
The multiple hybrid bootstrap - Resampling multivariate linear processes
The paper reconsiders the autoregressive aided periodogram bootstrap (AAPB) which has been suggested in Kreiß and Paparoditis (2003). Their idea was to combine a time domain param...
Carsten Jentsch, Jens-Peter Kreiss
ISBRA
2010
Springer
13 years 11 months ago
Fast Computation of the Exact Hybridization Number of Two Phylogenetic Trees
Abstract. Hybridization is a reticulate evolutionary process. An established problem on hybridization is computing the minimum number of hybridization events, called the hybridizat...
Yufeng Wu, Jiayin Wang
ICIP
2004
IEEE
14 years 6 months ago
Sparse representation of images with hybrid linear models
We propose a mixture of multiple linear models, also known as hybrid linear model, for a sparse representation of an image. This is a generalization of the conventional KarhunenLo...
Kun Huang, Allen Y. Yang, Yi Ma