Search Results for Algorithms.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

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ı:

Algorithm Analysis and Problem Complexity.

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

Yazar

Klein, Gerwin. editor.

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

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity.

Advances in Neural Networks – ISNN 2016 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings

Yazar

Cheng, Long. editor.

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

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity.

Bio-inspiring Cyber Security and Cloud Services: Trends and Innovations

Yazar

Hassanien, Aboul Ella. editor.

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

Format:

Electronic Resources

Alıntı:

provides reviews of cutting–edge technologies, algorithms, applications and insights for bio-inspiring

Image Analysis and Recognition 13th International Conference, ICIAR 2016, in Memory of Mohamed Kamel, Póvoa de Varzim, Portugal, July 13-15, 2016, Proceedings

Yazar

Campilho, Aurélio. editor.

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

Format:

Electronic Resources

Alıntı:

-- A Comparative Study of Vision-based Tra_c Signs Recognition -- A copy-move detection algorithm using

On the Move to Meaningful Internet Systems: OTM 2014 Conferences Confederated International Conferences: CoopIS, and ODBASE 2014, Amantea, Italy, October 27-31, 2014, Proceedings

Yazar

Meersman, Robert. editor.

http://dx.doi.org/10.1007/978-3-662-45563-0

Format:

Electronic Resources

Alıntı:

Similarity Algorithm for Process Models Based on Complete Firing Sequences -- Efficient Behavioral-Difference

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}