197 search results - page 11 / 40 » Undecidability Results for Distributed Probabilistic Systems |
99
Voted
CDC
2010
IEEE
14 years 8 months ago
2010
IEEE
Any systematic decision-making design selects a decision strategy that makes the resulting closed-loop behaviour close to the desired one. Fully Probabilistic Design (FPD) describe...
108
click to vote
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
191
click to vote
CVPR
2011
IEEE
14 years 5 months ago
2011
IEEE
Existing eye gaze tracking systems typically require an explicit personal calibration process in order to estimate certain person-specific eye parameters. For natural human compu...
125
click to vote
CIKM
2008
Springer
15 years 3 months ago
2008
Springer
Data sparsity, scalability and prediction quality have been recognized as the three most crucial challenges that every collaborative filtering algorithm or recommender system conf...
143
click to vote
FORTE
2008
15 years 3 months ago
2008
Abstract. Our concrete objective is to present both ordinary bisimulations and probabilistic bisimulations in a common coalgebraic framework based on multiset bisimulations. For th...