4099 search results - page 643 / 820 » A Framework for Interactive Proof |
161
click to vote
DEXAW
2004
IEEE
15 years 8 months ago
2004
IEEE
Grid technologies have been developed in response to an increase in demand for computing applications designed to yield the benefits from collaboration, data sharing and sophistic...
149
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
We present a game-theoretic foundation for gene regulatory analysis based on the recent formalism of rewriting game theory. Rewriting game theory is discrete and comes with a graph...
139
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Game theory is a widely used formal model for studying strategical interactions between agents. Boolean games [8] are two players, zero-sum static games where players...
145
click to vote
ECTEL
2006
Springer
15 years 8 months ago
2006
Springer
This paper describes a service-oriented approach for the integration of third-party external applications and resources into an existing open source eLearning environment. We detai...
156
click to vote
ESCIENCE
2006
IEEE
15 years 8 months ago
2006
IEEE
Jylab is a portable and flexible scientific computing system favoring extensibility. It provides a user with a scripting language and a core set of libraries implementing numerica...