1683 search results - page 6 / 337 » Game Theory Basics |
IPL
2008
13 years 9 months ago
2008
This paper studies the equational theory of prebisimilarity, a bisimulation-based preorder introduced by Hennessy and Milner in the early 1980s, over basic CCS with the divergent ...
DCC
2006
IEEE
14 years 9 months ago
2006
IEEE
So far there is no systematic attempt to construct Boolean functions with maximum annihilator immunity. In this paper we present a construction keeping in mind the basic theory of...
AAAI
2008
13 years 12 months ago
2008
In a seminal paper, Lin and Reiter introduced a modeltheoretic definition for the progression of the initial knowledge base of a basic action theory. This definition comes with a ...
INTERACT
2003
13 years 11 months ago
2003
Abstract: This paper proposes a way to identify professional knowledge in a heterogeneous HCI (HumanComputer Interaction) community of usability professionals, designers and resear...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We generalize some of the central results in automata theory to the abstraction level of coalgebras and thus lay out the foundations of a universal theory of automata ope...