Search Results - (automatizacie OR automatically) programming—program synthesis general terms algorithms~

Refine Results
  1. 1

    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

    Authors: Arie Gurfinkel Marijn Heule

    Resource Type: eBook.

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

    PDF Full Text ePub Full Text
    Save to List
  2. 2

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

    Authors: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei et al.

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

    Subject Terms: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

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

    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 III

    Authors: Bernd Finkbeiner Laura Kovács

    Resource Type: eBook.

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

    PDF Full Text ePub Full Text
    Save to List
  4. 4

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

    The quantum monadology.

    Authors: Sati, Hisham Schreiber, Urs

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

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

    DEPS: a model- and property-based language for system synthesis problems.

    Authors: Yvars, Pierre-Alain Zimmer, Laurent

    Source: Software & Systems Modeling; Aug2024, Vol. 23 Issue 4, p973-1002, 30p

    Subject Terms: MODELING languages (Computer science), SYSTEMS design, CONSTRAINT programming, PROBLEM solving, STRUCTURAL models

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

    Behavioral Program Synthesis: Insights and Prospects.

    Authors: Krawiec, Krzysztof Swan, Jerry O'Reilly, Una-May

    Source: Genetic Programming Theory & Practice XIII; 2016, p169-183, 15p

    Save to List
  8. 8

    Hammer for Coq: Automation for Dependent Type Theory.

    Authors: Czajka, Łukasz Kaliszyk, Cezary

    Source: Journal of Automated Reasoning; Jun2018, Vol. 61 Issue 1-4, p423-453, 31p

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

    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.

    Authors: Wei-Chuan Wang

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

    Subject Terms: ANALYTIC hierarchy process, OPERATIONS research, LONG-term health care, ELDER care, SENIOR housing, LONG-term care insurance, HOUSING finance

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

    IDE augmented with human-learning inspired natural language programming.

    Authors: Young, Mitchell Nan, Zifan Shen, Xipeng

    Source: ICSE: International Conference on Software Engineering; 2022, p110-114, 5p

    Subject Terms: NATURAL language processing, SOURCE code, DATABASES, COMPUTER software, COMPUTER systems

    Save to List
  11. 11

    Effects of different feedback strategies on academic achievements, learning motivations, and self-efficacy for novice programmers.

    Authors: Fu, Qian Zheng, Yafeng Zhang, Mengyao et al.

    Source: Educational Technology Research & Development; Jun2023, Vol. 71 Issue 3, p1013-1032, 20p

    Subject Terms: ACADEMIC achievement, PSYCHOLOGICAL feedback, MOTIVATION (Psychology), EDUCATIONAL outcomes, LEARNING, COMPUTER science, ONLINE comments

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

    Vega Grupo de Evolución Artificial

    Authors: Leonardo Trujillo Gustavo Olague Evelyne Lutton et al.

    Contributors: Leonardo Trujillo Gustavo Olague Evelyne Lutton et al.

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

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

    File Description: application/pdf

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

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

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

    Graph structured program evolution with automatically defined nodes

    Authors: Shinichi Shirakawa Tomoharu Nagao The Pennsylvania State University CiteSeerX Archives

    Contributors: Shinichi Shirakawa Tomoharu Nagao The Pennsylvania State University CiteSeerX Archives

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

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

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

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

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

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

    Authors: James Alfred Walker The Pennsylvania State University CiteSeerX Archives

    Contributors: James Alfred Walker The Pennsylvania State University CiteSeerX Archives

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

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

    File Description: application/pdf

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

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

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

    ABSTRACTS from other ACM Publications.

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

    Subject Terms: DATA compression, CODING theory, DATABASE management, COMPUTER industry, COMPUTER programming

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

    Genetic Programming Track

    Authors: James Alfred Walker Julian Francis Miller The Pennsylvania State University CiteSeerX Archives

    Contributors: James Alfred Walker Julian Francis Miller The Pennsylvania State University CiteSeerX Archives

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

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

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

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

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

    Genetic Programming Track

    Authors: James Alfred Walker Julian Francis Miller Rachel Cavill et al.

    Contributors: James Alfred Walker Julian Francis Miller Rachel Cavill et al.

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

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

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

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

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

    Genetic Programming Track

    Authors: James Alfred Walker Julian Francis Miller Rachel Cavill et al.

    Contributors: James Alfred Walker Julian Francis Miller Rachel Cavill et al.

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

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

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

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

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

    AUTOMAT[R]IX: learning simple matrix pipelines.

    Authors: Contreras-Ochando, Lidia Ferri, Cèsar Hernández-Orallo, José

    Source: Machine Learning; Apr2021, Vol. 110 Issue 4, p779-799, 21p

    Subject Terms: ARTIFICIAL intelligence, MACHINE learning, MATRICES (Mathematics), DATA science

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

    Genetic Programming Track

    Authors: James Alfred Walker Julian Francis Miller Rachel Cavill et al.

    Contributors: James Alfred Walker Julian Francis Miller Rachel Cavill et al.

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

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

    File Description: application/pdf

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

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

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

Search Tools: