875 search results - page 68 / 175 » On Reachability Under Uncertainty |
103
Voted
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
Leftist grammars [Motwani et al., STOC 2000] are special semi-Thue systems where symbols can only insert or erase to their left. We develop a theory of leftist grammars seen as wor...
99
Voted
QEST
2005
IEEE
15 years 6 months ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
104
click to vote
JMLR
2006
15 years 22 days ago
2006
We propose a novel second order cone programming formulation for designing robust classifiers which can handle uncertainty in observations. Similar formulations are also derived f...
94
Voted
AI
2004
Springer
15 years 20 days ago
2004
Springer
In the current discussion about the capacity of Bayesianism in reasoning under uncertainty, there is a conceptual and notational confusion between the explicit condition and the i...
84
Voted
IWINAC
2005
Springer
15 years 6 months ago
2005
Springer
The framework of multi-adjoint logic programming has shown to cover a number of approaches to reason under uncertainty, imprecise data or incomplete information. In previous works,...