Search Results for Machine learning.

Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers

Yazar

Davis, Jesse. editor.

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

Format:

Electronic Resources

Alıntı:

machine learning, learning from graphs, and applications of these techniques to important problems in

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Yazar

Urban, Christian. editor.

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

Format:

Electronic Resources

Alıntı:

Machine-Code Decompilation in HOL4 -- A Formalized Hierarchy of Probabilistic System Types -- Learning To Parse

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Yazar

Lecomte, Thierry. editor.

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

Format:

Electronic Resources

Alıntı:

Verification Approaches of Interlocking Systems -- Predictive Reasoning and Machine Learning for the

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

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

Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings

Yazar

Shi, Zhongzhi. editor.

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

Format:

Electronic Resources

Alıntı:

sections on machine learning, data mining, web mining, multi-agent systems, automatic reasoning, decision

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

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

	{displayName}	{count}
{error}