5608 search results - page 378 / 1122 » On the Theory of Matchgate Computations |
197
click to vote
HYBRID
2010
Springer
16 years 1 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
170
click to vote
SAGT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In game theory, a player’s action is said to be weakly dominated if there exists another action that, with respect to what the other players do, is never worse and some...
179
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
215
click to vote
AUTONOMICS
2009
ACM
16 years 1 months ago
2009
ACM
Supervisory control is the main means to assure a high level performance and availability of large IT infrastructures. Applied control theory is used in physical and virtualization...
171
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we introduce a formal-language model for explicitly formalizing agent-environment interaction in a multiagent systems (MAS) framework: Conversational Grammar System...