Výsledky vyhledávání - automation programming|program modication~

Alchemist: LLM-Aided End-User Development of Robot Applications.

Autoři: Karli, Ulas Berk Chen, Juo-Tung Antony, Victor Nikhil a další

Zdroj: ACM/IEEE International Conference on Human-Robot Interaction; Mar2024, p361-370, 10p

Témata: LANGUAGE models, LOGIC programming, SYSTEMS design, ROBOT programming, NATURAL languages, ROBOTS

A guide to similarity measures and their data science applications.

Autoři: Levy, Avivit Shalom, B. Riva Chalamish, Michal

Zdroj: Journal of Big Data; 7/26/2025, Vol. 12 Issue 1, p1-57, 57p

Témata: DATA science, MATHEMATICAL formulas, MATHEMATICAL functions, LAYPERSONS

On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus.

Autoři: Eberbach, Eugene

Zdroj: Fundamenta Informaticae; 2022, Vol. 188 Issue 2, p63-90, 28p

Témata: TURING machines, ALGORITHMS, PROBLEM solving, COST, METAHEURISTIC algorithms

2024 ASPHO Conference Papers and Posters.

Zdroj: Pediatric Blood & Cancer; Apr2024 Supplement 1, Vol. 71, p1-268, 268p

In-/Near-Memory Computing.

Autoři: Fujiki, Daichi Xiaowei Wang Subramaniyan, Arun a další

Zdroj: Synthesis Lectures on Computer Architecture; 8/11/2021, Vol. 16 Issue 2, pix-124, 132p

Roadmap for focused ion beam technologies.

Autoři: Höflich, Katja Hobler, Gerhard Allen, Frances I. a další

Zdroj: Applied Physics Reviews; Dec2023, Vol. 10 Issue 4, p1-93, 93p

Témata: FOCUSED ion beams, MATERIALS science, ION sources, SCIENTIFIC community, ION beams, SEMICONDUCTOR industry, NANOSTRUCTURED materials

Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR ’97, Leuven, Belgium, July 10–12, 1997 Proceedings

Autoři: Norbert E. Fuchs

Resource Type: eBook.

Témata: Computer programming, Artificial intelligence, Computer science, Machine theory

Categories: COMPUTERS / Programming / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science

Structuring and composability issues in Petri nets modeling.

Autoři: Gomes, L. Joao Paulo Barros

Zdroj: IEEE Transactions on Industrial Informatics; May2005, Vol. 1 Issue 2, p112-123, 12p

SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

Autoři: Klaus Havelund John Penix Willem Visser

Resource Type: eBook.

Témata: SPIN (Computer file)--Congresses, Computer software--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science

Online Walking Motion Generation with Automatic Footstep Placement.

Autoři: Herdt, Andrei Diedam, Holger Wieber, Pierre-Brice a další

Zdroj: Advanced Robotics; 2010, Vol. 24 Issue 5/6, p719-737, 19p, 9 Graphs

Témata: PREDICTIVE control systems, ROBOT motion, WALKING, FOOTSTEPS, ROBOTICS

Accurate shellcode recognition from network traffic data using artificial neural nets.

Autoři: Onotu, Patrick Day, David Rodrigues, Marcos A

Zdroj: 2015 IEEE 28th Canadian Conference on Electrical & Computer Engineering (CCECE); 2015, p355-360, 6p

On Hypercomputation, Universal and Diagonalization Complete Problems.

Autoři: Eberbach, Eugene

Zdroj: Fundamenta Informaticae; 2015, Vol. 139 Issue 4, p329-346, 18p

Témata: MATHEMATICAL proofs, PROBLEM solving, INFINITY (Mathematics), CALCULUS, DECIDABILITY (Mathematical logic)

References.

Zdroj: Motor Learning & Synaptic Plasticity in the Cerebellum; 1997, p168-192, 25p

Machine Learning and Data Mining in Pattern Recognition : 6th International Conference, MLDM 2009, Leipzig, Germany, July 23-25, 2009, Proceedings

Autoři: Petra Perner

Resource Type: eBook.

Témata: Compilers (Computer programs), Data mining, Application software, Artificial intelligence, Machine theory, Database management

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Data Science / Data Analytics, MATHEMATICS / Probability & Statistics / General

New Trends in Constraints : Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers

Autoři: Krzysztof R. Apt Antonis Kakas Eric Monfroy a další

Resource Type: eBook.

Témata: Artificial intelligence, Compilers (Computer programs), Computer programming, Computer science, Machine theory

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General

OpenMP Shared Memory Parallel Programming : International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings

Autoři: Rudolf Eigenmann Michael J. Voss

Resource Type: eBook.

Témata: Computer science, Computer systems, Software engineering, Computer engineering, Computer networks, Computer science—Mathematics, Discrete mathematics, Mathematics—Data processing

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics, MATHEMATICS / Numerical Analysis

Coordination Languages and Models

Autoři: Paolo Ciancarini Alexander L. Wolf

Resource Type: eBook.

Témata: Compilers (Computer programs), Operating systems (Computers), Computer networks, Computer programming, Computer science, Software engineering

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Operating Systems / General, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Proceedings of 2017 Chinese Intelligent Automation Conference

Autoři: Zhidong Deng

Resource Type: eBook.

Témata: Engineering, Automation--Congresses, Intelligent control systems--Congresses

Categories: TECHNOLOGY & ENGINEERING / Electrical, COMPUTERS / Artificial Intelligence / General, TECHNOLOGY & ENGINEERING / Engineering (General)

ZB 2000: Formal Specification and Development in Z and B : First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings

Autoři: Jonathan P. Bowen Steve Dunne Andy Galloway a další

Resource Type: eBook.

Témata: B (Computer program language)--Congresses, Z (Computer program language)--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science, COMPUTERS / Programming / General

UML'99 - The Unified Modeling Language: Beyond the Standard : Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings

Autoři: Robert B. France Bernhard Rumpe

Resource Type: eBook.

Témata: Electrical engineering, Software engineering, Compilers (Computer programs), Business information services

Categories: TECHNOLOGY & ENGINEERING / Electrical, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Programming / Compilers, COMPUTERS / Management Information Systems, COMPUTERS / Software Development & Engineering / General