66 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Kovalev, Mikhail. author.
Format:
Electronic Resources
Alıntı:
A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof / Kovalev
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
Devitt, Simon. editor.
Format:
Electronic Resources
Alıntı:
-- Reversible causal graph dynamics -- Boosting Reversible Pushdown Machines By Preprocessing -- Reversible
Yazar
Michaelis, Stefan. editor.
Format:
Electronic Resources
Alıntı:
preprocessing, modeling, learning, and evaluation. Topics include data-mining and machine-learning algorithms
Yazar
Krivine, Jean. editor.
Format:
Electronic Resources
Alıntı:
particularly includes the following topics: reversible machines, reversible languages, design and verification
Yazar
Rozenberg, Grzegorz. editor.
Format:
Electronic Resources
Alıntı:
Simulators -- Automatic Translation of MP+V Systems to Register Machines -- On the Communication Complexity
Yazar
Han, Yo-Sub. editor.
Format:
Electronic Resources
Alıntı:
Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0L -- Kuratowski Algebras Generated by
Yazar
Pop, Florin. editor.
Format:
Electronic Resources
Alıntı:
Machines Heterogeneity on Datacenter Power Consumption in Data-Intensive Applications -- Implementing the
Yazar
Huang, De-Shuang. editor.
Format:
Electronic Resources
Alıntı:
algorithms; unsupervised learning; kernel methods and supporting vector machines; machine learning; fuzzy
Yazar
Perner, Petra. editor.
Format:
Electronic Resources
Alıntı:
Machine Learning and Data Mining in Pattern Recognition 10th International Conference, MLDM 2014
Yazar
Shallit, Jeffrey. editor.
Format:
Electronic Resources
Alıntı:
, pushdown automata, and Turing machines. Descriptional complexity serves as a theoretical representation of
Yazar
Nicosia, Giuseppe. editor.
Format:
Electronic Resources
Alıntı:
Machine Learning, Optimization, and Data Science 4th International Conference, LOD 2018, Volterra
66 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: