Sciweavers

697 search results - page 109 / 140
» Decomposition Structures for Event-B
Sort
View
STACS
2010
Springer
15 years 6 months ago
Planar Subgraph Isomorphism Revisited
Abstract. The problem of Subgraph Isomorphism is defined as follows: Given a pattern H and a host graph G on n vertices, does G contain a subgraph that is isomorphic to H? Eppstei...
Frederic Dorn
GLOBECOM
2009
IEEE
15 years 6 months ago
Joint MMSE Transceiver Design for Closed-Loop Non-Regenerative MIMO Relaying Systems
— In this paper, as a extended structure of the existing relay-destination joint minimum mean square error (MMSE) design, we propose a new source-relay-destination joint MMSE des...
Chang-Ick Song, Kyoung-Jae Lee, Inkyu Lee
EUROPAR
2009
Springer
15 years 6 months ago
A Multilevel Parallelization Framework for High-Order Stencil Computations
Stencil based computation on structured grids is a common kernel to broad scientific applications. The order of stencils increases with the required precision, and it is a challeng...
Hikmet Dursun, Ken-ichi Nomura, Liu Peng, Richard ...
ICCS
2009
Springer
15 years 6 months ago
High Frequency Assessment from Multiresolution Analysis
We propose a method for the assessment and visualization of high frequency regions of a multiresolution image. We combine both orientation tensor and multiresolution analysis to gi...
Tássio Knop de Castro, Eder de Almeida Pere...
IDA
2009
Springer
15 years 6 months ago
On Optimal Selection of Correlation Matrices for Matrix-Pencil-Based Separation
Abstract. The Matrix-Pencil approach to blind source separation estimates the mixing matrix from the Generalized Eigenvalue Decomposition (GEVD), or Exact Joint Diagonalization, of...
Arie Yeredor