Suchergebnisse - ((automatic OR automatizace) OR automaticky) programming—program synthesis general terms algorithms

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

Autoren: Tony E Lewis George D Magoulas The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Tony E Lewis George D Magoulas The Pennsylvania State University CiteSeerX Archives

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

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

Dateibeschreibung: 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

Verfügbarkeit: 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

Advanced Techniques for the Creation and Propagation of Modules

Autoren: Paul Kaufmann Marco Platzner The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Paul Kaufmann Marco Platzner The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

Autoren: Andrew Mcintyre Malcolm Heywood The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Andrew Mcintyre Malcolm Heywood The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: 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

Dateibeschreibung: 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

Verfügbarkeit: 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

Autoren: Jason M. Daida The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Jason M. Daida The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: 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

Dateibeschreibung: 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

Verfügbarkeit: 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

Learning Programs from Traces Using Version Space Algebra

Autoren: Tessa Lau Pedro Domingos Daniel S. Weld et al.

Weitere Verfasser: Tessa Lau Pedro Domingos Daniel S. Weld et al.

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

Schlagwörter: Automatic programming—Program synthesis General Terms Algorithms, Experimentation, Human Factors

Dateibeschreibung: 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

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

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Autoren: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Schlagworte: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autoren: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Schlagworte: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms.

Autoren: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei et al.

Quelle: ACM Transactions on Programming Languages & Systems; Jun2024, Vol. 46 Issue 2, p1-59, 59p

Schlagwörter: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

Logic program proportions.

Autoren: Antić, Christian

Quelle: Annals of Mathematics & Artificial Intelligence; Apr2025, Vol. 93 Issue 2, p321-342, 22p

DEPS: a model- and property-based language for system synthesis problems.

Autoren: Yvars, Pierre-Alain Zimmer, Laurent

Quelle: Software & Systems Modeling; Aug2024, Vol. 23 Issue 4, p973-1002, 30p

Schlagwörter: MODELING languages (Computer science), SYSTEMS design, CONSTRAINT programming, PROBLEM solving, STRUCTURAL models

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

Autoren: Tony E Lewis The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Tony E Lewis The Pennsylvania State University CiteSeerX Archives

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

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

Dateibeschreibung: application/pdf

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

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

Genetic Program Feature Selection for Epistatic Problems using a GA+ANN Hybrid Approach

Autoren: Jesse Craig Colin Rickert Ian Kavanagh et al.

Weitere Verfasser: Jesse Craig Colin Rickert Ian Kavanagh et al.

Quelle: http://pdf.aminer.org/000/225/956/improving_gp_classifier_generalization_using_a_cluster_separation_metric.pdf.

Schlagwörter: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis. General Terms Algorithms, Performance. Keywords Genetic programming, genetic algorithms, artificial neural networks, classification, feature selection, epistatic problems, problem

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.460.1644; http://pdf.aminer.org/000/225/956/improving_gp_classifier_generalization_using_a_cluster_separation_metric.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.460.1644
http://pdf.aminer.org/000/225/956/improving_gp_classifier_generalization_using_a_cluster_separation_metric.pdf

Bias and Scalability in Evolutionary Development

Weitere Verfasser: The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cs.ucl.ac.uk/staff/t.gordon/f466-gordon.pdf.

Schlagwörter: I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis. General Terms Algorithms, Performance, Experimentation. Keywords Development, Pattern formation, Scalability

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.7971
http://www.cs.ucl.ac.uk/staff/t.gordon/f466-gordon.pdf

ABSTRACTS from other ACM Publications.

Quelle: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p

Schlagwörter: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

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

Autoren: Moshe Looks The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Moshe Looks The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cs.york.ac.uk/rts/docs/GECCO_2007/docs/p407.pdf.

Schlagwörter: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming – Program synthesis General Terms Algorithms, Design, Experimentation

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.421.3767
http://www.cs.york.ac.uk/rts/docs/GECCO_2007/docs/p407.pdf

Vega Grupo de Evolución Artificial

Autoren: Leonardo Trujillo Gustavo Olague Evelyne Lutton et al.

Weitere Verfasser: Leonardo Trujillo Gustavo Olague Evelyne Lutton et al.

Quelle: http://evelyne.lutton.free.fr/Papers/TrujilloLeonardo_OlagueGustavo_LuttonEvelyne_FernandezFrancisco_01-07-2008_t12pap522-trujillo.pdf.

Schlagwörter: Categories and Subject Descriptors I.4.7 [Image Processing and Computer Vision, Feature Mea- surement—feature representation, invariants, I.2.2 [Artificial In- telligence, Automatic Programming—program synthesis General Terms Algorithms, Experimentation, Performance, Theory. Keywords Multiobjective optimization, Interest point detection

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.658.9193
http://evelyne.lutton.free.fr/Papers/TrujilloLeonardo_OlagueGustavo_LuttonEvelyne_FernandezFrancisco_01-07-2008_t12pap522-trujillo.pdf

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

Autoren: Jason M. Daida Matthew J. Byom The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Jason M. Daida Matthew J. Byom The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: 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

Dateibeschreibung: 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

Verfügbarkeit: 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

Genetic programming needs better benchmarks

Autoren: James Mcdermott David R. White Sean Luke et al.

Weitere Verfasser: James Mcdermott David R. White Sean Luke et al.

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

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

Dateibeschreibung: 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

Verfügbarkeit: 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

Universidade Federal de

Autoren: Cassio L. Pennachin Minas Gerais Moshe Looks et al.

Weitere Verfasser: Cassio L. Pennachin Minas Gerais Moshe Looks et al.

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

Schlagwörter: 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

Dateibeschreibung: 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

Verfügbarkeit: 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

Genetic Programming Needs Better Benchmarks

Autoren: James Mcdermott David R. White Sean Luke et al.

Weitere Verfasser: James Mcdermott David R. White Sean Luke et al.

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

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

Dateibeschreibung: 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

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