71 search results - page 8 / 15 » Partial Order Reduction for Probabilistic Branching Time |
191
click to vote
DNA
2011
Springer
13 years 9 months ago
2011
Springer
Several molecular systems form large-scale objects. One would like to understand their assembly and how this assembly is regulated. As a first step, we investigate the phase trans...
88
Voted
FORMATS
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
75
Voted
FMICS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
ICRA
2003
IEEE
15 years 2 months ago
2003
IEEE
In this paper we present a probabilistic framework for the reduction in the uncertainty of a moving robot pose during exploration by using a second robot to assist. A Monte Carlo ...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
A dimension reduction method called Discrete Empirical Interpolation (DEIM) is proposed and shown to dramatically reduce the computational complexity of the popular Proper Orthogo...