7049 search results - page 1262 / 1410 » Data Abstraction for CSP-OZ |
SIAMSC
2011
14 years 25 days ago
2011
Abstract. An efficient parallel algorithm is presented and tested for computing selected components of H−1 where H has the structure of a Hamiltonian matrix of two-dimensional la...
AQUILEIA
2011
13 years 10 months ago
2011
Abstract. Integrated remote sensing and geophysical methods can provide detailed information about buried cultural heritage. We implemented an integrated survey protocol (IREGA, In...
ATAL
2011
Springer
13 years 10 months ago
2011
Springer
We develop an algorithm for opponent modeling in large extensive-form games of imperfect information. It works by observing the opponent’s action frequencies and building an opp...
ECBS
2011
IEEE
13 years 9 months ago
2011
IEEE
Abstract—Software systems are typically large and exhaustive testing of all possible input parameters is usually not feasible. Testers select tests that they anticipate may catch...
EUROPAR
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. Grid information systems play a central role in today’s production Grid infrastructures, enabling the discovery of a range of information about the Grid services that e...