14084 search results - page 144 / 2817 » A Theory for Game Theories |
INFOCOM
2010
IEEE
13 years 6 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...
AIED
2009
Springer
14 years 2 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...
MKM
2007
Springer
14 years 2 months ago
2007
Springer
This paper reports on ongoing work on the project of representing the Kenzo system [15] in type theory [11].
IJCAI
2003
13 years 9 months ago
2003
In first-order logic, a theory T1 is considered stronger than another theory T2 if every formula
SYNTHESE
2008
13 years 8 months ago
2008
g Interpolation Theorem in abstract model theory Jouko V