649 search results - page 84 / 130 » State estimation of the three-tank system using a multiple m... |
ENVSOFT
2008
13 years 8 months ago
2008
The decoupled direct method in three dimensions (DDM-3D) provides an efficient and accurate approach for probing the sensitivity of atmospheric pollutant concentrations to various...
QEST
2007
IEEE
14 years 2 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
HPDC
2010
IEEE
13 years 9 months ago
2010
IEEE
This paper proposes a comprehensive modeling architecture for workloads on parallel computers using Markov chains in combination with state dependent empirical distribution functi...
AAAI
2004
13 years 9 months ago
2004
This paper addresses the problem of outdoor terrain modeling for the purposes of mobile robot navigation. We propose an approach in which a robot acquires a set of terrain models ...
DSN
2011
IEEE
12 years 7 months ago
2011
IEEE
—Virtual coordinate systems provide an accurate and efficient service that allows hosts on the Internet to determine latency to arbitrary hosts based on information provided by ...