2825 search results - page 54 / 565 » Globalization of Belief Distributions |
CAV
2007
Springer
15 years 1 months ago
2007
Springer
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
SCANGIS
2003
14 years 11 months ago
2003
The WGS84 ellipsoid is tessellated using quadrilaterals of roughly the same size. The tessellation scheme is developed for the purpose of storing, distributing and analysing global...
IPPS
2010
IEEE
14 years 7 months ago
2010
IEEE
We present a novel architecture of a communication engine for non-coherent distributed shared memory systems. The shared memory is composed by a set of nodes exporting their memory...
IPPS
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—A premier goal of resource allocators in virtualization environments is to control the relative resource consumption of the different virtual machines, and moreover, to ...
JAIR
2008
14 years 9 months ago
2008
In this article we consider the issue of optimal control in collaborative multi-agent systems with stochastic dynamics. The agents have a joint task in which they have to reach a ...