697 search results - page 12 / 140 » Decomposition Structures for Event-B |
DCG
2006
13 years 7 months ago
2006
JACIII
2010
13 years 5 months ago
2010
BPSC
2009
13 years 5 months ago
2009
AAAI
2011
12 years 7 months ago
2011
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...
SSD
1989
Springer
13 years 11 months ago
1989
Springer
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...