Top-down synthesis of divide-and-conquer algorithms

Artificial Intelligence 27 (1):43-96 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(85)90083-9

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Top-down induction of first-order logical decision trees.Hendrik Blockeel & Luc De Raedt - 1998 - Artificial Intelligence 101 (1-2):285-297.
N.J. Nilsson, Artificial Intelligence: A New Synthesis T. Dean, J. Allen and Y. Aloimonos, Artificial Intelligence: Theory and Practice D. Poole, A. Mackworth and R. Goebel, Computational Intelligence: A Logical Approach S. Russell and P. Norvig, Artificial Intelligence: A Modern Approach. [REVIEW]Benedict du Boulay - 2001 - Artificial Intelligence 125 (1-2):227-232.
Advances in Artificial General Intelligence: Concepts, Architectures and Algorithms. Proceedings of the AGI Workshop 2008. Frontiers in Artificial Intelligence and Applications.Benjamin Goertzel & Pei Wang (eds.) - forthcoming - IOS Press: Amsterdam.
Memetic algorithms outperform evolutionary algorithms in multimodal optimisation.Phan Trung Hai Nguyen & Dirk Sudholt - 2020 - Artificial Intelligence 287 (C):103345.
Evaluating evolutionary algorithms.W. Whitney, S. Rana, J. Dzubera & K. E. Mathias - 1996 - Artificial Intelligence 84 (1-2):357-358.
Review of Argumentation methods for artificial intelligence in law by Douglas Walton, Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2005. [REVIEW]Jelle Reviewer-van Veenen - 2006 - Artificial Intelligence and Law 14 (1):155-157.
Algorithms for strategyproof classification.Reshef Meir, Ariel D. Procaccia & Jeffrey S. Rosenschein - 2012 - Artificial Intelligence 186 (C):123-156.
The distributed breakout algorithms.Katsutoshi Hirayama & Makoto Yokoo - 2005 - Artificial Intelligence 161 (1-2):89-115.
Isomorphisms of genetic algorithms.David L. Battle & Michael D. Vose - 1993 - Artificial Intelligence 60 (1):155-165.
Evaluating evolutionary algorithms.Darrell Whitley, Soraya Rana, John Dzubera & Keith E. Mathias - 1996 - Artificial Intelligence 85 (1-2):245-276.

Analytics

Added to PP
2020-12-22

Downloads
2 (#1,450,151)

6 months
1 (#1,912,481)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.
On program synthesis knowledge.Cordell Green & David Barstow - 1978 - Artificial Intelligence 10 (3):241-279.
Syntax-directed, semantics-supported program synthesis.Wolfgang Bibel - 1980 - Artificial Intelligence 14 (3):243-261.

Add more references