697 search results - page 23 / 140 » Decomposition Structures for Event-B |
ICRA
2000
IEEE
15 years 4 months ago
2000
IEEE
Exact cellular decompositions are structures that globally encode the topology of a robot's free space, while locally describing the free space's geometry. These structu...
97
Voted
ICIP
2003
IEEE
16 years 1 months ago
2003
IEEE
An algorithm for the simultaneous filling-in of texture and structure in regions of missing image information is presented in this paper. The basic idea is to first decompose the ...
104
click to vote
DBA
2004
15 years 1 months ago
2004
In order to guarantee efficient query processing together with industrial strength, spatial index structures have to be integrated into fully-fledged object-relational database ma...
115
click to vote
JMLR
2006
14 years 11 months ago
2006
We present Variable Influence Structure Analysis, or VISA, an algorithm that performs hierarchical decomposition of factored Markov decision processes. VISA uses a dynamic Bayesia...
ISCI
2007
14 years 11 months ago
2007
Strategy planning is crucial to control a group to achieve a number of tasks in a closed area full of obstacles. In this study, genetic programming has been used to evolve rule-ba...