Sciweavers

697 search results - page 12 / 140
» Decomposition Structures for Event-B
Sort
View
DCG
2006
47views more  DCG 2006»
15 years 2 months ago
Rhombus Tilings: Decomposition and Space Structure
Frédéric Chavanon, Eric Rémil...
BPSC
2009
153views Business» more  BPSC 2009»
15 years 1 days ago
On Application of Structural Decomposition for Process Model Abstraction
Artem Polyvyanyy, Sergey Smirnov 0002, Mathias Wes...
125
Voted
AAAI
2011
14 years 2 months ago
Stopping Rules for Randomized Greedy Triangulation Schemes
Many algorithms for performing inference in graphical models have complexity that is exponential in the treewidth - a parameter of the underlying graph structure. Computing the (m...
Andrew Gelfand, Kalev Kask, Rina Dechter
SSD
1989
Springer
62views Database» more  SSD 1989»
15 years 6 months ago
Hierarchical Spatial Data Structures
An overview is presented of the use of hierarchical spatial data structures such as the quadtree. They are based on the principle of recursive decomposition. The focus is on the r...
Hanan Samet