Sciweavers

844 search results - page 21 / 169
» Safraless Decision Procedures
Sort
View
AAAI
2012
11 years 11 months ago
Sequential Decision Making with Rank Dependent Utility: A Minimax Regret Approach
This paper is devoted to sequential decision making with Rank Dependent expected Utility (RDU). This decision criterion generalizes Expected Utility and enables to model a wider r...
Gildas Jeantet, Patrice Perny, Olivier Spanjaard
NFM
2011
225views Formal Methods» more  NFM 2011»
13 years 3 months ago
Synthesis for PCTL in Parametric Markov Decision Processes
Abstract. In parametric Markov Decision Processes (PMDPs), transition probabilities are not fixed, but are given as functions over a set of parameters. A PMDP denotes a family of ...
Ernst Moritz Hahn, Tingting Han, Lijun Zhang
JCIT
2010
160views more  JCIT 2010»
13 years 3 months ago
TOPSIS Method for Multiple Attribute Decision Making with Incomplete Weight Information in Linguistic Setting
The aim of this paper is to investigate the multiple attribute decision making problems with linguistic information, in which the information about attribute weights is incomplete...
Jianli Wei
JMLR
2010
104views more  JMLR 2010»
13 years 3 months ago
How to Explain Individual Classification Decisions
After building a classifier with modern tools of machine learning we typically have a black box at hand that is able to predict well for unseen data. Thus, we get an answer to the...
David Baehrens, Timon Schroeter, Stefan Harmeling,...
DLOG
2009
13 years 6 months ago
Relativizing Concept Descriptions to Comparison Classes
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge ha...
Szymon Klarman, Stefan Schlobach