Search Results for Sequential machine theory.

12 sonuç bulundu

Tümünü Seç

000000000000DEFAULTTR

Trace theory for automatic hierarchical verification of speed-independent circuits

Yazar

Dill, David L., author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267249

Format:

Electronic Resources

Alıntı:

Sequential machine theory.

Finite state machines in hardware : theory and design (with VHDL and SystemVerilog)

Yazar

Pedroni, Volnei A., author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6712668

Format:

Electronic Resources

Alıntı:

Sequential machine theory -- Data processing.

Digital Logic for Computing

Yazar

Seiffertt, John. author.

https://doi.org/10.1007/978-3-319-56839-3

Format:

Electronic Resources

Alıntı:

Datapaths -- 16 Basic Computer Datapath -- 17 State Machines -- 18 Datapath Controllers -- 19 State Machine

Handbook of Parallel Constraint Reasoning

Yazar

Hamadi, Youssef. editor.

https://doi.org/10.1007/978-3-319-63516-3

Format:

Electronic Resources

Alıntı:

Operations Research/Decision Theory. http://scigraph.springernature.com/things/product-market-codes

Machine Learning for Audio, Image and Video Analysis Theory and Applications

Yazar

Camastra, Francesco. author.

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

Format:

Electronic Resources

Alıntı:

Machine Learning for Audio, Image and Video Analysis Theory and Applications / Camastra, Francesco

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Yazar

Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831

https://doi.org/10.1007/978-3-319-74313-4

Format:

Electronic Resources

Alıntı:

-- Static Binary Code Instrumentation for ARM Architecture -- A Behavioural Theory for Reactive Sequential

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Yazar

Dillig, Isil. editor.

https://doi.org/10.1007/978-3-030-25540-4

Format:

Electronic Resources

Alıntı:

Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005

Rough Sets International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings

Yazar

Mihálydeák, Tamás. editor. (orcid)0000-0002-4382-5921

https://doi.org/10.1007/978-3-030-22815-6

Format:

Electronic Resources

Alıntı:

-- Multivariate Ovulation Window Detection at OvuFriend -- Incremental Sequential Three-Way Decision Using a Deep

Stochastic Models, Statistics and Their Applications Dresden, Germany, March 2019

Yazar

Steland, Ansgar. editor.

https://doi.org/10.1007/978-3-030-28665-1

Format:

Electronic Resources

Alıntı:

Statistical Theory and Methods. https://scigraph.springernature.com/ontologies/product-market-codes

10.

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II

Yazar

Rutkowski, Leszek. editor.

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

Format:

Electronic Resources

Alıntı:

-- Emergent Phenomena in Constrained 3D Layout Design -- Brainy: A Machine Learning Library -- Optimisation of

11.

Proceedings of the 23rd International Conference on Industrial Engineering and Engineering Management 2016 Theory and Application of Industrial Engineering

Yazar

Qi, Ershi. editor.

https://doi.org/10.2991/978-94-6239-255-7

Format:

Electronic Resources

Alıntı:

Management 2016 Theory and Application of Industrial Engineering / Qi, Ershi. editor.

12.

Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I

Yazar

Nguyen, Ngoc Thanh. editor.

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

Format:

Electronic Resources

Alıntı:

: A Case Study in NBG Set Theory -- Mining Sequential Patterns with Pattern Constraint -- An

	{displayName}	{count}
{error}