Výsledky vyhledávání - (automatizacni OR automatic) programming— program synthesis general terms algorithms*

TREAD: A New Genetic Programming Representation Aimed at Research of Long Term Complexity Growth

Autoři: Tony E Lewis George D Magoulas The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Tony E Lewis George D Magoulas The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2008/docs/p1339.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Algorithms, Design, Experimentation Keywords Artificial Intelligence, Genetic Programming, Representations

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.820; http://www.cs.bham.ac.uk/~wbl/biblio/gecco2008/docs/p1339.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.820
http://www.cs.bham.ac.uk/~wbl/biblio/gecco2008/docs/p1339.pdf

MOGE: GP classification problem decomposition using multi-objective optimization

Autoři: Andrew Mcintyre Malcolm Heywood The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Andrew Mcintyre Malcolm Heywood The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.york.ac.uk/rts/docs/GECCO_2006/docs/p863.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis. General Terms Algorithms, Performance, Design, Experimentation. Keywords Genetic Programming, Multi-objective Classification

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.8631; http://www.cs.york.ac.uk/rts/docs/GECCO_2006/docs/p863.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.8631
http://www.cs.york.ac.uk/rts/docs/GECCO_2006/docs/p863.pdf

Towards Identifying Populations that Increase the Likelihood of

Autoři: Jason M. Daida The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Jason M. Daida The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1627.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis. General Terms Algorithms, Performance, Experimentation, Theory. Keywords Population dynamics, initial populations, binomial-3, GP problem difficulty

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.8098; http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1627.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.8098
http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1627.pdf

TREAD: A New Genetic Programming Representation Aimed at Research of Long Term Complexity Growth ABSTRACT

Autoři: Tony E Lewis The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Tony E Lewis The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.dcs.bbk.ac.uk/~gmagoulas/t12pap515-lewis.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Algorithms, Design, Experimentation Keywords Artificial Intelligence, Genetic Programming, Representations

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.218.4458

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.218.4458
http://www.dcs.bbk.ac.uk/~gmagoulas/t12pap515-lewis.pdf

An Investigation into Using Genetic Programming as a Means of Inducing Solutions to Novice Procedural Programming Problems

Autoři: Nelishia Pillay The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Nelishia Pillay The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1781.pdf.

Témata: I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis. General Terms, Algorithms, Experimentation, Theory. Keywords Genetic programming

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.152.7997; http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1781.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.152.7997
http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1781.pdf

Understanding Microarray Data through Applying Competent Program Evolution

Autoři: Moshe Looks Mauricio Mudado Cassio Pennachin a další

Přispěvatelé: Moshe Looks Mauricio Mudado Cassio Pennachin a další

Zdroj: http://www.metacog.org/papers/gecco07e.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming – Program synthesis General Terms Algorithms, Design, Experimentation Keywords Empirical Study, Heuristics, Optimization, Representations

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.7743; http://www.metacog.org/papers/gecco07e.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.7743
http://www.metacog.org/papers/gecco07e.pdf

Advanced Techniques for the Creation and Propagation of Modules in Cartesian Genetic Programming

