Výsledky vyhledávání - Automatic Programming—program*

Automatic conversion of real-world data from a German road infrastructure management system into a labelled property graph

Autoři: Heise, Ina

Témata: road infrastructure, Computer Science, Information and General Works::006: Special computer methods, Social Sciences::388: Transportation, digital twin, labelled property graphs, GML, LOCenter, GIS, Technology::624: Civil Engineering, Environmental Engineering, ddc, road infrastructure | labelled property graphs | GIS | GML | digital twin, Computer Science, Information and General Works::005: Computer Programming, Programs, Data and Security

Popis souboru: application/pdf

Přístupová URL adresa: https://mediatum.ub.tum.de/doc/1756354/document.pdf

Praktyczne aspekty programowania w Javie – wydajność programu w zakresie automatycznego zarządzania zasobami ; Practical Aspects of Java Programming – Program Efficiency Related to Automatic Resource Management

Autoři: Krawiec, Jerzy

Témata: programowanie, Java, strumień, wydajność kodu, zarządzanie zasobami, programming, stream, code efficiency, resource management

Popis souboru: application/pdf

Relation: Edukacja – Technika – Informatyka nr 1(19)/2017, s. 288–296; http://repozytorium.ur.edu.pl/handle/item/2977

Dostupnost: http://repozytorium.ur.edu.pl/handle/item/2977
https://doi.org/10.15584/eti.2017.1.40

Automatic Checking of SQL: Computerised Grading

Autoři: Andrew Cumming Gordon Russell

Zdroj: The International Journal of Learning: Annual Review. 12:127-134

Témata: SQL, 005 Computer programming, programs & data, LB2300 Higher Education, QA76 Computer software, Automated Grading, 4. Education, Structured Query Language, Error finding, Automated Marking, Centre for Algorithms, Visualisation and Evolving Systems, Computer programming

Popis souboru: PDF

Přístupová URL adresa: https://napier-surface.worktribe.com/254045/1/pub-2005-1.pdf
https://napier-repository.worktribe.com/254045/1/pub-2005-1.pdf
http://researchrepository.napier.ac.uk/1771

Automatic programming with a programming programme

Autoři: Kamynin, S. S. Lyubinskij, Eh. Z. Shura-Bura, M. R.

Témata: numerical analysis

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/3221704

Automatic heuristic generation with genetic programming: Evolving a jack-of-alltrades or a master of one

Autoři: Edmund K Burke Matthew Hyde Graham Kendall a další

Přispěvatelé: Edmund K Burke Matthew Hyde Graham Kendall a další

Zdroj: http://www.cs.nott.ac.uk/~mvh/gecco2007.pdf.

Témata: 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 souboru: 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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.4958
http://www.cs.nott.ac.uk/~mvh/gecco2007.pdf

Automatic Heuristic Generation with Genetic Programming: Evolving a Jack-of-all-Trades or a Master of One

Autoři: Edmund K. Burke Matthew Hyde Graham Kendall a další

Přispěvatelé: Edmund K. Burke Matthew Hyde Graham Kendall a další

Zdroj: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2007/docs/p1559.pdf.

Témata: 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 souboru: 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

Dostupnost: 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

Automatic Verilog Code Generation through Grammatical Evolution

Autoři: Ulya R. Karpuzcu The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Ulya R. Karpuzcu The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005wks/papers/0394.pdf.

Témata: I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis, program verification. General Terms Design, Verification. Keywords Grammatical Evolution, Automatic Code Generation, Verilog

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.604.3300; http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005wks/papers/0394.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.604.3300
http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005wks/papers/0394.pdf

Automatic Program Specialization for Java

Autoři: Ulrik P. Schultz Julia L. Lawall Charles Consel a další

Přispěvatelé: Ulrik P. Schultz Julia L. Lawall Charles Consel a další

Zdroj: http://www.cs.ucsb.edu/~ckrintz/papers/schultz-specialization.pdf.gz.

Témata: Categories and Subject Descriptors, D.3.4 [Programming Languages, Processors—Optimization, I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation General Terms, Design, Experimentation Additional Key Words and Phrases, Automatic program specialization, object-oriented languages, partial evaluation, Java, optimization

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.1203

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.1203
http://www.cs.ucsb.edu/~ckrintz/papers/schultz-specialization.pdf.gz

Automatic Programming: Large Language Models and Beyond.

Autoři: Lyu, Michael R. Ray, Baishakhi Roychoudhury, Abhik a další

Zdroj: ACM Transactions on Software Engineering & Methodology; Jun2025, Vol. 34 Issue 5, p1-33, 33p

Témata: LANGUAGE models, ARTIFICIAL intelligence, PROGRAMMING languages, TRUST, POPULARITY

Automatic conversion of real-world data from a German road infrastructure management system into a labelled property graph

Autoři: Heise, Ina

Témata: digital twin, GIS, GML, labelled property graphs, road infrastructure, 3: Social Sciences::388: Transportation, 0: Computer Science, Information and General Works::005: Computer Programming, Programs, Data and Security, 0: Computer Science, Information and General Works::006: Special computer methods, 6: Technology::624: Civil Engineering, Environmental Engineering, Conference Paper, Other, Other, Conference Paper

URL: https://hdl.handle.net/11420/49616
35. Forum Bauinformatik, fbi 2024

Constraint Programming for Automatic User Interface Construction.

Autoři: Lozov, P. A. Kosarev, D. S. Boulytchev, D. Yu.

Zdroj: Programming & Computer Software; Aug2025, Vol. 51 Issue 4, p262-273, 12p

Témata: GRAPHICAL user interfaces, IMAGE processing software, CONSTRAINT programming, ARTIFICIAL intelligence, USER interfaces

Meta-Optimizing Semantic Evolutionary Search Categories and Subject Descriptors I.2.2 [Artificial Intelligence]: Automatic Programming – Program synthesis General Terms

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.metacog.org/papers/gecco07c.pdf.

Témata: Algorithms, Design, Experimentation Keywords Empirical Study, Heuristics, Optimization

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.706; http://www.metacog.org/papers/gecco07c.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.706
http://www.metacog.org/papers/gecco07c.pdf

Automatic Programming—program transformation

Autoři: Yanhong A. Liu Scott D. Stoller The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Yanhong A. Liu Scott D. Stoller The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.sunysb.edu/~stoller/papers/Ackermann-PEPM03.pdf.

Témata: recursion

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.8807

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.8807
http://www.cs.sunysb.edu/~stoller/papers/Ackermann-PEPM03.pdf

Quantification of spectral similarity: towards automatic spectra verification

Autoři: Bodis, Lorant Pretsch, Ernö Székely, Gábor

Přispěvatelé: Bodis, Lorant Pretsch, Ernö Székely, Gábor

Témata: AUTOMATISCHE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), PROTONEN-KERNRESONANZSPEKTROSKOPIE, ANALYSE VON STRUKTUR UND EIGENSCHAFTEN VON BIOMOLEKÜLEN, PHYSIKALISCHE ARZNEIMITTELPRÜFUNG, PROTON NUCLEAR MAGNETIC RESONANCE SPECTROSCOPY, ANALYSIS OF STRUCTURE AND PROPERTIES OF BIOMOLECULES, AUTOMATIC PROGRAMMING (PROGRAMMING METHODS), PHYSICAL ANALYSIS OF PHARMACEUTICAL DRUGS, Life sciences

