Sciweavers

166 search results - page 17 / 34
» When Is Uncertainty About Uncertainty Worth Characterizing
Sort
View
93
Voted
AI
2004
Springer
15 years 6 months ago
Spatio-temporal Reasoning for Vague Regions
Abstract. This paper extends a mereotopological theory of spatiotemporal reasoning to vague ”egg-yolk” regions. In this extension, the egg and its yolk are allowed to move and ...
Zina M. Ibrahim, Ahmed Y. Tawfik
104
Voted
WINE
2009
Springer
111views Economy» more  WINE 2009»
15 years 7 months ago
Prediction Mechanisms That Do Not Incentivize Undesirable Actions
A potential downside of prediction markets is that they may incentivize agents to take undesirable actions in the real world. For example, a prediction market for whether a terrori...
Peng Shi, Vincent Conitzer, Mingyu Guo
ECSQARU
2009
Springer
15 years 7 months ago
The Probabilistic Interpretation of Model-Based Diagnosis
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...
Ildikó Flesch, Peter J. F. Lucas
87
Voted
UAI
2008
15 years 2 months ago
Sensitivity analysis for finite Markov chains in discrete time
When the initial and transition probabilities of a finite Markov chain in discrete time are not well known, we should perform a sensitivity analysis. This is done by considering a...
Gert De Cooman, Filip Hermans, Erik Quaeghebeur
RTCSA
2000
IEEE
15 years 5 months ago
Extracting safe and precise control flow from binaries
As a starting point for static program analysis a control flow graph (CFG) is needed. If only the binary executable is available, this CFG has to be reconstructed from sequences ...
Henrik Theiling