1653 search results - page 89 / 331 » Computer science and game theory |
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
While the class of congestion games has been thoroughly studied in the multi-agent systems literature, settings with incomplete information have received relatively little attenti...
TCS
2010
13 years 7 months ago
2010
We study non-uniform constraint satisfaction problems definable in monadic Datalog stratified by the use of non-linearity. We show how such problems can be described in terms of...
CAD
2007
Springer
13 years 9 months ago
2007
Springer
Defeaturing is a popular CAD/ CAE simplification technique where ‘small or irrelevant features’ are suppressed within a CAD model for speeding-up downstream processes, especia...
Source Code
Bullet 3D Game is a modular extendible C++ Multiphysics Library that provides the state of the art collision detection, soft body, and rigid body dynamics.
STTT
2010
13 years 3 months ago
2010
traction Refinement: A Game Semantic Approach Adam Bakewell2 , Aleksandar Dimovski1 , Dan R. Ghica2 , Ranko Lazi