Search Results for Robotics.

Computational Intelligence, Networked Systems and Their Applications International Conference of Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 20-23, 2014, Proceedings, Part II

Yazar

Fei, Minrui. editor.

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

Format:

Electronic Resources

Alıntı:

Artificial Intelligence (incl. Robotics).

Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

Yazar

Perner, Petra. editor.

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

Format:

Electronic Resources

Alıntı:

Artificial Intelligence (incl. Robotics).

Business Intelligence 5th European Summer School, eBISS 2015, Barcelona, Spain, July 5-10, 2015, Tutorial Lectures

Yazar

Zimányi, Esteban. editor.

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

Format:

Electronic Resources

Alıntı:

Artificial Intelligence (incl. Robotics).

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

Yazar

Dutle, Aaron. editor.

https://doi.org/10.1007/978-3-319-77935-5

Format:

Electronic Resources

Alıntı:

, as well as their potential application to aerospace, robotics, and other NASA-relevant

Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings

Yazar

Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948

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

Format:

Electronic Resources

Alıntı:

learning; internet of things; security computer architectures and robotics; and projects.

On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I

Yazar

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261

https://doi.org/10.1007/978-3-030-02610-3

Format:

Electronic Resources

Alıntı:

Engineering Artificial Intelligence (incl. Robotics) -- Systems and Data Security -- Computer Appl. in

Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Yazar

Lahiri, Shuvendu. editor.

https://doi.org/10.1007/978-3-319-67531-2

Format:

Electronic Resources

Alıntı:

Verification for Safe Robotics -- Monitoring Hyperproperties -- TeLEx: Passive STL Learning Using Only Positive

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Yazar

Jones, Cliff. editor.

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

Format:

Electronic Resources

Alıntı:

Traffic Manoeuvres: An Overview -- Cloud Robotics: A Distributed Computing View -- Analyzing Interrupt

	{displayName}	{count}
{error}