Search Results for Machines.

48 sonuç bulundu

Tümünü Seç

1 2 3 4

000000000000DEFAULTTR

13.

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

14.

Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papers

Yazar

Roubtsova, Ella. editor.

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

Format:

Electronic Resources

Alıntı:

Set of Metrics of Non-locality Complexity in UML State Machines -- A Customizable Execution Engine for

15.

Transactions on Computational Collective Intelligence XVIII

Yazar

Nguyen, Ngoc Thanh. editor.

http://dx.doi.org/10.1007/978-3-662-48145-5

Format:

Electronic Resources

Alıntı:

Machines -- On a Multi-Agent Distributed Asynchronous Intelligence-Sharing and Learning Framework.

16.

Machine Translation 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings

Yazar

Shi, Xiaodong. editor.

http://dx.doi.org/10.1007/978-3-662-45701-6

Format:

Electronic Resources

Alıntı:

Machine Translation 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings /

17.

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

18.

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

19.

Pillars of Computing A Compendium of Select, Pivotal Technology Firms

Yazar

O'Regan, Gerard. author.

http://dx.doi.org/10.1007/978-3-319-21464-1

Format:

Electronic Resources

Alıntı:

Labs -- Cisco Systems -- Commodore Business Machines -- Dell Inc -- Digital Equipment Corporation

20.

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

Yazar

Krivine, Jean. editor.

http://dx.doi.org/10.1007/978-3-319-20860-2

Format:

Electronic Resources

Alıntı:

particularly includes the following topics: reversible machines, reversible languages, design and verification

21.

Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers

Yazar

Duval, Béatrice. editor.

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

Format:

Electronic Resources

Alıntı:

Environments -- Stream X-Machines for Agent Simulation Test Case Generation -- Building Self-adaptive Systems

22.

Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers

Yazar

Rozenberg, Grzegorz. editor.

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

Format:

Electronic Resources

Alıntı:

Simulators -- Automatic Translation of MP+V Systems to Register Machines -- On the Communication Complexity

23.

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

24.

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

Tümünü Seç

1 2 3 4

48 sonuç bulundu

	{displayName}	{count}
{error}