633 search results - page 86 / 127 » Locality and Hard SAT-Instances |
SIGMOD
2010
ACM
14 years 2 months ago
2010
ACM
Providing scalable database services is an essential requirement for extending many existing applications of the Cloud platform. Due to the diversity of applications, database ser...
ESSLLI
1999
Springer
14 years 2 months ago
1999
Springer
This paper presents a grammar formalism in which constituent graphs are unions of a continuous surface tree and a discontinuous deep tree. The formalism has an object-oriented desi...
ROBOCUP
1999
Springer
14 years 2 months ago
1999
Springer
In RoboCup-98, sparrows team worked hard just to get both a simulation and a middle size robot team to work and to successfully participate in a major tournament. For this year, we...
HPCN
1997
Springer
14 years 2 months ago
1997
Springer
For regular, sparse, linear systems, like those derived from regular grids, using High Performance Fortran (HPF) for iterative solvers is straightforward. However, for irregular ma...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
We investigate the properties of a multiagent system where each (distributed) agent locally perceives its environment. Upon perception of an unexpected event, each agent locally c...