1615 search results - page 108 / 323 » Computer science and decision theory |
154
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
135
click to vote
EXPCS
2007
15 years 8 months ago
2007
Experimental computer systems research typically ignores the end-user, modeling him, if at all, in overly simple ways. We argue that this (1) results in inadequate performance eva...
250
click to vote
ICGA
2006
17 years 4 months ago
2006
In this work we investigate the potential of combining AI tree-search algorithms with the algorithms of combinatorial game theory to provide more efficient strategies for playing s...
161
click to vote
ACMMPC
2000
Springer
15 years 8 months ago
2000
Springer
Fixed point calculus is about the solution of recursive equations de˛ned by a monotonic endofunction on a partially ordered set. This tutorial presents the basic theory of ˛xed ...
111
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Storytelling is an innate human characteristic. Stories are used to manage meaning, control behavior, and facilitate identification and bonding [9]. The theory of identification a...