1024 search results - page 86 / 205 » Compositional Methods for Probabilistic Systems |
OOPSLA
2007
Springer
15 years 7 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...
130
Voted
CIVR
2008
Springer
15 years 3 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 ...
140
click to vote
ICRA
2010
IEEE
14 years 12 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...
124
click to vote
CORR
2011
Springer
14 years 8 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...
116
click to vote
FTRTFT
1998
Springer
15 years 5 months 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...