Sciweavers

697 search results - page 49 / 140
» Decomposition Structures for Event-B
Sort
View
SCL
2010
141views more  SCL 2010»
14 years 10 months ago
On the computation of structured singular values and pseudospectra
Structured singular values and pseudospectra play an important role in assessing the properties of a linear system under structured perturbations. This paper discusses computation...
Michael Karow, Effrosini Kokiopoulou, Daniel Kress...
ICIP
1999
IEEE
16 years 1 months ago
A Rearrangement Algorithm of Wavelet Packet Coefficients for Zerotree Coding
Zerotree coding based on the wavelet transform is a very effective image compression technique. Since it exploits the dyadic multiresolution characteristic of wavelet transform, h...
Hyun Duk Cho, Jong Beom Ra
ICPR
2008
IEEE
15 years 6 months ago
Birkhoff polytopes, heat kernels and graph complexity
In this paper we use doubly stochastic matrices to establish a link between Birkhoff polytopes and heat kernels on graphs. Based on this analysis we construct a multi-dimensional ...
Francisco Escolano, Edwin R. Hancock, Miguel Angel...
AUTOMATICA
2010
73views more  AUTOMATICA 2010»
14 years 12 months ago
Realization of Boolean control networks
Based on the linear expression of the dynamics of Boolean networks, the coordinate transformation of Boolean variables is defined. It follows that the state space coordinate trans...
Daizhan Cheng, Zhi Qiang Li, Hongsheng Qi
ACL
2009
14 years 9 months ago
Bypassed alignment graph for learning coordination in Japanese sentences
Past work on English coordination has focused on coordination scope disambiguation. In Japanese, detecting whether coordination exists in a sentence is also a problem, and the sta...
Hideharu Okuma, Kazuo Hara, Masashi Shimbo, Yuji M...