Výsledky vyhľadávania - ((automatic OR automatizace) OR automation) programming—program synthesis general terms algorithms
-
1
Autori:
Typ zdroja: eBook.
Predmet: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses
Kategórie: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation
Plný text ve formátu PDF Plný text vo formáte ePub -
2
Autori:
Prispievatelia:
Predmety: 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 súboru: 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
-
3
Autori: a ďalší
Zdroj: ACM Transactions on Programming Languages & Systems; Jun2024, Vol. 46 Issue 2, p1-59, 59p
-
4
Autori:
Prispievatelia:
Predmety: 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 súboru: application/pdf
-
5
Autori:
Prispievatelia:
Predmety: 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 súboru: 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
-
6
Autori:
Prispievatelia:
Predmety: 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 súboru: 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
-
7
Autori:
Zdroj: Software & Systems Modeling; Aug2024, Vol. 23 Issue 4, p973-1002, 30p
-
8
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Automatic programming—Program synthesis General Terms Algorithms, Experimentation, Human Factors
Popis súboru: 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
-
9
Autori:
Typ zdroja: eBook.
Predmet: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses
Kategórie: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation
Plný text ve formátu PDF Plný text vo formáte ePub -
10
Autori: a ďalší
Zdroj: Journal of Information Technology (Sage Publications Inc.); Dec2025, Vol. 40 Issue 4, p441-469, 29p
-
11
Autori:
Zdroj: Quantum Studies: Mathematics & Foundations; Oct2025, Vol. 12 Issue 3, p1-148, 148p
-
12
Autori: Antić, Christian
Zdroj: Annals of Mathematics & Artificial Intelligence; Apr2025, Vol. 93 Issue 2, p321-342, 22p
-
13
Zdroj: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p
Predmety: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory
-
14
Autori: a ďalší
Zdroj: Applied Sciences (2076-3417); Oct2024, Vol. 14 Issue 19, p8656, 19p
-
15
Autori: Wei-Chuan Wang
Zdroj: Journal of Accounting, Finance & Management Strategy; Jun2023, Vol. 18 Issue 1, p71-118, 48p
-
16
Autori:
Zdroj: Journal of Automated Reasoning; Jun2018, Vol. 61 Issue 1-4, p423-453, 31p
-
17
Autori:
Prispievatelia:
Predmety: 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 súboru: application/pdf
-
18
Zdroj: Communications of the ACM; Jul1982, Vol. 25 Issue 7, p487-492, 6p
Predmety: SEQUENTIAL machine theory, REDUCED instruction set computers, MICROELECTRONICS, INTEGRATED circuits
Reviews & Products: COMMUNICATIONS of the ACM (Periodical)
-
19
Zdroj: Communications of the ACM; Oct82, Vol. 25 Issue 10, p748-753, 6p
-
20
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: 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
Nájsť tento článok vo Web of Science
Full Text Finder