92 search results - page 5 / 19 » Reducing BDD Size by Exploiting Structural Connectivity |
ECAL
2005
Springer
14 years 1 months ago
2005
Springer
A swarm-bot is a robotic entity built of several autonomous mobile robots (called s-bots) physically connected together. This form of collective robotics exploits robot interaction...
CORR
2012
Springer
12 years 3 months ago
2012
Springer
This paper presents a query evaluation technique for positive relational algebra queries with aggregates on a representation system for probabilistic data based on the algebraic s...
DATE
2008
IEEE
14 years 1 months ago
2008
IEEE
In this paper we describe a flexible and efficient new algorithm for model order reduction of parameterized systems. The method is based on the reformulation of the parametric s...
FMSD
2006
13 years 7 months ago
2006
Reductions that aggregate fine-grained transitions into coarser transitions can significantly reduce the cost of automated verification, by reducing the size of the state space. W...
UAI
1998
13 years 8 months ago
1998
Recent research in decision theoretic planning has focussedon making the solution of Markov decision processes (MDPs) more feasible. We develop a family of algorithms for structur...