697 search results - page 17 / 140 » Decomposition Structures for Event-B |
MP
2002
14 years 11 months ago
2002
The efficient solution of large-scale linear and nonlinear optimization problems may require exploiting any special structure in them in an efficient manner. We describe and analy...
100
click to vote
GBRPR
2009
Springer
15 years 6 months ago
2009
Springer
Modeling and understanding complex non-manifold shapes is a key issue in shape analysis and retrieval. The topological structure of a non-manifold shape can be analyzed through its...
CIS
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we propose a new variational decomposition model which splits an image into two components: a first one containing the structure and a second one the texture or nois...
127
click to vote
ICPP
1991
IEEE
15 years 3 months ago
1991
IEEE
Data decomposition is probably the most successful method for generating parallel programs. In this paper a general framework is described for the automatic generation of parallel...
CP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper, we investigate the performance of several existing structural decomposition methods on fully interlocked Crossword Puzzle Problems (CPPs) and draw directio...