1024 search results - page 86 / 205 » Compositional Methods for Probabilistic Systems |
OOPSLA
2007
Springer
14 years 2 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
CIVR
2008
Springer
13 years 9 months ago
2008
Springer
Recent content-based video retrieval systems combine output of concept detectors (also known as high-level features) with text obtained through automatic speech recognition. This ...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— Autonomous vehicle navigation in dynamic urban environments requires localization accuracy exceeding that available from GPS-based inertial guidance systems. We have shown prev...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
Information Retrieval systems can be improved by exploiting context information such as user and document features. This article presents a model based on overlapping probabilistic...
FTRTFT
1998
Springer
14 years 5 days ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...