1226 search results - page 149 / 246 » Proofs, Programs and Abstract Complexity |
173
Voted
POPL
1989
ACM
15 years 7 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
117
click to vote
ICML
1996
IEEE
16 years 4 months ago
1996
IEEE
Within Valiant'smodel of learning as formalized by Kearns, we show that computable total predicates for two formallyuncomputable problems the classical Halting Problem, and t...
110
click to vote
DAC
2000
ACM
16 years 4 months ago
2000
ACM
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
128
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
This paper describes a study in the evolution of distributed cooperative behavior, specifically leader election, through digital evolution and group selection. In digital evoluti...
105
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
The C-value Paradox is the name given in biology to the wide variance in and often very large amount of DNA in eukaryotic genomes and the poor correlation between DNA length and p...