Search Results - ((automatic OR automatizacia) OR automation) programming—program synthesis*
-
1
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)
-
2
Authors:
Source: Software & Systems Modeling; Aug2024, Vol. 23 Issue 4, p973-1002, 30p
-
3
Authors: Velázquez Iturbide, Ángel
Thesis Advisors: Cerrada Somolinos, José Antonio
Subject Terms: Informática
Access URL: http://hdl.handle.net/10803/453220
-
4
Authors:
Source: ACM/IEEE International Conference on Human-Robot Interaction; Mar2022, p727-730, 4p
Subject Terms: SOCIAL robots, HUMAN-robot interaction, ROBOTS, HUMAN beings
-
5
Authors:
Source: IET Software (Wiley-Blackwell); Feb2013, Vol. 7 Issue 1, p12-28, 17p
-
6
Authors:
Source: Journal of Automated Reasoning; Jun2018, Vol. 61 Issue 1-4, p423-453, 31p
-
7
Authors: Breuer, M.A.
Source: Proceedings of the IEEE; 1966, Vol. 54 Issue 12, p1708-1721, 14p
-
8
Authors: Jaime, Cristina Garcia
Resource Type: eBook.
Subjects: Food industry and trade--Automation
Categories: TECHNOLOGY & ENGINEERING / General
-
9
-
10
Authors: et al.
Source: Italian Journal of Animal Science. Dec2023, Vol. 22 Issue 1, p1095-1109. 15p.
Subjects: Text mining, Horses, Animal welfare, Pets, Pain measurement, Horse breeds
Geographic Terms: Europe
HTML Full Text PDF Full Text -
11
Authors: Sorokin, Alexander N.
Source: International Multidisciplinary Scientific Conference on Social Sciences & Arts SGEM; 2014, p609-616, 8p
-
12
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
-
13
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
-
14
Authors:
Contributors:
Subject Terms: I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis, program verification. General Terms Design, Verification. Keywords Grammatical Evolution, Automatic Code Generation, Verilog
File Description: 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
-
15
Authors: Janičić, Predrag
Source: Central European Conference on Information & Intelligent Systems; 9/21/2011, p13-22, 10p
-
16
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
-
17
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
-
18
Authors: et al.
Source: ACM Transactions on Embedded Computing Systems; Jul2008, Vol. 7 Issue 4, p42-42:25, 25p, 5 Diagrams, 1 Chart
Subject Terms: EMBEDDED computer systems, RAPID prototyping, AUTOMATION, PROGRAMMING languages, SYSTEMS on a chip
-
19
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
-
20
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.4 [Software Engineering, Program Verification, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—mechanical verification, I.2.2 [Artificial Intelligence, Automatic Programming—program
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.9854; http://www.cs.neu.edu/home/attie/papers/TOPLAS98.pdf
Full Text Finder 
Nájsť tento článok vo Web of Science