Yazar
Lachiche, Nicolas. editor.
Format:
Electronic Resources
Alıntı:
Programming (ILP) is a subfield of machine learning, which originally relied on logic programming as a uniform
Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Alıntı:
Communicating State Machines -- Repairing Timed Automata Clock Guards through Abstraction and Testing -- Proving
Yazar
Biondi, Fabrizio. editor.
Format:
Electronic Resources
Alıntı:
-- From Dynamic State Machines to Promela -- String abstraction for model checking of C programs -- Swarm
Yazar
Egyed, Alexander. editor.
Format:
Electronic Resources
Alıntı:
Models and Synthesis -- An Institution for Simple UML State Machines -- Map-Based Transparent
Yazar
Combemale, Benoît. editor.
Format:
Electronic Resources
Alıntı:
Tool for State Machines and Sequence Diagrams -- Towards User-Friendly Projectional -- Bounded Seas
Yazar
Cai, Zhipeng. editor.
Format:
Electronic Resources
Alıntı:
Machine Learning. https://scigraph.springernature.com/ontologies/product-market-codes/I21010
Yazar
Hospodár, Michal. editor.
Format:
Electronic Resources
Alıntı:
in various computational models, such as Turing machines, pushdown automata, finite automata
Yazar
Börger, Egon. author.
Format:
Electronic Resources
Alıntı:
Abstract State Machines (ASMs). The book introduces both the modeling method (Part I) and the available
Yazar
Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175
Format:
Electronic Resources
Alıntı:
Dynamic Reconfigurable Systems -- Automating Verification of State Machines with Reactive Designs and
Yazar
Han, Yo-Sub. editor.
Format:
Electronic Resources
Alıntı:
Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0L -- Kuratowski Algebras Generated by
Yazar
Shallit, Jeffrey. editor.
Format:
Electronic Resources
Alıntı:
, pushdown automata, and Turing machines. Descriptional complexity serves as a theoretical representation of
Yazar
Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446
Format:
Electronic Resources
Alıntı:
Machine Learning. https://scigraph.springernature.com/ontologies/product-market-codes/I21010
Arama Sonuçlarını Sınırlandır
Daraltılmış: