Search Results for Machine learning.

5 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1

Liste görünümüne geç

Küçük resim görünümüne geç

00000DEFAULTTR

Yazdır

1.

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings için kapak resmi

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Yazar

Chang, Bor-Yuh Evan. editor.

https://doi.org/10.1007/978-3-030-32304-2

Format:

Electronic Resources

Alıntı:

pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; synthesis

2.

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers için kapak resmi

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Yazar

Canal, Carlos. editor.

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

Format:

Electronic Resources

Alıntı:

Verifying Smell-Free Architectures with the ARCHERY Language -- OntoLiFLOSS: Ontology for Learning Processes

3.

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings için kapak resmi

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Yazar

Bartocci, Ezio. editor.

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

Format:

Electronic Resources

Alıntı:

chain for Timed Property Enforcement during eXecution -- Tutorial Papers -- Machine Learning Methods in

4.

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers için kapak resmi

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Yazar

Counsell, Steve. editor.

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

Format:

Electronic Resources

Alıntı:

Agent-Based Tool for the Management of Fishing Effort.- Certifying Machine Code Safe from Hardware Aliasing

5.

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II için kapak resmi

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Yazar

Margaria, Tiziana. editor.

http://dx.doi.org/10.1007/978-3-662-45231-8

Format:

Electronic Resources

Alıntı:

Interdisciplinary Evolution in Machine and Plant Engineering – Industry 4.0 -- Doctoral Symposium and Poster Session

Tümünü Seç

1

5 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2