Search Results - Automatic Programming— program synthesis General Terms Design*
-
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: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Design, Performance, Reliability Keywords Bin-Packing, Genetic Programming, Hyper-Heuristics, Heuristics
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.4958; http://www.cs.nott.ac.uk/~mvh/gecco2007.pdf
-
3
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Design, Performance, Reliability Keywords Bin-Packing, Genetic Programming, Hyper-Heuristics, Heuristics
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.216.5044; http://www.cs.bham.ac.uk/~wbl/biblio/gecco2007/docs/p1559.pdf
-
4
Authors:
Contributors:
Subject Terms: proofs, formal methods, model checking, reliability, D.2.2 [Software Engineering, Design Tools and Techniques—state diagrams, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—temporal logic, C.4 [Performance of Systems, Fault Tolerance, D.1.2 [Programming Techniques, Automatic Programming, D.1.3 [Programming Techniques, Concurrent Programming, C.2.4 [Computer-Communication Networks, Distributed Systems, I.2.2 [Artificial Intelligence, Automatic Programming—program synthesis General Terms, Design, Languages, Theory, Verification Additional Key Words and Phrases, Concurrent programs, fault-tolerance, program synthesis, specification, temporal logic
File Description: application/pdf
-
5
Authors:
Contributors:
Subject Terms: Logic and Formal Languages, Mathematical Logic—temporal logic, I.2.2 [Artificial Intelligence, Automatic Programming—program synthesis General Terms, Design, Languages, Theory, Verification Additional Key Words and Phrases, Atomic registers, concurrent programs, program synthesis, specification, temporal logic
File Description: application/pdf
-
6
-
7
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Design, Performance, Reliability Keywords Knapsack Packing, GP, Hyper-Heuristics, Heuristics
File Description: application/pdf
-
8
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Design, Performance, Reliability Keywords Knapsack Packing, GP, Hyper-Heuristics, Heuristics
File Description: application/pdf
-
9
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Algorithms, Design, Experimentation Keywords Empirical Study, Heuristics, Optimization
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.706; http://www.metacog.org/papers/gecco07c.pdf
-
10
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
-
11
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
-
12
Authors:
Source: IEEE Transactions on Computers. :853-861
Subject Terms: P-functions, binary program synthesis, General topics in the theory of software, 0102 computer and information sciences, 02 engineering and technology, resolution principle, declarative programming, 01 natural sciences, Prolog, Switching theory, application of Boolean algebra, Boolean functions, 0202 electrical engineering, electronic engineering, information engineering, logic design, Theorem proving (deduction, resolution, etc.), binary decision programs
File Description: application/xml
Access URL: https://www.computer.org/csdl/trans/tc/1986/10/01676676.html
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000001676676
https://www.infona.pl/resource/bwmeta1.element.ieee-art-000001676676
http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1676676
http://www.osti.gov/scitech/biblio/5311132-algorithmic-state-machine-design -automatic -theorem-proving-two-dual-approaches-same-activity
https://dblp.uni-trier.de/db/journals/tc/tc35.html#SnyersT86 -
13
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, C.2.4 [Computer-Communication Networks, Distributed Systems, D.1.2 [Programming Techniques, Automatic Programming, D.1.3 [Programming Techniques, Concurrent Programming, D.2.1 [Software Engineering, Requirements/ Specifications, D.2.2 [Software Engineering, Design Tools and Techniques—state diagrams, D.2.4 [Software Engineering, Software/Program Verification—correctness proofs, formal methods, model checking, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—logics of programs, mechanical verification, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—temporal logic, I.2.2 [Artificial Intelligence, Automatic Programming—program synthesis General Terms, Design, Languages, Theory, Verification Additional Key Words and Phrases, Atomic registers, concurrent programs, program synthesis, specification
File Description: application/pdf
-
14
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
-
15
Authors: et al.
Source: Nutrients. Nov2025, Vol. 17 Issue 22, p3559. 37p.
HTML Full Text PDF Full Text -
16
Authors: et al.
Source: Nutrients. Nov2025, Vol. 17 Issue 22, p3515. 45p.
HTML Full Text PDF Full Text -
17
Authors: et al.
Source: Nutrients. Nov2025, Vol. 17 Issue 21, p3345. 16p.
HTML Full Text PDF Full Text -
18
Authors: et al.
Source: Nutrients. Oct2025, Vol. 17 Issue 20, p3254. 25p.
HTML Full Text PDF Full Text -
19
Authors: et al.
Source: Nutrients. Oct2025, Vol. 17 Issue 19, p3103. 16p.
HTML Full Text PDF Full Text -
20
Authors:
Source: Pollack Periodica; 2017, Vol. 12 Issue 2, p3-15, 13p
Nájsť tento článok vo Web of Science 
Full Text Finder