Sciweavers

208 search results - page 26 / 42
» Running or gaming
Sort
View
CORR
2011
Springer
215views Education» more  CORR 2011»
14 years 1 months ago
Lasserre Hierarchy, Higher Eigenvalues, and Approximation Schemes for Quadratic Integer Programming with PSD Objectives
We present an approximation scheme for optimizing certain Quadratic Integer Programming problems with positive semidefinite objective functions and global linear constraints. Thi...
Venkatesan Guruswami, Ali Kemal Sinop
77
Voted
AAAI
2000
14 years 11 months ago
A Distributed Algorithm to Evaluate Quantified Boolean Formulae
In this paper, we present PQSOLVE, a distributed theorem-prover for Quantified Boolean Formulae. First, we introduce our sequential algorithm QSOLVE, which uses new heuristics and...
Rainer Feldmann, Burkhard Monien, Stefan Schamberg...
SIMPAR
2010
137views Robotics» more  SIMPAR 2010»
14 years 8 months ago
Simulating Vehicle Kinematics with SimVis3D and Newton
This paper discusses the simulation of vehicle kinematics with SimVis3D and the Newton Game Dynamics Engine. As running example a Pioneer1 like robot is used. First its differenti...
Jens Wettach, Daniel Schmidt 0004, Karsten Berns
IPPS
2007
IEEE
15 years 3 months ago
A Scalable Cluster Algorithm for Internet Resources
Applications such as parallel computing, online games, and content distribution networks need to run on a set of resources with particular network connection characteristics to ge...
Chuang Liu, Ian T. Foster
ICML
2003
IEEE
15 years 10 months ago
Planning in the Presence of Cost Functions Controlled by an Adversary
We investigate methods for planning in a Markov Decision Process where the cost function is chosen by an adversary after we fix our policy. As a running example, we consider a rob...
H. Brendan McMahan, Geoffrey J. Gordon, Avrim Blum