10715 search results - page 2020 / 2143 » From Tests to Proofs |
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
Classically, an approach to the multiagent policy learning supposed that the agents, via interactions and/or by using preliminary knowledge about the reward functions of all playe...
BTW
2007
Springer
14 years 2 months ago
2007
Springer
Abstract: Peer data management systems (PDMS) are a highly dynamic, decentralized infrastructure for large-scale data integration. They consist of a dynamic set of autonomous peers...
CAEPIA
2007
Springer
14 years 2 months ago
2007
Springer
Consider a robot whose task is to pick up some colored balls from a grid, taking the red balls to a red spot, the blue balls to a blue spot and so on, one by one, without knowing e...
CCS
2007
ACM
14 years 2 months ago
2007
ACM
Security researchers are applying software reliability models to vulnerability data, in an attempt to model the vulnerability discovery process. I show that most current work on t...
CIKM
2007
Springer
14 years 2 months ago
2007
Springer
The problem of results merging in distributed information retrieval environments has been approached by two different directions in research. Estimation approaches attempt to cal...