Search Results - "Automatic Programming—program"
-
1
Authors: et al.
Contributors: et al.
Source: GECCO'10 Proceedings of the 12th annual conference on Genetic and evolutionary computation ; Genetic and Evolutionary Computation Conference (GECCO 2010). Best Paper Award in "Genetic Programming" ; https://inria.hal.science/inria-00538943 ; Genetic and Evolutionary Computation Conference (GECCO 2010). Best Paper Award in "Genetic Programming", Jul 2010, Portland Oregon, United States. pp.861-868
Subject Terms: Signal regularity, Hölder exponent, Genetic Programming, I.2.2 [Artificial Intelligence]: Automatic Programming--program synthesis, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]
Subject Geographic: Portland Oregon, United States
-
2
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis General Terms
File Description: application/pdf
-
3
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.6 [Software Engineer- ing, Programming Environments—Integrated Environments, D.2.13 [Software Engineering, Reusable Software—Reuse Models, I.2.2 [Artificial Intelligence, Automatic Programming—Program syn- thesis General Terms Languages, Experimentation Keywords program synthesis, partial expressions, code comple- tion
File Description: application/pdf
-
4
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming–Program synthesis, D.2.6 [Software Engineering, Coding Tools and Techniques–Program Editors, D.2.13 [Software Engineering, Reusable Software–Reuse Models General Terms Languages, Algorithms Keywords program synthesis, type inhabitation, code completion, type-driven
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.1849; http://lara.epfl.ch/~kuncak/papers/GveroETAL13CompleteCompletionTypesWeights.pdf
-
5
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.2 [Software Engineering, Design Tools and Techniques—computer-aided software engineering, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods, and Search
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.648; http://acmbulletin.fiit.stuba.sk/vol3num3/mederly.pdf
-
6
Authors: et al.
Contributors: et al.
Subject Terms: Intelligence, Automatic Programming—program modifi- cation General Terms Reliability, Verification Keywords Automated debugging, automatic fixing, program synthesis, dynamic
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.8551; http://bugcounting.net/pubs/issta10.pdf
-
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:
Contributors:
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
-
9
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.1.2 [Programming Tech- niques, Automatic Programming- program modification, pro- gram transformation, D.1.3 [Programming Techniques, Concur- rent Programming- multi-threaded programming, D.2.7 [Soft- ware Engineering, Distribution, Maintenance, and Enhancement, D.3.1 [Programming Languages, Formal Definitions and Theory General Terms Languages, Typing Keywords Dynamic Software Update, Multi-Party Session Types, Distributed-Protocols
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.558.9972; http://www.cs.cmu.edu/~tdumitra/hotswup09/papers/hotswup09_submission_2.pdf
-
10
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
-
11
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
-
12
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
-
13
Authors:
Contributors:
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, optimization, crossover
File Description: application/pdf
-
14
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
-
15
Authors:
Contributors:
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, Real-valued Function Optimisation, Modules, Evolutionary Programming
File Description: application/pdf
-
16
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—lambda calculus and related systems General Terms Experimentation, Languages, Theory Keywords genetic programming
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.329.2080; http://www.cs.york.ac.uk/rts/docs/GECCO_2007/docs/p2415.pdf
-
17
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.4706; http://www.massey.ac.nz/~chmessom/Gecco2007paper2.pdf
-
18
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
-
19
Authors:
Contributors:
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
-
20
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.4.6 [Operating Systems, Security and Protection—information flow controls, D.4.6 [Oper- ating Systems, Security and Protection—access controls, D.3.4 [Programming Languages, Language Classifications—constraint and logic languages, D.3 [Programming Languages, Processors— code generation, optimization, E.1 [Data, Data Structures— arrays, lists, queues, records, F.2 [Analysis of Algorithms and Problems Complexity, Nonnumerical Algorithms and Problems— computations on discrete structures, I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation, E.2 [Data, Data Storage Representations—linked representations General Terms security, algorithms, languages, performance Keywords information flow, type inference, security, algorithm, time
File Description: application/pdf
Nájsť tento článok vo Web of Science