697 search results - page 5 / 140 » Decomposition Structures for Event-B |
103
click to vote
CAISE
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Safety policy is a collection of rules that govern the behaviour of entities such that they do not cause accidents. It has been suggested that policies in general can be ...
139
click to vote
ICCV
2011
IEEE
14 years 2 months ago
2011
IEEE
We present a method for fusing two acquisition modes, 2D photographs and 3D LiDAR scans, for depth-layer decomposition of urban facades. The two modes have complementary character...
106
Voted
ISAAC
2007
Springer
15 years 8 months ago
2007
Springer
We introduces the umodules, a generalization of the notion of graph module. The theory we develop captures among others undirected graphs, tournaments, digraphs, and 2−structures...
130
click to vote
JCPHY
2011
14 years 5 months ago
2011
We develop a hierarchical matrix construction algorithm using matrixvector multiplications, based on the randomized singular value decomposition of low-rank matrices. The algorith...
105
click to vote
DCC
2007
IEEE
16 years 2 months ago
2007
IEEE
We introduce the notion of an unrefinable decomposition of a 1-design with at most two block intersection numbers, which is a certain decomposition of the 1-designs collection of ...