Search Results for Machines.

14 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Biomimetic and Biohybrid Systems 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedings

Yazar

Lepora, Nathan F. editor.

http://dx.doi.org/10.1007/978-3-319-42417-0

Format:

Electronic Resources

Alıntı:

Biomimetic and Biohybrid Systems 5th International Conference, Living Machines 2016, Edinburgh, UK

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Yazar

Butler, Michael. editor.

http://dx.doi.org/10.1007/978-3-319-33600-8

Format:

Electronic Resources

Alıntı:

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz

Topics in Grammatical Inference

Yazar

Heinz, Jeffrey. editor.

http://dx.doi.org/10.1007/978-3-662-48395-4

Format:

Electronic Resources

Alıntı:

research area inside the inductive inference paradigm for machine learning. The first three chapters of the

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Yazar

Câmpeanu, Cezar. editor.

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

Format:

Electronic Resources

Alıntı:

occur in computational models, such as Turing Machines, ﬁnte automata, grammars, splicing systems and

Behavioural Models From Modelling Finite Automata to Analysing Business Processes

Yazar

Kunze, Matthias. author.

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

Format:

Electronic Resources

Alıntı:

concurrent systems and introduces finite automata, state machines and several different types of Petri nets

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Yazar

Devitt, Simon. editor.

http://dx.doi.org/10.1007/978-3-319-40578-0

Format:

Electronic Resources

Alıntı:

-- Reversible causal graph dynamics -- Boosting Reversible Pushdown Machines By Preprocessing -- Reversible

Cognitive (Internet of) Things Collaboration to Optimize Action

Yazar

Sathi, Arvind. author.

http://dx.doi.org/10.1057/978-1-137-59466-2

Format:

Electronic Resources

Alıntı:

Infrastructure -- 9. Machine-to-Machine Interfaces -- 10. Man-to-Machine Interfaces -- 11. Assisting in Human

Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

Yazar

Han, Yo-Sub. editor.

http://dx.doi.org/10.1007/978-3-319-40946-7

Format:

Electronic Resources

Alıntı:

Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0L -- Kuratowski Algebras Generated by

Turing Computability Theory and Applications

Yazar

Soare, Robert I. author.

http://dx.doi.org/10.1007/978-3-642-31933-4

Format:

Electronic Resources

Alıntı:

Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine

10.

Finitely Supported Mathematics An Introduction

Yazar

Alexandru, Andrei. author.

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

Format:

Electronic Resources

Alıntı:

and Gandy machines (Chapter 1), the authors present in Chapter 2 the basics of invariant sets and show

11.

Artificial Neural Networks and Machine Learning – ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part I

Yazar

Villa, Alessandro E.P. editor.

http://dx.doi.org/10.1007/978-3-319-44778-0

Format:

Electronic Resources

Alıntı:

Artificial Neural Networks and Machine Learning – ICANN 2016 25th International Conference on

12.

Artificial Neural Networks and Machine Learning – ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part II

Yazar

Villa, Alessandro E.P. editor.

http://dx.doi.org/10.1007/978-3-319-44781-0

Format:

Electronic Resources

Alıntı:

Artificial Neural Networks and Machine Learning – ICANN 2016 25th International Conference on

	{displayName}	{count}
{error}