10568 search results - page 345 / 2114 » Computer Intelligence and Formalization |
164
click to vote
IAT
2010
IEEE
15 years 2 months ago
2010
IEEE
Economic models are found efficient in managing heterogeneous computer resources such as storage, CPU and memory for grid computing. Commodity market, double auction and contract-n...
132
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
A need for solving more and more complex problems drives the Evolutionary Computation community towards advanced models of Evolutionary Algorithms. One such model is the island mo...
149
Voted
AGI
2008
15 years 5 months ago
2008
Universal induction solves in principle the problem of choosing a prior to achieve optimal inductive inference. The AIXI theory, which combines control theory and universal induct...
129
click to vote
SIGECOM
2004
ACM
15 years 9 months ago
2004
ACM
We provide efficient algorithms for finding approximate BayesNash equilibria (BNE) in graphical, specifically tree, games of incomplete information. In such games an agent’s p...
133
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
Kenzo is a symbolic computation system devoted to Algebraic Topology. It has been developed by F. Sergeraert mainly as a research artifact. The challenge is now to increase the nu...