Did you mean: automata

search result

Cover von Geovicla

Geovicla

Automated Classification of Interactive Web-Based Geovisualizations
Year: 2025
Media group: LIPIcs
Cover von Machine Vision
Automated Visual Inspection : Theory, Practice and Applications
Author: Beyerer, Jürgen; Puente Leon, Fernando; Frese, Christian Search for this author
Year: 2016
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Machine proofs in geometry
automated production of readable proofs for geometry theorems
Author: Chou, Shang-Ching; Gao, Xiao-Shan; Zhang, Jing-Zhong Search for this author
Year: 1994
Publisher: Singapore, World Scientific
Series: Series on applied mathematics; 6
Media group: MONOGRAPHIE
Cover von Generating abstraction hierarchies
an automated approach to reducing search in planning
Author: Knoblock, Craig A. Search for this author
Year: 1993
Publisher: Boston, Kluwer
Series: The Kluwer international series in engineering and computer science; 214
Media group: MONOGRAPHIE
Cover von Metalearning
Applications to Automated Machine Learning and Data Mining
Search for this author
Year: 2022
Publisher: Berlin, Springer
Series: Cognitive technologies
Media group: OPENACCESS
Cover von Presentation and Publication

Presentation and Publication

Loss and Slippage in Networks of Automated Market Makers
Year: 2022
Media group: OASICS
Cover von Fast Cube Tests for LIA Constraint Solving
article in LNAI 9706: International Joint Conference on Automated Reasoning, IJCAR 2016, Automated Reasoning : pp.116-132
Search for this author
Year: 2016
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 9706 : article
Media group: ARTICLE
Cover von Legal and Ethical Aspects of Autonomous Vehicles
chapter in "The Regulation of Automated and Autonomous Transport"
Search for this author
Year: 2023
Publisher: Berlin, Springer
Media group: ARTICLE
Cover von Helping Cancer Patients to Choose the Best Treatment

Helping Cancer Patients to Choose the Best Treatment

Towards Automated Data-Driven and Personalized Information Presentation of Cancer Treatment Options
Author: Vermunt, Jeroen; Poll-Franse, Lonneke van de; Verbeek, Xander
Year: 2024
Commit2Data
Media group: OASICS
Cover von The Small Solution Hypothesis for MAPF on Strongly Connected Directed Graphs Is True
article in Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling
Search for this author
Year: 2023
Publisher: Palo Alto, AAAI.org
Media group: ARTICLE
OPEN V 11.1.0.0