5995 search results - page 265 / 1199 » Algorithmic Game Theory |
208
click to vote
IEEECGIV
2005
IEEE
16 years 8 days ago
2005
IEEE
Creating a 3-D game engine is not a trivial task as gamers often demand for high quality output with top notch performance in games. In this paper, we show you how various real-ti...
190
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Earlier work has developed the underpinnings of IC-Scheduling Theory, an algorithmic framework for scheduling computations having intertask dependencies for Internet-based computi...
197
click to vote
LPAR
2004
Springer
16 years 1 days ago
2004
Springer
DPLL and DPLL Modulo Theories Robert Nieuwenhuis , Albert Oliveras , and Cesare Tinelli We introduce Abstract DPLL, a general and simple abstract rule-based formulation of the Davi...
139
click to vote
IJCAI
1993
15 years 8 months ago
1993
This paper presents a major revision of the Either propositional theory re nement system. Two issues are discussed. First, we show howrun timee ciency can be greatlyimproved by ch...
152
click to vote
AML
2005
15 years 6 months ago
2005
Abstract. We investigate the theories LA, LAP, LAP of linear algebra, which were originally defined to study the question of whether commutativity of matrix inverses has polysize F...