Search Results - (automatic OR automatizacni) programming— program synthesis general terms algorithms~

Refine Results
  1. 1

    A Memetic and Reflective Evolution Framework for Automatic Heuristic Design Using Large Language Models.

    Authors: Qi, Fubo Wang, Tianyu Zheng, Ruixiang et al.

    Source: Applied Sciences (2076-3417); Aug2025, Vol. 15 Issue 15, p8735, 26p

    Subject Terms: HEURISTIC, LANGUAGE models, HEURISTIC algorithms, METAHEURISTIC algorithms, MATHEMATICAL optimization, HEURISTIC programming

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  2. 2

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

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

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

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

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

    File Description: 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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  3. 3

    Review and Mapping of Search-Based Approaches for Program Synthesis.

    Authors: Saber, Takfarinas Tao, Ning

    Source: Information; May2025, Vol. 16 Issue 5, p401, 28p

    Subject Terms: SOFTWARE development tools, SEARCH algorithms, COMMUNITY-based programs, HEURISTIC programming, METAHEURISTIC algorithms

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  4. 4

    AnnCoder: A Mti-Agent-Based Code Generation and Optimization Model.

    Authors: Zhang, Zhenhua Wang, Jianfeng Li, Zhengyang et al.

    Source: Symmetry (20738994); Jul2025, Vol. 17 Issue 7, p1087, 25p

    Subject Terms: LANGUAGE models, ADAPTIVE control systems, MULTIAGENT systems, PROGRAMMING languages, TEMPERATURE control, SIMULATED annealing

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  5. 5

    Enhancing Program Synthesis with Large Language Models Using Many-Objective Grammar-Guided Genetic Programming.

    Authors: Tao, Ning Ventresque, Anthony Nallur, Vivek et al.

    Source: Algorithms; Jul2024, Vol. 17 Issue 7, p287, 20p

    Subject Terms: LANGUAGE models, ARTIFICIAL intelligence, CHATGPT, PROGRAMMING languages, GRAMMAR

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  6. 6

    Program synthesis algorithm based on context consistency heuristic.

    Authors: Dou, Quansheng Pan, Hao Tang, Huanling et al.

    Source: International Journal of Machine Learning & Cybernetics; Feb2024, Vol. 15 Issue 2, p559-571, 13p

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  7. 7

    MOGE: GP classification problem decomposition using multi-objective optimization

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

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

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

    Subject Terms: 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

    File Description: 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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  8. 8

    Towards Identifying Populations that Increase the Likelihood of

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

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

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

    Subject Terms: 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

    File Description: 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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  9. 9

    Search-based program synthesis.

    Authors: Alur, Rajeev Singh, Rishabh Fisman, Dana et al.

    Source: Communications of the ACM; Dec2018, Vol. 61 Issue 12, p84-93, 10p, 1 Illustration

    Subject Terms: COMPUTER programming, COMPUTER input-output equipment, ELECTRONIC information resource searching, INFORMATION retrieval, SEARCH engines, SEARCH algorithms, INPUT-output analysis

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  10. 10

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

    Authors: Correia, Alexandre R. S. Iyoda, Juliano M. Mota, Alexandre C.

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

    Subject Terms: EMPIRICAL research, RESEARCH personnel

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  11. 11

    Solving the Schrödinger equation using program synthesis.

    Authors: Habershon, Scott

    Source: Journal of Chemical Physics; 10/21/2021, Vol. 155 Issue 15, p1-16, 16p

    Subject Terms: SCHRODINGER equation, POTENTIAL energy surfaces, MATHEMATICAL functions, ALGORITHMS, LINEAR codes, SIMULATED annealing

    Nájsť tento článok vo Web of Science
    Save to List
  12. 12

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

    Authors: Tony E Lewis The Pennsylvania State University CiteSeerX Archives

    Contributors: Tony E Lewis The Pennsylvania State University CiteSeerX Archives

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

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

    File Description: application/pdf

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  13. 13

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

    Authors: Correia, Alexandre R. S. Iyoda, Juliano M. Mota, Alexandre C.

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

    Subject Terms: INTEGERS, GENETIC algorithms, EMPIRICAL research, ONE-way analysis of variance, GENETIC models, LOSSLESS data compression

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  14. 14

    The Role of Interactive Program Synthesis in the Future of Software Development.

    Authors: Shaout, Adnan Ditty, Javid Carr, Kyle

    Source: Cureus Journal of Computer Science; Jul2025, Vol. 2 Issue 1, p1-27, 27p

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  15. 15

    MP: motion program synthesis with machine learning interpretability and knowledge graph analogy.

    Authors: Cai, Cheng-Hao

    Source: Automated Software Engineering; Jun2025, Vol. 32 Issue 1, p1-40, 40p

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  16. 16

    A NOVEL PROGRAM SYNTHESIS APPROACH IN TEST DRIVEN SOFTWARE DEVELOPMENT.

    Authors: FERENCZ, Endre GOLDSCHMIDT, Balázs

    Source: Pollack Periodica; 2017, Vol. 12 Issue 2, p3-15, 13p

    Subject Terms: COMPUTER software development, JAVA programming language, SOURCE code, AUTOMATIC programming (Computer science), SOFTWARE verification

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  17. 17

    Counterexample-Driven Genetic Programming: Heuristic Program Synthesis from Formal Specifications.

    Authors: Błądek, Iwo Krawiec, Krzysztof Swan, Jerry

    Source: Evolutionary Computation; Fall2018, Vol. 26 Issue 3, p441-469, 29p

    Subject Terms: GENETIC programming, HEURISTIC programming, MATHEMATICAL programming, COMBINATORIAL optimization, MULTIPLE criteria decision making, EVOLUTIONARY algorithms

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  18. 18

    Understanding Microarray Data through Applying Competent Program Evolution

    Authors: Moshe Looks Mauricio Mudado Cassio Pennachin et al.

    Contributors: Moshe Looks Mauricio Mudado Cassio Pennachin et al.

    Source: http://www.metacog.org/papers/gecco07e.pdf.

    Subject Terms: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming – Program synthesis General Terms Algorithms, Design, Experimentation Keywords Empirical Study, Heuristics, Optimization, Representations

    File Description: application/pdf

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

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.7743
    http://www.metacog.org/papers/gecco07e.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  19. 19

    Advanced Techniques for the Creation and Propagation of Modules in Cartesian Genetic Programming

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

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

    Source: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2008/docs/p1219.pdf.

    Subject Terms: 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

    File Description: application/pdf

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

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.152.9345
    http://www.cs.bham.ac.uk/~wbl/biblio/gecco2008/docs/p1219.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  20. 20

    History-driven test program synthesis for JVM testing.

    Authors: Zhao, Yingquan Wang, Zan Chen, Junjie et al.

    Source: ICSE: International Conference on Software Engineering; 2022, p1133-1144, 12p

    Subject Terms: JAVA programming language, ROBUST statistics, SEMANTICS, COMPILERS (Computer programs), COMPUTER software

    Save to List

Search Tools: