Výsledky vyhledávání - (automatic OR automation) 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

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

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

Autoři: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei a další

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

Témata: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

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

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

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

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

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

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Témata: 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

Autoři: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Témata: 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.

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

Témata: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

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

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).

Autoři: Porra, Jaana Hirschheim, Rudy Land, Frank a další

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

Témata: SYSTEMS development, BUSINESS informatics, INFORMATION storage & retrieval systems, NARRATION

The quantum monadology.

Autoři: Sati, Hisham Schreiber, Urs

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

Logic program proportions.

Autoři: Antić, Christian

Zdroj: 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.

Autoři: Wei-Chuan Wang

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

Témata: 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

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

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

Témata: I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis. General Terms Algorithms, Performance, Experimentation. Keywords Development, Pattern formation, Scalability

Popis souboru: application/pdf

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

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

Autoři: Jesse Craig Colin Rickert Ian Kavanagh a další

Přispěvatelé: Jesse Craig Colin Rickert Ian Kavanagh a další

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

Témata: 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

Popis souboru: 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

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

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

ABSTRACTS from other ACM Publications.

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

Témata: 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

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

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

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

Témata: Categories and Subject Descriptors 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.421.3767; http://www.cs.york.ac.uk/rts/docs/GECCO_2007/docs/p407.pdf

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