Sciweavers

2905 search results - page 123 / 581
» Formal Memetic Algorithms
Sort
View
CN
2002
98views more  CN 2002»
13 years 10 months ago
New models and algorithms for programmable networks
In todays IP networks most of the network control and management tasks are performed at the end points. As a result, many important network functions cannot be optimized due to la...
Danny Raz, Yuval Shavitt
CORR
2000
Springer
91views Education» more  CORR 2000»
13 years 10 months ago
Algorithmic Theories of Everything
The probability distribution P from which the history of our universe is sampled represents a theory of everything or TOE. We assume P is formally describable. Since most (uncount...
Jürgen Schmidhuber
ICAI
2010
13 years 8 months ago
An Efficient Sequential Covering Algorithm for Explaining Subsets of Data
Given a subset of data that differs from the rest, a user often wants an explanation as to why this is the case. For instance, in a database of flights, a user may want to understa...
Matthew Michelson, Sofus A. Macskassy
AGI
2011
13 years 1 months ago
Real-World Limits to Algorithmic Intelligence
Abstract. Recent theories of universal algorithmic intelligence, combined with the view that the world can be completely specified in mathematical terms, have led to claims about ...
Leo Pape, Arthur Kok
IWANN
2009
Springer
14 years 4 months ago
Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
Karnig Derderian, Mercedes G. Merayo, Robert M. Hi...