8337 search results - page 1333 / 1668 » Reasoning With Characteristic Models |
197
click to vote
IQ
2007
15 years 8 months ago
2007
: Sufficiently high data quality is crucial for almost every application. Nonetheless, data quality issues are nearly omnipresent. The reasons for poor quality cannot simply be bla...
165
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Decision making is the ability to decide on the best alternative among a set of candidates based on their value. In many real-world domains the value depends on events that occur ...
189
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
207
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
This paper describes a statistically motivated framework for performing real-time dialogue state updates and policy learning in a spoken dialogue system. The framework is based on...
171
click to vote
ENTCS
2008
15 years 6 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...