Sciweavers

3995 search results - page 1 / 799
» Linearization of hybrid processes
Sort
View
JLP
2006
56views more  JLP 2006»
13 years 9 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 9 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 8 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
14 years 4 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 11 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