2162 search results - page 153 / 433 » Automated Reasoning on Feature Models |
118
click to vote
DLOG
1996
15 years 5 months ago
1996
To ensure the re-use of domain ontologies the usual approach relies on a pivot language, e.g., Kif, intoandfromwhich the domainontologyis translated. This requires several distinc...
135
click to vote
GIS
1998
ACM
15 years 3 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...
148
click to vote
CADE
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
136
click to vote
CSL
2010
Springer
2010
Springer
The Hidden Information State model: A practical framework for POMDP-based spoken dialogue management
15 years 4 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...
157
click to vote
DEBU
2006
15 years 4 months ago
2006
Automated reasoning about human behavior is a central goal of artificial intelligence. In order to engage and intervene in a meaningful way, an intelligent system must be able to ...