Výsledky vyhledávání - Automatic Programming— Program synthesis General Terms Experimentation

The reliability of confidence intervals for computational effort comparisons

Autoři: Matthew Walker Howard Edwards Chris Messom a další

Přispěvatelé: Matthew Walker Howard Edwards Chris Messom a další

Zdroj: http://www.massey.ac.nz/~chmessom/Gecco2007paper2.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis General Terms Experimentation, Measurement, Performance Keywords Genetic Programming, Computational Effort, Confidence Intervals, Wilson’s Method

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.4706; http://www.massey.ac.nz/~chmessom/Gecco2007paper2.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.4706
http://www.massey.ac.nz/~chmessom/Gecco2007paper2.pdf

Jungloid Mining: Helping to Navigate the API Jungle

Autoři: David Mandelin Lin Xu Rastislav Bodík a další

Přispěvatelé: David Mandelin Lin Xu Rastislav Bodík a další

Zdroj: http://www.cs.berkeley.edu/%7Emandelin/ProspectorPLDI05.pdf.

Témata: D.2.13 [Software Engineering, Reusable Software–Reuse Models, I.2.2 [Artificial Intelligence, Automatic Programming– Program synthesis General Terms Experimentation, Languages Keywords reuse, program synthesis, mining

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.4415; http://www.cs.berkeley.edu/%7Emandelin/ProspectorPLDI05.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.4415
http://www.cs.berkeley.edu/%7Emandelin/ProspectorPLDI05.pdf

Dynamical Sphere Regrouping Particle Swarm Optimization Programming: An Automatic Programming Algorithm Avoiding Premature Convergence.

Autoři: Montes Rivera, Martín Guerrero-Mendez, Carlos Lopez-Betancur, Daniela a další

Zdroj: Mathematics (2227-7390); Oct2024, Vol. 12 Issue 19, p3021, 53p

Témata: MACHINE learning, GENETIC programming, MATHEMATICAL mappings, MATHEMATICAL models, ALGORITHMS

The effect of distance metrics in a general purpose synthesizer of imperative programs: A second empirical study using enlarged search spaces.

Autoři: Correia, Alexandre R. S. Iyoda, Juliano M. Mota, Alexandre C.

Zdroj: Software: Practice & Experience; Mar2024, Vol. 54 Issue 3, p528-540, 13p

Témata: EMPIRICAL research, RESEARCH personnel

Partial bounding for recursive function synthesis.

Autoři: Farzan, Azadeh Nicolet, Victor

Zdroj: Formal Methods in System Design; Oct2024, Vol. 63 Issue 1-3, p172-205, 34p

Témata: COMPUTABLE functions, RECURSIVE functions, SKELETON

The effect of distance metrics in a general purpose synthesizer: An empirical study on integer domain imperative programs.

Autoři: Correia, Alexandre R. S. Iyoda, Juliano M. Mota, Alexandre C.

Zdroj: Software: Practice & Experience; May2022, Vol. 52 Issue 5, p1294-1304, 11p

Témata: INTEGERS, GENETIC algorithms, EMPIRICAL research, ONE-way analysis of variance, GENETIC models, LOSSLESS data compression

Abstract Jungloid Mining: Helping to Navigate the API Jungle ∗

Autoři: David Mandelin Lin Xu Rastislav Bodík a další

Přispěvatelé: David Mandelin Lin Xu Rastislav Bodík a další

Zdroj: http://www.cs.berkeley.edu/~bodik/research/pldi05-prospector.pdf.

Témata: D.2.13 [Software Engineering, Reusable Software–Reuse Models, I.2.2 [Artificial Intelligence, Automatic Programming– Program synthesis General Terms Experimentation, Languages Keywords reuse, program synthesis, mining

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.783
http://www.cs.berkeley.edu/~bodik/research/pldi05-prospector.pdf

An abstraction-based genetic programming system

Autoři: Franck Binard Amy Felty The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Franck Binard Amy Felty The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.york.ac.uk/rts/docs/GECCO_2007/docs/p2415.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—lambda calculus and related systems General Terms Experimentation, Languages, Theory Keywords genetic programming

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.329.2080; http://www.cs.york.ac.uk/rts/docs/GECCO_2007/docs/p2415.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.329.2080
http://www.cs.york.ac.uk/rts/docs/GECCO_2007/docs/p2415.pdf

Neutrality and Variability: Two Sides of Evolvability in Linear Genetic Programming ABSTRACT

Autoři: Ting Hu Wolfgang Banzhaf The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Ting Hu Wolfgang Banzhaf The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.mun.ca/~banzhaf/papers/gecco09-1.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming, Program Synthesis General Terms Experimentation, Measurement, Performance Keywords Evolvability, Rate of Evolution, Neutrality, Variability

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.9124
http://www.cs.mun.ca/~banzhaf/papers/gecco09-1.pdf

Alternative Evolutionary Algorithms for Evolving Programs: Evolution Strategies and Steady State GP ABSTRACT

Autoři: Darrell Whitley Marc Richards Ross Beveridge a další

Přispěvatelé: Darrell Whitley Marc Richards Ross Beveridge a další

Zdroj: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2006/docs/p919.pdf.

Témata: I.2.2 [Automatic Programming, Program Synthesis] General Terms Experimentation, Performance Keywords Genetic Programming, Steady-State Genetic Algorithms, Evolution Strategies

Popis souboru: application/pdf

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

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

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

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

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

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

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

Evolving a digital multiplier with the pushgp genetic programming system,” in GECCO ’13 Companion: Proceeding of the fifteenth annual conference companion on Genetic and evolutionary computation conference companion

Autoři: Thomas Helmuth Lee Spector The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Thomas Helmuth Lee Spector The Pennsylvania State University CiteSeerX Archives

Zdroj: http://faculty.hampshire.edu/lspector/pubs/W1501-helmuth-with-erratum.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis General Terms

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.4243
http://faculty.hampshire.edu/lspector/pubs/W1501-helmuth-with-erratum.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

J-Orchestra: Enhancing Java Programs with Distribution Capabilities

Autoři: Eli Tilevich The Pennsylvania State University CiteSeerX Archives

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

Zdroj: http://www.cs.vt.edu/~tilevich/papers/jorchestra.pdf.

Témata: Categories and Subject Descriptors, D.2.3 [Software Engineering, Coding Tools and Techniques—Object-oriented programming, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement—Enhancement, D.1.2 [Programming Techniques, Automatic Programming—Program transformation, Automatic Programming—Program synthesis General Terms, Experimentation, Languages Additional Key Words and Phrases, Separation of concerns, Distributed Computing, Java, Middleware, RMI, Bytecode engineering

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.4166; http://www.cs.vt.edu/~tilevich/papers/jorchestra.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.4166
http://www.cs.vt.edu/~tilevich/papers/jorchestra.pdf

Visualizing Quantum Circuit Probability: Estimating Quantum State Complexity for Quantum Program Synthesis.

Autoři: Bach, Bao Gia Kundu, Akash Acharya, Tamal a další

Zdroj: Entropy; May2023, Vol. 25 Issue 5, p763, 20p

Témata: QUANTUM states, ARTIFICIAL intelligence, MACHINE learning, QUANTUM logic, CIRCUIT complexity, QUANTUM gates, COMBINATIONAL circuits, LOGIC circuits