697 search results - page 13 / 140 » Decomposition Structures for Event-B |
102
click to vote
DAC
2003
ACM
16 years 3 months ago
2003
ACM
Structuring and mapping of a Boolean function is an important problem in the design of complex integrated circuits. Libraryaware constructive decomposition offers a solution to th...
130
click to vote
WG
2005
Springer
15 years 8 months ago
2005
Springer
Partitive set families are families of sets that can be quite large, but have a compact, recursive representation in the form of a tree. This tree is a common generalization of PQ...
121
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
In the constraint programming framework, state-of-the-art static and dynamic decomposition techniques are hard to apply to problems with complete initial constraint graphs. For suc...
120
click to vote
CSL
2005
Springer
15 years 8 months ago
2005
Springer
We show that the modular decomposition of a countable graph can be defined from this graph, given with an enumeration of its set of vertices, by formulas of Monadic Second-Order l...
138
click to vote
ICCV
2011
IEEE
14 years 2 months ago
2011
IEEE
In this paper we propose a new method for the simultaneous segmentation and 3D reconstruction of interest point based articulated motion. We decompose a set of point tracks into r...