Search Sciweavers | Sciweavers

13917 search results - page 16 / 2784

» Abstraction of Probabilistic Systems

click to vote

CDC
2008
IEEE

109views Control Systems» more CDC 2008»

LQG control over lossy TCP-like networks with probabilistic packet acknowledgements

15 years 4 months ago

Download www.ece.cmu.edu

Abstract— This paper is concerned with control applications over lossy data networks. Sensor data is transmitted to an estimation-control unit over a network, and control command...

Emanuele Garone, Bruno Sinopoli, Alessandro Casavo...

claim paper

Read More »

click to vote

EUC
2005
Springer

112views Applied Computing» more EUC 2005»

A Unified Context Model: Bringing Probabilistic Models to Context Ontology

15 years 3 months ago

Download uclab.khu.ac.kr

Abstract. Ontology is a promising tool to model and reason about context information in pervasive computing environment. However, ontology does not support representation and reaso...

Binh An Truong, Young-Koo Lee, Sungyoung Lee

claim paper

Read More »

click to vote

ICALP
2011
Springer

230views Programming Languages» more ICALP 2011»

Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation

14 years 1 months ago

Download www.math.unipd.it

act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...

Silvia Crafa, Francesco Ranzato

claim paper

Read More »

click to vote

ENTCS
2006

106views more ENTCS 2006»

Probabilistic Observations and Valuations: (Extended Abstract)

14 years 9 months ago

Download homepages.inf.ed.ac.uk

d Abstract) 1 Matthias Schr

Matthias Schröder, Alex Simpson

claim paper