Sciweavers

1996 search results - page 65 / 400
» A decision procedure for linear
Sort
View
IMSCCS
2006
IEEE
16 years 7 days ago
Intelligent Decision Making for Agreement-based Grid Resource Management
Agreement-based resource management is becoming the foundation of grid system. Since the grid resource management encompasses a wide range of different scenarios, the decision mak...
Rui Liu, Weimin Zheng, Yongwei Wu
IJCAI
2003
15 years 7 months ago
Qualitative Decision under Uncertainty: Back to Expected Utility
Different qualitative models have been proposed for decision under uncertainty in Artificial Intelli­ gence, but they generally fail to satisfy the princi­ ple of strict Pareto ...
Hélène Fargier, Régis Sabbadi...
NFM
2011
225views Formal Methods» more  NFM 2011»
15 years 1 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
ICML
2009
IEEE
16 years 1 months ago
Decision tree and instance-based learning for label ranking
The label ranking problem consists of learning a model that maps instances to total orders over a finite set of predefined labels. This paper introduces new methods for label ra...
Weiwei Cheng, Jens C. Huhn, Eyke Hüllermeier
ICASSP
2010
IEEE
15 years 6 months ago
A statistical model-based double-talk detection incorporating soft decision
In this paper, we propose a novel double-talk detection (DTD) technique based on a soft decision in the frequency domain. The proposed method provides an efficient procedure to d...
Yun-Sik Park, Ji-Hyun Song, Sang-Ick Kang, Woojung...