1727 search results - page 24 / 346 » A Technique for Large Automated Mechanism Design Problems |
EDBT
2002
ACM
15 years 12 months ago
2002
ACM
Maintaining statistics on multidimensional data distributions is crucial for predicting the run-time and result size of queries and data analysis tasks with acceptable accuracy. To...
CADE
2008
Springer
16 years 4 days ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
117
click to vote
CORR
2002
Springer
14 years 11 months ago
2002
Springer
Despite recent excitement generated by the peer-to-peer (P2P) paradigm and the surprisingly rapid deployment of some P2P applications, there are few quantitative evaluations of P2...
120
click to vote
SAB
2010
Springer
14 years 9 months ago
2010
Springer
Reinforcement learning is one of the main adaptive mechanisms that is both well documented in animal behaviour and giving rise to computational studies in animats and robots. In th...
103
click to vote
WEA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Many large-scale optimization problems rely on graph theoretic solutions; yet high-performance computing has traditionally focused on regular applications with high degre...