Sciweavers

2934 search results - page 292 / 587
» Universality in Multi-Agent Systems
Sort
View
DL
1999
Springer
130views Digital Library» more  DL 1999»
15 years 11 months ago
XML-based Information Mediation for Digital Libraries
We demonstrate a prototype distributed architecture for a digital library, using technology being developed under the MIX Project at the San Diego Supercomputer Center (SDSC) and ...
Chaitanya K. Baru, Vincent Chu, Amarnath Gupta, Be...
DL
1997
Springer
125views Digital Library» more  DL 1997»
15 years 10 months ago
Talking in the Library: Implications for the Design of Digital Libraries
We describe the use of ethnomethodologically-informed ethnography as a means of informing the requirements elicitation, design, development and evaluation of digital libraries. We...
Andy Crabtree, Michael Twidale, Jon O'Brien, David...
AAECC
1993
Springer
94views Algorithms» more  AAECC 1993»
15 years 10 months ago
Relations Among Lie Formal Series and Construction of Symplectic Integrators
Symplectic integrators are numerical integration schemes for hamiltonian systems. The integration step is an explicit symplectic map. We find symplectic integrators using universa...
Pierre-Vincent Koseleff
CAV
2007
Springer
122views Hardware» more  CAV 2007»
15 years 10 months ago
Parameterized Verification of Infinite-State Processes with Global Conditions
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...
FLAIRS
2007
15 years 9 months ago
The Design and Implementation of a Successful General Game Playing Agent
General Game Playing is the problem of designing an agent capable of playing any previously unknown game when given only the rules. This paper describes the implementation archite...
David M. Kaiser