Suchergebnisse - ((automationky OR automation) OR automatic) 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

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)

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

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

Weitere Verfasser: The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: Algorithms, Design, Experimentation Keywords Empirical Study, Heuristics, Optimization

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.706
http://www.metacog.org/papers/gecco07c.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 : 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

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

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

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

Seventy years of information systems development methodologies from early business computing to the Agile era: A two-part history. Part 1: From Pre to Early ISD methodology era: The emergence of ISD methodologies and their golden era (1880–1980).

Autoren: Porra, Jaana Hirschheim, Rudy Land, Frank et al.

Quelle: Journal of Information Technology (Sage Publications Inc.); Dec2025, Vol. 40 Issue 4, p441-469, 29p

Schlagwörter: SYSTEMS development, BUSINESS informatics, INFORMATION storage & retrieval systems, NARRATION

The quantum monadology.

Autoren: Sati, Hisham Schreiber, Urs

Quelle: Quantum Studies: Mathematics & Foundations; Oct2025, Vol. 12 Issue 3, p1-148, 148p

Logic program proportions.

Autoren: Antić, Christian

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

Constructing a AI ERP diamond model for the optimal allocation of long-term care center resources - applying a fuzzy analytic hierarchy process for operations research.

Autoren: Wei-Chuan Wang

Quelle: Journal of Accounting, Finance & Management Strategy; Jun2023, Vol. 18 Issue 1, p71-118, 48p

Schlagwörter: ANALYTIC hierarchy process, OPERATIONS research, LONG-term health care, ELDER care, SENIOR housing, LONG-term care insurance, HOUSING finance

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

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

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

Autoren: Nelishia Pillay The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Nelishia Pillay The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis. General Terms, Algorithms, Experimentation, Theory. Keywords Genetic programming

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

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

ABSTRACTS from other ACM Publications.

Quelle: Communications of the ACM; Jul1982, Vol. 25 Issue 7, p487-492, 6p

Schlagwörter: SEQUENTIAL machine theory, REDUCED instruction set computers, MICROELECTRONICS, INTEGRATED circuits

Reviews & Products: COMMUNICATIONS of the ACM (Periodical)

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