Výsledky vyhľadávania - ((automatic OR automatizaceky) OR automation) programming-program synthesis general terms~
-
1
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
-
2
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: 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
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: 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
Autori:
Prispievatelia:
Predmety: 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
Popis súboru: application/pdf
-
5
Autori:
Prispievatelia:
Predmety: 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
Popis súboru: application/pdf
-
6
Prispievatelia: The Pennsylvania State University CiteSeerX Archives
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.706; http://www.metacog.org/papers/gecco07c.pdf
-
7
Autori: a ďalší
Zdroj: ACM Transactions on Programming Languages & Systems; Jun2024, Vol. 46 Issue 2, p1-59, 59p
-
8
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis General Terms
Popis súboru: application/pdf
-
9
Autori:
Zdroj: Software & Systems Modeling; Aug2024, Vol. 23 Issue 4, p973-1002, 30p
-
10
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: application/pdf
-
11
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: application/pdf
-
12
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
-
13
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
-
14
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis General Terms Experimentation, Measurement, Performance Keywords Genetic Programming, Computational Effort, Confidence Intervals, Wilson’s Method
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.4706; http://www.massey.ac.nz/~chmessom/Gecco2007paper2.pdf
-
15
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: D.2.13 [Software Engineering, Reusable Software–Reuse Models, I.2.2 [Artificial Intelligence, Automatic Programming– Program synthesis General Terms Experimentation, Languages Keywords reuse, program synthesis, mining
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.4415; http://www.cs.berkeley.edu/%7Emandelin/ProspectorPLDI05.pdf
-
16
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
-
17
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors, D.1.1 [PROGRAMMING TECHNIQUES, Applicative (Functional) Programming, D.3.1 [PROGRAMMING LANGUAGES, Formal Definitions and Theory, D.3.4 [PROGRAMMING LANGUAGES, Processors, F.3.2 [LOGICS AND MEANINGS OF PROGRAMS, Semantics of Programming Languages—Operational semantics, I.2.2 [ARTIFICIAL INTELLIGENCE, Automatic Programming—Program Transformation, Program Synthesis General Terms, Design, Languages, Theory Additional Key Words and Phrases, Binding-time Analysis, Program Specialization, Regions 1 Work performed while at the Universität Freiburg, Germany
Popis súboru: application/pdf
-
18
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
-
19
Autori:
Prispievatelia:
Zdroj: http://sce.uhcl.edu/boetticher/CSCI5931 Computer Human Interaction/User Interface Software Tools.pdf.
Predmety: Categories and Subject Descriptors, D.2.2 [Software Engineering, Tools and Techniques—user interfaces, H. 1.2 [Models and Principles, User/Machine Systems—human factors, H.5.2 [Information Interfaces and Presentation, User Interfaces—user interface management systems, 1.2.2 [Artificial Intelligence, Automatic Programming-program synthesis General Terms, Human Factors, Languages Additional Key Words and Phrases, Interface builders, toolkits, user interface development environments, user
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.508.4394; http://sce.uhcl.edu/boetticher/CSCI5931 Computer Human Interaction/User Interface Software Tools.pdf
Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.508.4394
http://sce.uhcl.edu/boetticher/CSCI5931 Computer Human Interaction/User Interface Software Tools.pdf -
20
Autori: Wei-Chuan Wang
Zdroj: Journal of Accounting, Finance & Management Strategy; Jun2023, Vol. 18 Issue 1, p71-118, 48p
Nájsť tento článok vo Web of Science 
Full Text Finder