Yazar
Ghatak, Abhijit. author.
Format:
Electronic Resources
Alıntı:
Machine Learning with R Ghatak, Abhijit. author.
Yazar
Beklemishev, Lev D. editor.
Format:
Electronic Resources
Alıntı:
theory of order, abstract state machines, formal methods, foundations of computer science, security, and
View Other Search Results
Yazar
Fernández, Maribel. author.
Format:
Electronic Resources
Alıntı:
machines and structural operational semantics. Programming Languages and Operational Semantics gives an
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
Dathan, Brahma. author.
Format:
Electronic Resources
Alıntı:
-- Exploring Inheritance -- Modelling with Finite State Machines -- Interactive Systems and the MVC
Yazar
Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703
Format:
Electronic Resources
Alıntı:
Relational Machines -- How much can experimental cost be reduced in active learning of agent strategies
Yazar
Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682
Format:
Electronic Resources
Alıntı:
OpenSHMEM, different optimizations for OpenSHMEM on shared memory machines, exploring the implementation of
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
Dastani, Mehdi. editor.
Format:
Electronic Resources
Alıntı:
Testing for Symbolic Reactive State Machines -- Model Checking of Concurrent Software Systems via
Yazar
Pop, Florin. editor.
Format:
Electronic Resources
Alıntı:
Machines Heterogeneity on Datacenter Power Consumption in Data-Intensive Applications -- Implementing the
Yazar
Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736
Format:
Electronic Resources
Alıntı:
, Metamodeling and Protocols -- Deriving Distributed Design Models from Global State Machines Requirements
Yazar
Nielsen, Frank. author.
Format:
Electronic Resources
Alıntı:
clusters, followed by machine learning classification, and an introduction to graph analytics. This part
Arama Sonuçlarını Sınırlandır
Daraltılmış: