1817 search results - page 59 / 364 » Extensive Games as Process Models |
140
Voted
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
115
click to vote
ECAL
1999
Springer
15 years 7 months ago
1999
Springer
The “social dilemma” is a problem inherent in forming and maintaining cooperation among selfish individuals, and is of fundamental importance in the biological and social sci...
131
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— This paper considers the control problem for selfservowriting in disk drives where information propagation occurs in two independent directions, i.e. time and track num...
124
Voted
ITA
2007
15 years 2 months ago
2007
Abstract. This paper analyses the complexity of model checking Fixpoint Logic with Chop – an extension of the modal µ-calculus with a sequential composition operator. It uses tw...
142
click to vote
DEBU
2010
15 years 2 months ago
2010
Microsoft StreamInsight is a platform for developing and deploying streaming applications. StreamInsight embraces a temporal stream model to unify and further enrich query languag...