697 search results - page 109 / 140 » Decomposition Structures for Event-B |
192
click to vote
STACS
2010
Springer
16 years 26 days ago
2010
Springer
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...
137
click to vote
GLOBECOM
2009
IEEE
16 years 19 days ago
2009
IEEE
— 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...
163
click to vote
EUROPAR
2009
Springer
16 years 14 days ago
2009
Springer
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...
154
click to vote
ICCS
2009
Springer
16 years 14 days ago
2009
Springer
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...
166
click to vote
IDA
2009
Springer
16 years 13 days ago
2009
Springer
Abstract. The Matrix-Pencil approach to blind source separation estimates the mixing matrix from the Generalized Eigenvalue Decomposition (GEVD), or Exact Joint Diagonalization, of...