Cover Image

QR Code

Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings /

This volume constitutes the proceedings of the 18th Mexican Conference on Artificial Intelligence, MICAI 2019, held in Xalapa, Mexico, in October/November 2019. The 59 full papers presented in this volume were carefully reviewed and selected from 148 submissions. They cover topics such as: machine l...

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	Martínez-Villaseñor, Lourdes. (Editor, http://id.loc.gov/vocabulary/relators/edt), Batyrshin, Ildar. (Editor, http://id.loc.gov/vocabulary/relators/edt), Marín-Hernández, Antonio. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:	1st ed. 2019.
Series:	Lecture Notes in Artificial Intelligence ; 11835
Subjects:	Artificial intelligence. Algorithms. Special purpose computers. Optical data processing. Mathematical logic. Artificial Intelligence. Algorithm Analysis and Problem Complexity. Special Purpose and Application-Based Systems. Image Processing and Computer Vision. Mathematical Logic and Formal Languages.
Online Access:	https://doi.org/10.1007/978-3-030-33749-0

Similar Items

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings / edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
Published: (2019)

Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings / edited by Vasiliki Vouloutsi, José Halloy, Anna Mura, Michael Mangan, Nathan Lepora, Tony J. Prescott, Paul F.M.J. Verschure.
Published: (2018)

Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III / edited by Kang Li, Jianhua Zhang, Minyou Chen, Zhile Yang, Qun Niu.
Published: (2018)

Intelligent Computing and Internet of Things First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II / edited by Kang Li, Minrui Fei, Dajun Du, Zhile Yang, Dongsheng Yang.
Published: (2018)

Advances in Artificial Intelligence - IBERAMIA 2018 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings / edited by Guillermo R. Simari, Eduardo Fermé, Flabio Gutiérrez Segura, José Antonio Rodríguez Melquiades.
Published: (2018)

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings / edited by Jérôme Durand-Lose, Sergey Verlan.
Published: (2018)

Advances in Computational Intelligence 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22–27, 2018, Proceedings, Part II / edited by Ildar Batyrshin, María de Lourdes Martínez-Villaseñor, Hiram Eredín Ponce Espinosa.
Published: (2018)

Advances in Soft Computing 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22–27, 2018, Proceedings, Part I / edited by Ildar Batyrshin, María de Lourdes Martínez-Villaseñor, Hiram Eredín Ponce Espinosa.
Published: (2018)

Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part II / edited by Shuai Han, Liang Ye, Weixiao Meng.
Published: (2019)

Intelligent Computing Methodologies 15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part III / edited by De-Shuang Huang, Zhi-Kai Huang, Abir Hussain.
Published: (2019)

Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings / edited by Paul Kaufmann, Pedro A. Castillo.
Published: (2019)

Artificial General Intelligence 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings / edited by Tom Everitt, Ben Goertzel, Alexey Potapov.
Published: (2017)

Industrial IoT Technologies and Applications 4th EAI International Conference, Industrial IoT 2020, Virtual Event, December 11, 2020, Proceedings / edited by Lourdes Peñalver, Lorena Parra.
Published: (2021)

Leveraging Applications of Formal Methods, Verification and Validation: Applications 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2020)

Computer Vision Systems 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers / edited by Ming Liu, Haoyao Chen, Markus Vincze.
Published: (2017)

AI 2018: Advances in Artificial Intelligence 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings / edited by Tanja Mitrovic, Bing Xue, Xiaodong Li.
Published: (2018)

Fuzzy Logic Recent Applications and Developments / edited by Jenny Carter, Francisco Chiclana, Arjab Singh Khuman, Tianhua Chen.
Published: (2021)

Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part III / edited by Kang Li, Yusheng Xue, Shumei Cui, Qun Niu, Zhile Yang, Patrick Luk.
Published: (2017)

Agent-Oriented Software Engineering Reflections on Architectures, Methodologies, Languages, and Frameworks / edited by Onn Shehory, Arnon Sturm.
Published: (2014)

Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part II / edited by Vittorio Ferrari, Martial Hebert, Cristian Sminchisescu, Yair Weiss.
Published: (2018)

Computer Vision – ECCV 2018 Workshops Munich, Germany, September 8-14, 2018, Proceedings, Part IV / edited by Laura Leal-Taixé, Stefan Roth.
Published: (2019)

Industrial Networks and Intelligent Systems 7th EAI International Conference, INISCOM 2021, Hanoi, Vietnam, April 22-23, 2021, Proceedings / edited by Nguyen-Son Vo, Van-Phuc Hoang, Quoc-Tuan Vien.
Published: (2021)

Context-Aware Systems and Applications, and Nature of Computation and Communication 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017, Proceedings / edited by Phan Cong Vinh, Nguyen Ha Huy Cuong, Emil Vassev.
Published: (2018)

Data Driven Approaches in Digital Education 12th European Conference on Technology Enhanced Learning, EC-TEL 2017, Tallinn, Estonia, September 12–15, 2017, Proceedings / edited by Élise Lavoué, Hendrik Drachsler, Katrien Verbert, Julien Broisin, Mar Pérez-Sanagustín.
Published: (2017)

Communication Systems and Networks 10th International Conference, COMSNETS 2018, Bangalore, India, January 3-7, 2018, Extended Selected Papers / edited by Subir Biswas, Animesh Mukherjee, Mun Choon Chan, Sandip Chakraborty, Abhinav Kumar, Giridhar Mandyam, Rajeev Shorey.
Published: (2019)

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings / edited by Étienne André, Mariëlle Stoelinga.
Published: (2019)

Integrated Formal Methods 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings / edited by Brijesh Dongol, Elena Troubitsyna.
Published: (2020)

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II / edited by Giovanni Squillero, Kevin Sim.
Published: (2017)

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I / edited by Giovanni Squillero, Kevin Sim.
Published: (2017)

Artificial Intelligence and Soft Computing 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part I / edited by Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada.
Published: (2017)

Artificial Intelligence and Soft Computing 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part II / edited by Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada.
Published: (2017)

KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25–29, 2017, Proceedings / edited by Gabriele Kern-Isberner, Johannes Fürnkranz, Matthias Thimm.
Published: (2017)

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II / edited by Jaideep Vaidya, Jin Li.
Published: (2018)

Artificial Intelligence and Mobile Services – AIMS 2019 8th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings / edited by De Wang, Liang-Jie Zhang.
Published: (2019)

Computer Analysis of Images and Patterns 18th International Conference, CAIP 2019, Salerno, Italy, September 3–5, 2019, Proceedings, Part I / edited by Mario Vento, Gennaro Percannella.
Published: (2019)

Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I / edited by Shuai Han, Liang Ye, Weixiao Meng.
Published: (2019)

Artificial Intelligence Second CCF International Conference, ICAI 2019, Xuzhou, China, August 22-23, 2019, Proceedings / edited by Kevin Knight, Changshui Zhang, Geoff Holmes, Min-Ling Zhang.
Published: (2019)

Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings / edited by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti.
Published: (2017)

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings / edited by Michael Dierkes, Charles Pecheur.
Published: (2013)

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp.
Published: (2016)