1664 search results - page 227 / 333 » Towards Partial Reasoning |
167
click to vote
CSL
2010
Springer
2010
Springer
The Hidden Information State model: A practical framework for POMDP-based spoken dialogue management
15 years 6 months ago
This paper explains how Partially Observable Markov Decision Processes (POMDPs) can provide a principled mathematical framework for modelling the inherent uncertainty in spoken di...
171
click to vote
GIS
1998
ACM
15 years 6 months ago
1998
ACM
We study the accuracy of data on some local topographic attributes derived from digital elevation models (DEMs). First, we carry out a test for the precision of four methods for ca...
163
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a...
180
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. A minimum satisfying assignment of a formula is a minimumcost partial assignment of values to the variables in the formula that guarantees the formula is true. Minimum sa...
203
click to vote
TMC
2012
13 years 8 months ago
2012
—Characterizing the performance of ad hoc networks is one of the most intricate open challenges; conventional ideas based on information-theoretic techniques and inequalities hav...