Sciweavers

4973 search results - page 274 / 995
» Probabilistic Algorithms in Robotics
Sort
View
QEST
2007
IEEE
16 years 25 days ago
Symbolic Bisimulations for Probabilistic Systems
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
Peng Wu 0002, Catuscia Palamidessi, Huimin Lin
ICMCS
2006
IEEE
111views Multimedia» more  ICMCS 2006»
16 years 18 days ago
Probabilistic Multimodality Fusion for Event based Home Photo Clustering
This paper presents a novel probabilistic approach to fusing multimodal metadata for event based home photo clustering. Photo events are characterized by the coherence of multimod...
Tao Mei, Bin Wang, Xian-Sheng Hua, He-Qin Zhou, Sh...
CONCUR
2000
Springer
15 years 11 months ago
Weak Bisimulation for Probabilistic Systems
Abstract. In this paper, we introduce weak bisimulation in the framework of Labeled Concurrent Markov Chains, that is, probabilistic transition systems which exhibit both probabili...
Anna Philippou, Insup Lee, Oleg Sokolsky
WCNC
2010
IEEE
15 years 10 months ago
Deploying Wireless Sensors for Differentiated Coverage and Probabilistic Connectivity
—The deployment strategy for achieving differentiated coverage and probabilistic connectivity in wireless sensor networks is studied in this paper. A novel solution based on elit...
Yanjun Li, Ye-Qiong Song, Yi-hua Zhu, René ...
EMNLP
2008
15 years 8 months ago
Learning with Probabilistic Features for Improved Pipeline Models
We present a novel learning framework for pipeline models aimed at improving the communication between consecutive stages in a pipeline. Our method exploits the confidence scores ...
Razvan C. Bunescu