Popis souboru: application/application/pdf

Přístupová URL adresa: https://www.research-collection.ethz.ch/handle/20.500.11850/150132
http://hdl.handle.net/20.500.11850/150132

Graph structured program evolution with automatically defined nodes

Autoři: Shinichi Shirakawa Tomoharu Nagao The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Shinichi Shirakawa Tomoharu Nagao The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.nlab.sogo1.ynu.ac.jp/~shirakawa/paper/gecco09_shirakawa.pdf.

Témata: 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

Popis souboru: 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

Dostupnost: 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

The estimation of Hölderian regularity using genetic programming

Autoři: Trujillo, Leonardo Legrand, Pierrick Lévy Véhel, Jacques a další

Přispěvatelé: Trujillo, Leonardo Legrand, Pierrick Lévy Véhel, Jacques a další

Zdroj: 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

Témata: Signal regularity, Hölder exponent, Genetic Programming, I.2.2 [Artificial Intelligence]: Automatic Programming--program synthesis, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]

Geografické téma: Portland Oregon, United States

Dostupnost: https://inria.hal.science/inria-00538943
https://inria.hal.science/inria-00538943/document
https://inria.hal.science/inria-00538943/file/t10fp182-trujillo.pdf

Automated fixing of programs with contracts

Autoři: Yi Wei Yu Pei Carlo A. Furia a další

Přispěvatelé: Yi Wei Yu Pei Carlo A. Furia a další

Zdroj: http://bugcounting.net/pubs/issta10.pdf.

Témata: Intelligence, Automatic Programming—program modifi- cation General Terms Reliability, Verification Keywords Automated debugging, automatic fixing, program synthesis, dynamic

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.8551; http://bugcounting.net/pubs/issta10.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.8551
http://bugcounting.net/pubs/issta10.pdf

Automatic Translation and Object-Oriented Reengineering of Legacy Code

Autoři: Trudel, Marco Müller, Hausi A. Meyer, Bertrand

Přispěvatelé: Trudel, Marco Müller, Hausi A. Meyer, Bertrand

Témata: Data processing, computer science, ÜBERSETZER (PROGRAMMIERSPRACHEN), TRANSLATORS (PROGRAMMING LANGUAGES), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), REVERSE ENGINEERING (SOFTWARE ENGINEERING), SOFTWAREVERTEILUNG + SOFTWAREUNTERHALT (SOFTWARE ENGINEERING), SOFTWARE DISTRIBUTION + SOFTWARE MAINTENANCE (SOFTWARE ENGINEERING), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS)

Popis souboru: application/application/pdf

Přístupová URL adresa: https://www.research-collection.ethz.ch/handle/20.500.11850/72712
http://e-collection.library.ethz.ch/eserv/eth:7404/eth-7404-02.pdf
http://hdl.handle.net/20.500.11850/72712

Evolving a digital multiplier with the pushgp genetic programming system,” in GECCO ’13 Companion: Proceeding of the fifteenth annual conference companion on Genetic and evolutionary computation conference companion

Autoři: Thomas Helmuth Lee Spector The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Thomas Helmuth Lee Spector The Pennsylvania State University CiteSeerX Archives

Zdroj: http://faculty.hampshire.edu/lspector/pubs/W1501-helmuth-with-erratum.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis General Terms

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.4243

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.4243
http://faculty.hampshire.edu/lspector/pubs/W1501-helmuth-with-erratum.pdf

Automatic verification of heap structures with stereotypes

Autoři: Rudich, Arsenii Basin, David A. Müller, Peter

Přispěvatelé: Rudich, Arsenii Basin, David A. Müller, Peter

Témata: Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), TESTING + DEBUGGING (SOFTWARE ENGINEERING), VERIFIKATION (SOFTWARE ENGINEERING), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), TESTEN + FEHLERSUCHEN (SOFTWARE ENGINEERING)

Popis souboru: application/application/pdf

Přístupová URL adresa: http://e-collection.library.ethz.ch/eserv/eth:5571/eth-5571-02.pdf
https://www.research-collection.ethz.ch/handle/20.500.11850/72686
http://hdl.handle.net/20.500.11850/72686