Search Results - (automatic OR automation) programming—program synthesis general terms algorithms
-
1
Authors:
Contributors:
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
-
2
Authors:
Contributors:
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
-
3
Authors: 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)
-
4
Authors:
Contributors:
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
-
5
Authors:
Contributors:
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
-
6
Authors: et al.
Contributors: et al.
Subject Terms: Automatic programming—Program synthesis General Terms Algorithms, Experimentation, Human Factors
File Description: 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
-
7
Authors:
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 -
8
Authors:
Source: Software & Systems Modeling; Aug2024, Vol. 23 Issue 4, p973-1002, 30p
-
9
Source: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p
Subject Terms: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory
-
10
Authors:
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 -
11
Authors:
Contributors:
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
-
12
Authors: et al.
Source: Journal of Information Technology (Sage Publications Inc.); Dec2025, Vol. 40 Issue 4, p441-469, 29p
-
13
Authors:
Source: Quantum Studies: Mathematics & Foundations; Oct2025, Vol. 12 Issue 3, p1-148, 148p
-
14
Authors: Antić, Christian
Source: Annals of Mathematics & Artificial Intelligence; Apr2025, Vol. 93 Issue 2, p321-342, 22p
-
15
Authors:
Source: Journal of Automated Reasoning; Jun2018, Vol. 61 Issue 1-4, p423-453, 31p
-
16
Authors: Wei-Chuan Wang
Source: Journal of Accounting, Finance & Management Strategy; Jun2023, Vol. 18 Issue 1, p71-118, 48p
-
17
Authors: et al.
Source: Applied Sciences (2076-3417); Oct2024, Vol. 14 Issue 19, p8656, 19p
Subject Terms: BORED piles, GREEDY algorithms, EDGE computing, POWER transmission, ENERGY consumption, DEEP learning
-
18
Source: Communications of the ACM; Jul1982, Vol. 25 Issue 7, p487-492, 6p
Subject Terms: SEQUENTIAL machine theory, REDUCED instruction set computers, MICROELECTRONICS, INTEGRATED circuits
Reviews & Products: COMMUNICATIONS of the ACM (Periodical)
-
19
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
-
20
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis. General Terms Algorithms, Performance, Experimentation. Keywords Development, Pattern formation, Scalability
File Description: application/pdf
Nájsť tento článok vo Web of Science 
Full Text Finder