4266 search results - page 574 / 854 » A Framework for Defining Logics |
170
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Markov decision processes (MDPs) are widely used for modeling decision-making problems in robotics, automated control, and economics. Traditional MDPs assume that the decision mak...
218
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We propose a new class of game-theoretic models for network formation in which strategies are not directly related to edge choices, but instead correspond more generally to the ex...
111
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we propose in Dezert-Smarandache Theory (DSmT) framework, a new probabilistic transformation, called DSmP, in order to build a subjective probability measure from an...
174
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
With the rise of XML as a standard for representing business data, XML data warehouses appear as suitable solutions for Web-based decision-support applications. In this context, i...
196
click to vote
ENTCS
2008
15 years 6 months ago
2008
Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed from primi...