851 search results - page 85 / 171 » Inaccessibility in Decision Procedures |
TIME
2009
IEEE
14 years 3 months ago
2009
IEEE
Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the con...
PKDD
2009
Springer
14 years 3 months ago
2009
Springer
Most existing semi-supervised learning methods are based on the smoothness assumption that data points in the same high density region should have the same label. This assumption, ...
KES
2005
Springer
14 years 2 months ago
2005
Springer
In KDD procedure, to fill in missing data typically requires a very large investment of time and energy - often 80% to 90% of a data analysis project is spent in making the data re...
AINA
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper discusses multi-issue negotiation between agents such as providers and consumers in a group decision making environment. The outcome of such encounters depends on two...
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
Partially Observable Markov Decision Process (POMDP) is a popular framework for planning under uncertainty in partially observable domains. Yet, the POMDP model is riskneutral in ...