14084 search results - page 144 / 2817 » A Theory for Game Theories |
204
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—In this paper we consider the problem of maximizing wireless network capacity (a.k.a. one-shot scheduling) in both the protocol and physical models. We give the first distribut...
153
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
This study, through the ontological engineering approach, aims at building a conceptual basis that encourages instructional designers in better understanding of learning/instructio...
157
click to vote
MKM
2007
Springer
16 years 18 days ago
2007
Springer
This paper reports on ongoing work on the project of representing the Kenzo system [15] in type theory [11].
140
click to vote
IJCAI
2003
15 years 7 months ago
2003
In first-order logic, a theory T1 is considered stronger than another theory T2 if every formula
261
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
g Interpolation Theorem in abstract model theory Jouko V