Search Results for Machines.

15 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Machine Learning with R

Yazar

Ghatak, Abhijit. author.

https://doi.org/10.1007/978-981-10-6808-9

Format:

Electronic Resources

Alıntı:

Machine Learning with R Ghatak, Abhijit. author.

Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Yazar

Beklemishev, Lev D. editor.

http://dx.doi.org/10.1007/978-3-319-23534-9

Format:

Electronic Resources

Alıntı:

theory of order, abstract state machines, formal methods, foundations of computer science, security, and

Programming Languages and Operational Semantics A Concise Overview

Yazar

Fernández, Maribel. author.

http://dx.doi.org/10.1007/978-1-4471-6368-8

Format:

Electronic Resources

Alıntı:

machines and structural operational semantics. Programming Languages and Operational Semantics gives an

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

Yazar

Lachiche, Nicolas. editor.

https://doi.org/10.1007/978-3-319-78090-0

Format:

Electronic Resources

Alıntı:

Programming (ILP) is a subfield of machine learning, which originally relied on logic programming as a uniform

Object-Oriented Analysis, Design and Implementation An Integrated Approach

Yazar

Dathan, Brahma. author.

http://dx.doi.org/10.1007/978-3-319-24280-4

Format:

Electronic Resources

Alıntı:

-- Exploring Inheritance -- Modelling with Finite State Machines -- Interactive Systems and the MVC

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

Yazar

Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703

https://doi.org/10.1007/978-3-319-99960-9

Format:

Electronic Resources

Alıntı:

Relational Machines -- How much can experimental cost be reduced in active learning of agent strategies

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers

Yazar

Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682

https://doi.org/10.1007/978-3-319-73814-7

Format:

Electronic Resources

Alıntı:

OpenSHMEM, different optimizations for OpenSHMEM on shared memory machines, exploring the implementation of

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Yazar

Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175

https://doi.org/10.1007/978-3-030-02146-7

Format:

Electronic Resources

Alıntı:

Dynamic Reconfigurable Systems -- Automating Verification of State Machines with Reactive Designs and

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers

Yazar

Dastani, Mehdi. editor.

https://doi.org/10.1007/978-3-319-68972-2

Format:

Electronic Resources

Alıntı:

Testing for Symbolic Reactive State Machines -- Model Checking of Concurrent Software Systems via

10.

Adaptive Resource Management and Scheduling for Cloud Computing Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers

Yazar

Pop, Florin. editor.

http://dx.doi.org/10.1007/978-3-319-28448-4

Format:

Electronic Resources

Alıntı:

Machines Heterogeneity on Datacenter Power Consumption in Data-Intensive Applications -- Implementing the

11.

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

Yazar

Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736

https://doi.org/10.1007/978-3-030-30690-8

Format:

Electronic Resources

Alıntı:

, Metamodeling and Protocols -- Deriving Distributed Design Models from Global State Machines Requirements

12.

Introduction to HPC with MPI for Data Science

Yazar

Nielsen, Frank. author.

http://dx.doi.org/10.1007/978-3-319-21903-5

Format:

Electronic Resources

Alıntı:

clusters, followed by machine learning classification, and an introduction to graph analytics. This part

	{displayName}	{count}
{error}