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

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

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

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

The quantum monadology.

Autoři: Sati, Hisham Schreiber, Urs

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

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)

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

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

Vega Grupo de Evolución Artificial

Autoři: Leonardo Trujillo Gustavo Olague Evelyne Lutton a další

Přispěvatelé: Leonardo Trujillo Gustavo Olague Evelyne Lutton a další

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

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

Popis souboru: application/pdf

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

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

Graph structured program evolution with automatically defined nodes

Autoři: Shinichi Shirakawa Tomoharu Nagao The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Shinichi Shirakawa Tomoharu Nagao The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.nlab.sogo1.ynu.ac.jp/~shirakawa/paper/gecco09_shirakawa.pdf.

Témata: I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods, and Search General Terms Algorithms, Experimentation, Performance Keywords Automatic Programming, Genetic Programming, Automati- cally Defined Function, Graph-based Genetic Programming, Graph Structured Program Evolution, Evolutionary Algo- rithm, Genetic Algorithm, Recursive Program

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.595.3601; http://www.nlab.sogo1.ynu.ac.jp/~shirakawa/paper/gecco09_shirakawa.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.595.3601
http://www.nlab.sogo1.ynu.ac.jp/~shirakawa/paper/gecco09_shirakawa.pdf

Embedded cartesian genetic programming and the lawnmower and hierarchical-if-and-only-if problems

Autoři: James Alfred Walker The Pennsylvania State University CiteSeerX Archives

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

Zdroj: http://www.elec.york.ac.uk/intsys/users/jfm7/gecco2006-walker-miller.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods and Search General Terms Algorithms, Design, Performance Keywords Cartesian Genetic Programming, Embedded Cartesian Genetic Programming, Module Acquisition, Automatically Defined Functions, Evolution, Lawnmower problem, Hierarchical-if-and-only-if

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.7841
http://www.elec.york.ac.uk/intsys/users/jfm7/gecco2006-walker-miller.pdf

Genetic Programming Track

Autoři: James Alfred Walker Julian Francis Miller The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: James Alfred Walker Julian Francis Miller The Pennsylvania State University CiteSeerX Archives

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

Témata: I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods and Search General Terms Algorithms, Design, Performance Keywords Cartesian Genetic Programming, Embedded Cartesian Genetic Programming, Module Acquisition, Automatically Defined Functions, Evolution, Lawnmower problem, Hierarchical-if-and-only-if

Popis souboru: application/pdf

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

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

Genetic Programming Track

Autoři: James Alfred Walker Julian Francis Miller Rachel Cavill a další

Přispěvatelé: James Alfred Walker Julian Francis Miller Rachel Cavill a další

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

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods and Search General Terms Algorithms, Design, Performance Keywords Cartesian Genetic Programming, Embedded Cartesian Genetic Programming, Multi-chromosome, Multi-chromosome Evolutionary Strategy, Module Acquisition, Automatically Defined Functions, Evolution, Digital Circuits

Popis souboru: application/pdf

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

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

Genetic Programming Track

Autoři: James Alfred Walker Julian Francis Miller Rachel Cavill a další

Přispěvatelé: James Alfred Walker Julian Francis Miller Rachel Cavill a další

Zdroj: http://www.cartesiangp.co.uk/papers/2006/wmcgecco2006.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods and Search General Terms Algorithms, Design, Performance Keywords Cartesian Genetic Programming, Embedded Cartesian Genetic Programming, Multi-chromosome, Multi-chromosome Evolutionary Strategy, Module Acquisition, Automatically Defined Functions, Evolution, Digital Circuits

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.4193; http://www.cartesiangp.co.uk/papers/2006/wmcgecco2006.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.4193
http://www.cartesiangp.co.uk/papers/2006/wmcgecco2006.pdf

Genetic Programming Track

Autoři: James Alfred Walker Julian Francis Miller Rachel Cavill a další

Přispěvatelé: James Alfred Walker Julian Francis Miller Rachel Cavill a další

Zdroj: http://www.elec.york.ac.uk/intsys/users/jfm7/gecco2006-walker-miller-cavill.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods and Search General Terms Algorithms, Design, Performance Keywords Cartesian Genetic Programming, Embedded Cartesian Genetic Programming, Multi-chromosome, Multi-chromosome Evolutionary Strategy, Module Acquisition, Automatically Defined Functions, Evolution, Digital Circuits

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.1949
http://www.elec.york.ac.uk/intsys/users/jfm7/gecco2006-walker-miller-cavill.pdf

Tag-based Modularity in Tree-based Genetic Programming

Autoři: Lee Spector Kyle Harrington Thomas Helmuth a další

Přispěvatelé: Lee Spector Kyle Harrington Thomas Helmuth a další

Zdroj: http://demo.cs.brandeis.edu/papers/spector2012tags.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis, D.3.3 [Programming Languages, Lan- guage Constructs and Features—Procedures, functions, and subroutines General Terms Algorithms Keywords Genetic programming, modularity, tags, automatically de- fined functions

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.593.2326; http://demo.cs.brandeis.edu/papers/spector2012tags.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.593.2326
http://demo.cs.brandeis.edu/papers/spector2012tags.pdf

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Oct82, Vol. 25 Issue 10, p748-753, 6p

Témata: DATA compression, CODING theory, DATABASE management, COMPUTER industry, COMPUTER programming

Generalization Performance of Vision Based Controllers for Mobile Robots Evolved with Genetic Programming

Autoři: Renaud Barate Antoine Manzanera The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Renaud Barate Antoine Manzanera The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.ensta.fr/~manzaner/Publis/gecco08.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis, I.4.8 [Image Processing and Computer Vision, Scene Analysis—depth cues General Terms Algorithms Keywords Vision, obstacle avoidance, robotic simulation, generalization

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.2460; http://www.ensta.fr/~manzaner/Publis/gecco08.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.2460
http://www.ensta.fr/~manzaner/Publis/gecco08.pdf

The Impact of Code Bloat on Genetic Program Comprehension: Replication of a Controlled Experiment on Semantic Inference.

Autoři: Kosar, Tomaž Kovačević, Željko Mernik, Marjan a další

Zdroj: Mathematics (2227-7390); Sep2023, Vol. 11 Issue 17, p3744, 20p

Témata: GENETIC code, UNDERGRADUATES, GRAMMAR

Evolutionary Algorithm Considering Program Size: Efficient Program Evolution using GRAPE

Autoři: Shinichi Shirakawa Tomoharu Nagao The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Shinichi Shirakawa Tomoharu Nagao The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.nlab.sogo1.ynu.ac.jp/~shirakawa/paper/gecco08_shirakawa.pdf.

Témata: I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods, and Search General Terms Algorithms, Experimentation, Performance Keywords Automatic Programming, Genetic Programming, Genera- tion Alternation Model, Graph-based Genetic Programming, Evolutionary Algorithm, Genetic Algorithm

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.566.3207; http://www.nlab.sogo1.ynu.ac.jp/~shirakawa/paper/gecco08_shirakawa.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.566.3207
http://www.nlab.sogo1.ynu.ac.jp/~shirakawa/paper/gecco08_shirakawa.pdf

Preventing Overfitting in GP with Canary Functions

Autoři: Nate Foreman Matthew Evett The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Nate Foreman Matthew Evett The Pennsylvania State University CiteSeerX Archives

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

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis, I.2.6 [Artificial Intelligence, Learning – induction, parameter learning. General Terms, Algorithms, Experimentation, Performance. Keywords, Genetic Programming, Overfitting. 1. CANARY FUNCTIONS

Popis souboru: application/pdf

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

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