Sciweavers

851 search results - page 73 / 171
» Inaccessibility in Decision Procedures
Sort
View
AUTOMATICA
2008
74views more  AUTOMATICA 2008»
13 years 9 months ago
Policy iteration based feedback control
It is well known that stochastic control systems can be viewed as Markov decision processes (MDPs) with continuous state spaces. In this paper, we propose to apply the policy iter...
Kan-Jian Zhang, Yan-Kai Xu, Xi Chen, Xi-Ren Cao
CSSC
2008
75views more  CSSC 2008»
13 years 9 months ago
Statistical Certification of Software Systems
Common software release procedures based on statistical techniques try to optimise the trade-off between further testing costs and costs due to remaining errors. We propose new so...
Alessandro Di Bucchianico, Jan Friso Groote, Kees ...
ICML
2009
IEEE
14 years 9 months ago
Online feature elicitation in interactive optimization
Most models of utility elicitation in decision support and interactive optimization assume a predefined set of "catalog" features over which user preferences are express...
Craig Boutilier, Kevin Regan, Paolo Viappiani
ECML
2007
Springer
14 years 3 months ago
Safe Q-Learning on Complete History Spaces
In this article, we present an idea for solving deterministic partially observable markov decision processes (POMDPs) based on a history space containing sequences of past observat...
Stephan Timmer, Martin Riedmiller
TABLEAUX
2005
Springer
14 years 2 months ago
Description Logics in Ontology Applications
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
Ian Horrocks