697 search results - page 75 / 140 » Decomposition Structures for Event-B |
SODA
2004
ACM
15 years 1 months ago
2004
ACM
We give a forbidden substructure characterization of set families that have the consecutive-ones property, and a linear time algorithm to find the forbidden substructure if a set ...
CORR
2007
Springer
14 years 12 months ago
2007
Springer
— This work considers the problem of transmitting multiple compressible sources over a network with minimum cost. The problem is complicated by the fact that the description of t...
115
click to vote
CORR
2011
Springer
14 years 3 months ago
2011
Springer
Decomposition theorems in classical Fourier analysis enable us to express a bounded function in terms of few linear phases with large Fourier coefficients plus a part that is pseu...
104
click to vote
ICIP
2005
IEEE
16 years 1 months ago
2005
IEEE
Image fusion is the process of extracting meaningful visual information from two or more images and combinining them to form one fused image. Image fusion is important within many...
138
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
In this paper, we propose two new, perceptually motivated strategies to better measure the similarity of 2D shape instances that are in the form of closed contours. The first strat...