Did you mean: automata

search result

Cover von Morpheus

Morpheus

Automated Safety Verification of Data-Dependent Parser Combinator Programs
Year: 2023
Media group: LIPIcs
Cover von When computers decide
European Recommendations on Machine-Learned Automated Decision Making : Informatics Europe & EUACM
Search for this author
Year: 2018
Publisher: New York, ACM
Media group: MONOGRAPHIE
Cover von Unfolding Urban Structures

Unfolding Urban Structures

Towards Route Prediction and Automated City Modeling (Short Paper)
Year: 2018
Media group: LIPIcs
Cover von Get started imminently

Get started imminently

Using tutorials to accelerate learning in automated static analysis : article
Author: Ostberg, Jan-Peter; Wagner, Stefan -München, Stuttgart-
Year: 2012
Media group: ARTICLE
Cover von Towards Structural Clones
Analysis and Semi-Automated Detection of Design-Level Similarities in Software
Author: Basit, Hamid Abdul; Jarzabek, Stanislaw Search for this author
Year: 2010
Publisher: Saarbrücken, VDM
Media group: MONOGRAPHIE
Cover von A Sequent Calculus Perspective on Base-Extension Semantics
article in "Automated Reasoning with Analytic Tableaux and Related Methods" (TABLEAUX 2025)
Search for this author
Year: 2025
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 15980 article
Media group: ARTICLE
Cover von A Proof-Theoretic View of Basic Intuitionistic Conditional Logic
article in "Automated Reasoning with Analytic Tableaux and Related Methods" (TABLEAUX 2025)
Search for this author
Year: 2025
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 15980 : article
Media group: ARTICLE
Cover von QualiNet

QualiNet

Acquiring Bird’s Eye View Qualitative Spatial Representation from 2D Images in Automated Vehicle Perception (Short Paper)
Year: 2025
Media group: LIPIcs
Cover von pymwp
A Static Analyzer Determining Polynomial Growth Bounds : article in ATVA 2023 : Automated Technology for Verification and Analysis
Search for this author
Year: 2023
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 14216 : article
Media group: ARTICLE
Cover von Programmed learning and computer-based instruction
proceedings of the conference on application of digital computers to automated instruction, October 10-12, 1961
Search for this author
Year: 1962
Publisher: New York, Wiley
Media group: MONOGRAPHIE
OPEN V 11.1.0.0