Sciweavers

2372 search results - page 60 / 475
» Probabilistic calling context
Sort
View
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
13 years 7 months ago
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...
Martin Fränzle, Tino Teige, Andreas Eggers
ICML
2010
IEEE
13 years 7 months ago
Bayes Optimal Multilabel Classification via Probabilistic Classifier Chains
In the realm of multilabel classification (MLC), it has become an opinio communis that optimal predictive performance can only be achieved by learners that explicitly take label d...
Krzysztof Dembczynski, Weiwei Cheng, Eyke Hül...
SIGDIAL
2010
13 years 7 months ago
Probabilistic Ontology Trees for Belief Tracking in Dialog Systems
We introduce a novel approach for robust belief tracking of user intention within a spoken dialog system. The space of user intentions is modeled by a probabilistic extension of t...
Neville Mehta, Rakesh Gupta, Antoine Raux, Deepak ...
AGI
2008
13 years 10 months ago
Probabilistic Quantifier Logic for General Intelligence: An Indefinite Probabilities Approach
: Indefinite probabilities are a novel technique for quantifying uncertainty, which were created as part of the PLN (Probabilistic Logic Networks) logical inference engine, which i...
Matthew Iklé, Ben Goertzel
CAL
2006
13 years 9 months ago
Probabilistic counter updates for predictor hysteresis and bias
Hardware predictor designers have incorporated hysteresis and/or bias to achieve desired behavior by increasing the number of bits per counter. Some resulting proposed predictor de...
Nicholas Riley, Craig B. Zilles