Autoři: Paul Kaufmann Marco Platzner The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Paul Kaufmann Marco Platzner The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2008/docs/p1219.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program Synthesis General Terms Algorithms, Design, Experimentation, Performance Keywords Cartesian genetic programming (CGP, embedded cartesian

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.152.9345; http://www.cs.bham.ac.uk/~wbl/biblio/gecco2008/docs/p1219.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.152.9345
http://www.cs.bham.ac.uk/~wbl/biblio/gecco2008/docs/p1219.pdf

Genetic programming needs better benchmarks

Autoři: James Mcdermott David R. White Sean Luke a další

Přispěvatelé: James Mcdermott David R. White Sean Luke a další

Zdroj: http://www.dcs.gla.ac.uk/~whited/papers/genetic_programming_needs_better_benchmarks.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic programming— Program synthesis General Terms Algorithms, Experimentation, Measurement Keywords Genetic Programming, Benchmarks

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.369.7187; http://www.dcs.gla.ac.uk/~whited/papers/genetic_programming_needs_better_benchmarks.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.369.7187
http://www.dcs.gla.ac.uk/~whited/papers/genetic_programming_needs_better_benchmarks.pdf

A NOVEL PROGRAM SYNTHESIS APPROACH IN TEST DRIVEN SOFTWARE DEVELOPMENT.

Autoři: FERENCZ, Endre GOLDSCHMIDT, Balázs

Zdroj: Pollack Periodica; 2017, Vol. 12 Issue 2, p3-15, 13p

Témata: COMPUTER software development, JAVA programming language, SOURCE code, AUTOMATIC programming (Computer science), SOFTWARE verification

Genetic Programming Needs Better Benchmarks

Autoři: James Mcdermott David R. White Sean Luke a další

Přispěvatelé: James Mcdermott David R. White Sean Luke a další

Zdroj: http://www.cs.gmu.edu/~sean/papers/gecco12benchmarks.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic programming— Program synthesis General Terms Algorithms, Experimentation, Measurement Keywords Genetic Programming, Benchmarks

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.3642; http://www.cs.gmu.edu/~sean/papers/gecco12benchmarks.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.3642
http://www.cs.gmu.edu/~sean/papers/gecco12benchmarks.pdf

to the original GECCO publication and an earlier unnumbered corrective version. Genetic Programming Needs Better Benchmarks

Autoři: James Mcdermott David R. White Sean Luke a další

Přispěvatelé: James Mcdermott David R. White Sean Luke a další

Zdroj: http://cs.gmu.edu/~sean/papers/gecco12benchmarks3.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic programming— Program synthesis General Terms Algorithms, Experimentation, Measurement Keywords Genetic Programming, Benchmarks

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.7158; http://cs.gmu.edu/~sean/papers/gecco12benchmarks3.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.7158
http://cs.gmu.edu/~sean/papers/gecco12benchmarks3.pdf

Probing for Limits to Building Block Mixing with a Tunably-Difficult Problem for Genetic Programming

Autoři: Jason M. Daida Matthew J. Byom The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Jason M. Daida Matthew J. Byom The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1713.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis. General Terms Algorithms, Performance, Experimentation, Theory. Keywords Tunably-difficult problems, Highlander problem, building blocks, initial

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.6674; http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1713.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.6674
http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1713.pdf

Learning Programs from Traces Using Version Space Algebra

Autoři: Tessa Lau Pedro Domingos Daniel S. Weld a další

Přispěvatelé: Tessa Lau Pedro Domingos Daniel S. Weld a další

Zdroj: http://www.cs.washington.edu/homes/pedrod/papers/kcap03b.pdf.

Témata: Automatic programming—Program synthesis General Terms Algorithms, Experimentation, Human Factors

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.2438; http://www.cs.washington.edu/homes/pedrod/papers/kcap03b.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.2438
http://www.cs.washington.edu/homes/pedrod/papers/kcap03b.pdf

Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis.

Autoři: Ireland, Andrew Stark, Jamie

Zdroj: Automated Software Engineering; Jan2006, Vol. 13 Issue 1, p65-105, 40p, 4 Charts

Témata: STRUCTURED programming, HEURISTIC programming, COMPUTER programming, PROOF theory -- Data processing, PROGRAMMING languages, STRUCTURED techniques of electronic data processing, AUTOMATIC programming (Computer science)

Universidade Federal de

Autoři: Cassio L. Pennachin Minas Gerais Moshe Looks a další

Přispěvatelé: Cassio L. Pennachin Minas Gerais Moshe Looks a další

Zdroj: http://static.googleusercontent.com/external_content/untrusted_dlcp/research.google.com/en/us/pubs/archive/36294.pdf.

Témata: data. Track, Genetic Programming. Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis General Terms Algorithms, Design, Experimentation Keywords Symbolic regression

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.3201; http://static.googleusercontent.com/external_content/untrusted_dlcp/research.google.com/en/us/pubs/archive/36294.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.3201
http://static.googleusercontent.com/external_content/untrusted_dlcp/research.google.com/en/us/pubs/archive/36294.pdf

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Autoři: Manuel V Hermenegildo Pedro Lopez-Garcia

Resource Type: eBook.

Témata: Computer science, Compilers (Computer programs), Computer programming, Software engineering, Machine theory, Algorithms

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

Computer Aided Verification : 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Autoři: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

Témata: Artificial intelligence, Logic, Symbolic and mathematical, Electronic data processing, Computer simulation, Software engineering, Computer science, Computer logic, Algorithms, Digital computer simulation, Computer algorithms

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Simulation

Advanced Techniques for the Creation and Propagation of Modules

Autoři: Paul Kaufmann Marco Platzner The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Paul Kaufmann Marco Platzner The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.uni-paderborn.de/fileadmin/Informatik/AG-Platzner/publications/kaufmann08_gecco/gecco08kaufmann.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program Synthesis General Terms Algorithms, Design, Experimentation, Performance Keywords Cartesian genetic programming (CGP, embedded cartesian

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.545.6377

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.545.6377
http://www.cs.uni-paderborn.de/fileadmin/Informatik/AG-Platzner/publications/kaufmann08_gecco/gecco08kaufmann.pdf

Clustering Gene Expression Data via Mining Ensembles of Classification Rules Evolved Using MOSES

Autoři: Moshe Looks The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Moshe Looks The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.metacog.org/papers/gecco07d.pdf.

Témata: I.2.2 [Artificial Intelligence, Automatic Programming – Program synthesis General Terms Algorithms, Design, Experimentation

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.5197; http://www.metacog.org/papers/gecco07d.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.5197
http://www.metacog.org/papers/gecco07d.pdf

Meta-Optimizing Semantic Evolutionary Search Categories and Subject Descriptors I.2.2 [Artificial Intelligence]: Automatic Programming – Program synthesis General Terms

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.metacog.org/papers/gecco07c.pdf.

Témata: Algorithms, Design, Experimentation Keywords Empirical Study, Heuristics, Optimization

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.706; http://www.metacog.org/papers/gecco07c.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.706
http://www.metacog.org/papers/gecco07c.pdf