742 search results - page 85 / 149 » Applications of Belief Revision |
150
click to vote
EGOV
2003
Springer
15 years 11 months ago
2003
Springer
Conversations between citizens and their representatives may take a number of forms. In this paper, we consider one of these — letters between citizens and representatives — an...
148
click to vote
IJCAI
2007
15 years 7 months ago
2007
Recent scaling up of POMDP solvers towards realistic applications is largely due to point-based methods which quickly converge to an approximate solution for medium-sized problems...
161
click to vote
FLAIRS
2004
15 years 7 months ago
2004
We describe a dialogue management approach that adapts dialogue strategies to a changing user model under the constraint that the approach be able to scale up rapidly for intellig...
161
click to vote
ISSTA
2009
ACM
16 years 20 days ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
138
click to vote
KBSE
2007
IEEE
16 years 13 days ago
2007
IEEE
We present a divide-and-conquer method, called DiConic, for automatic addition of failsafe fault-tolerance to distributed programs, where a failsafe program guarantees to meet its...