Výsledky vyhledávání - automation programming—program synthesis*
-
1
Autoři:
Zdroj: ACM/IEEE International Conference on Human-Robot Interaction; Mar2022, p727-730, 4p
Témata: SOCIAL robots, HUMAN-robot interaction, ROBOTS, HUMAN beings
-
2
Autoři: a další
Zdroj: ACM Transactions on Programming Languages & Systems; Jun2024, Vol. 46 Issue 2, p1-59, 59p
-
3
Autoři:
Zdroj: Software & Systems Modeling; Aug2024, Vol. 23 Issue 4, p973-1002, 30p
-
4
Autoři:
Zdroj: IET Control Theory & Applications (Wiley-Blackwell); Dec2024, Vol. 18 Issue 18, p2693-2704, 12p
-
5
Autoři: Sorokin, Alexander N.
Zdroj: International Multidisciplinary Scientific Conference on Social Sciences & Arts SGEM; 2014, p609-616, 8p
-
6
Autoři:
Zdroj: Foundations of Science; Sep2023, Vol. 28 Issue 3, p841-857, 17p
-
7
Autoři:
Zdroj: Journal of Automated Reasoning; Jun2018, Vol. 61 Issue 1-4, p423-453, 31p
-
8
Autoři: a další
Zdroj: Applied Sciences (2076-3417); Oct2024, Vol. 14 Issue 19, p8656, 19p
-
9
Autoři:
Resource Type: eBook.
Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses
Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation
Plný text ve formátu PDF Plný text ve formátu ePub -
10
Autoři:
Zdroj: Journal of Cellular Automata; 2011, Vol. 6 Issue 4/5, p257-300, 44p
-
11
Autoři: Maribel Fernández
Resource Type: eBook.
Témata: Computer science, Artificial intelligence, Software engineering, Machine theory, Computer engineering, Computer networks
Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General
-
12
Autoři:
Zdroj: 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC); 2015, p1-5, 5p
-
13
Autoři:
Zdroj: Journal of Intelligent & Robotic Systems; Jun2024, Vol. 110 Issue 2, p1-16, 16p
-
14
Autoři: Lavrischeva, E.
Zdroj: Cybernetics & Systems Analysis; May2014, Vol. 50 Issue 3, p452-464, 13p
-
15
Autoři: Janičić, Predrag
Zdroj: Central European Conference on Information & Intelligent Systems; 9/21/2011, p13-22, 10p
-
16
Autoři: a další
Zdroj: ICSE: International Conference on Software Engineering; 5/25/2019, p281-291, 11p
Témata: END-user computing software, COMPUTER software testing, COMPUTER science, ARTIFICIAL intelligence, SOFTWARE engineering
-
17
Autoři: a další
Zdroj: ACM Transactions on Embedded Computing Systems; Jul2008, Vol. 7 Issue 4, p42-42:25, 25p, 5 Diagrams, 1 Chart
-
18
Autoři:
Zdroj: IEEE Transactions on Software Engineering; Mar79, Vol. 5 Issue 2, p294-328, 35p
-
19
Autoři: a další
Zdroj: ACM/IEEE International Conference on Human-Robot Interaction; Mar2023, p584-593, 10p
-
20
Autoři: Breuer, M.A.
Zdroj: Proceedings of the IEEE; 1966, Vol. 54 Issue 12, p1708-1721, 14p
Full Text Finder
Nájsť tento článok vo Web of Science