Suchergebnisse - (automatic OR automatizacie) programming— program synthesis general terms algorithms~

Treffer weiter einschränken
  1. 1

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

    Autoren: Saber, Takfarinas Tao, Ning

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

    Schlagwörter: SOFTWARE development tools, SEARCH algorithms, COMMUNITY-based programs, HEURISTIC programming, METAHEURISTIC algorithms

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

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

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

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

    Schlagwörter: HEURISTIC, LANGUAGE models, HEURISTIC algorithms, METAHEURISTIC algorithms, MATHEMATICAL optimization, HEURISTIC programming

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    Program synthesis algorithm based on context consistency heuristic.

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

    Quelle: 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
    Zu den Favoriten
  4. 4

    Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search.

    Autoren: DONGKWON LEE WOOSUK LEE HAKJOO OH et al.

    Quelle: ACM Transactions on Programming Languages & Systems; Sep2023, Vol. 45 Issue 3, p1-37, 37p

    Schlagwörter: COMPILERS (Computer programs), EXPERTISE

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  5. 5

    Solving the Schrödinger equation using program synthesis.

    Autoren: Habershon, Scott

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

    Schlagwörter: SCHRODINGER equation, POTENTIAL energy surfaces, MATHEMATICAL functions, ALGORITHMS, LINEAR codes, SIMULATED annealing

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  6. 6

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

    Autoren: Shaout, Adnan Ditty, Javid Carr, Kyle

    Quelle: 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
    Zu den Favoriten
  7. 7

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

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

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

    Schlagwörter: 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
    Zu den Favoriten
  8. 8

    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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  9. 9

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

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

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

    Schlagwörter: LANGUAGE models, ARTIFICIAL intelligence, CHATGPT, PROGRAMMING languages, GRAMMAR

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  10. 10

    A Systematic Literature Review of 10 years of Research on Program Synthesis and Natural Language Processing.

    Autoren: Ramírez-Rueda, Rolando Benítez-Guerrero, Edgard Mezura-Godoy, Carmen et al.

    Quelle: Programming & Computer Software; Dec2024, Vol. 50 Issue 8, p725-741, 17p

    Schlagwörter: LANGUAGE models, SOFTWARE requirements specifications, COMPUTER software development, NATURAL languages, RESEARCH institutes

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  11. 11

    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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  12. 12

    Learning programs with magic values.

    Autoren: Hocquette, Céline Cropper, Andrew

    Quelle: Machine Learning; May2023, Vol. 112 Issue 5, p1551-1595, 45p

    Schlagwörter: MAGIC, INDUCTION (Logic), LOGIC programming, DRUG design

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  13. 13

    Search-based program synthesis.

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

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

    Schlagwörter: 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
    Zu den Favoriten
  14. 14

    Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

    Autoren: Manuel V Hermenegildo Pedro Lopez-Garcia

    Resource Type: eBook.

    Schlagworte: Computer science, Compilers (Computer programs), Computer programming, Software engineering, Machine theory, Algorithms

    Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

    Zu den Favoriten
  15. 15

    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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  16. 16

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

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

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

    Schlagwörter: EMPIRICAL research, RESEARCH personnel

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  17. 17

    CTDip: a diversity-guided test program synthesis approach for boosting compiler bug detection.

    Autoren: Tang, Yixuan Zeng, Junwei Zhang, Jingxuan et al.

    Quelle: Empirical Software Engineering; Jun2025, Vol. 30 Issue 3, p1-33, 33p

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  18. 18

    TF-Coder: Program Synthesis for Tensor Manipulations.

    Autoren: SHI, KENSEN BIEBER, DAVID SINGH, RISHABH

    Quelle: ACM Transactions on Programming Languages & Systems; 2022, Vol. 44 Issue 2, p1-36, 36p

    Schlagwörter: DEEP learning, NATURAL languages

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  19. 19

    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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  20. 20

    Adaptive Ketogenic–Mediterranean Protocol (AKMP) in Real Clinical Practice: 14-Week Pre–Post Cohort Study on Glucolipid Markers and Safety.

    Autoren: García-Gorrita, Cayetano San Onofre, Nadia Merino-Torres, Juan F. et al.

    Quelle: Nutrients. Nov2025, Vol. 17 Issue 22, p3559. 37p.

    HTML Volltext PDF-Volltext
    Zu den Favoriten

Suchwerkzeuge: