Cover Image

QR Code

Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013, Proceedings /

This book constitutes the proceedings of the 24th International Conference on Algorithmic Learning Theory, ALT 2013, held in Singapore in October 2013, and co-located with the 16th International Conference on Discovery Science, DS 2013. The 23 papers presented in this volume were carefully reviewed...

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	Jain, Sanjay. (Editor, http://id.loc.gov/vocabulary/relators/edt), Munos, Rémi. (Editor, http://id.loc.gov/vocabulary/relators/edt), Stephan, Frank. (Editor, http://id.loc.gov/vocabulary/relators/edt), Zeugmann, Thomas. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edition:	1st ed. 2013.
Series:	Lecture Notes in Artificial Intelligence ; 8139
Subjects:	Artificial intelligence. Mathematical logic. Algorithms. Computers. Computer logic. Pattern recognition. Artificial Intelligence. Mathematical Logic and Formal Languages. Algorithm Analysis and Problem Complexity. Computation by Abstract Devices. Logics and Meanings of Programs. Pattern Recognition.
Online Access:	https://doi.org/10.1007/978-3-642-40935-6

Similar Items

Progress in Image Analysis and Processing, ICIAP 2013 Naples, Italy, September 9-13, 2013, Proceedings, Part I / edited by Alfredo Petrosino.
Published: (2013)

Progress in Image Analysis and Processing, ICIAP 2013 Naples, Italy, September 9-13, 2013, Proceedings, Part II / edited by Alfredo Petrosino.
Published: (2013)

Computational Pathology and Ophthalmic Medical Image Analysis First International Workshop, COMPAY 2018, and 5th International Workshop, OMIA 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 - 20, 2018, Proceedings / edited by Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu, Anne Martel, Lena Maier-Hein, Nasir Rajpoot, Jeroen van der Laak, Mitko Veta, Stephen McKenna, David Snead, Emanuele Trucco, Mona K. Garvin, Xin Jan Chen, Hrvoje Bogunovic.
Published: (2018)

Automated Deduction -- CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings / edited by Maria Paola Bonacina.
Published: (2013)

Implementation and Application of Automata 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers / edited by Jan Holub, Jan Ždárek.
Published: (2007)

Computational Intelligence in Multi-Feature Visual Pattern Recognition Hand Posture and Face Recognition using Biologically Inspired Approaches / by Pramod Kumar Pisharady, Prahlad Vadakkepat, Loh Ai Poh.
by: Pisharady, Pramod Kumar., et al.
Published: (2014)

Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings / edited by Carlos Martín-Vide, Alexander Okhotin, Dana Shapira.
Published: (2019)

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings / edited by Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz.
Published: (2016)

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl.
Published: (2018)

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings / edited by Ian Miguel, Wheeler Tuml.
Published: (2007)

Automated Reasoning and Mathematics Essays in Memory of William W. McCune / edited by Maria Paola Bonacina, Mark E. Stickel.
Published: (2013)

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / edited by Ichiro Hasuo.
Published: (2016)

Cyberpatterns Unifying Design Patterns with Security and Attack Patterns / edited by Clive Blackwell, Hong Zhu.
Published: (2014)

Machine Learning and Data Mining in Pattern Recognition 9th International Conference, MLDM 2013, New York, NY, USA, July 19-25, 2013, Proceedings / edited by Petra Perner.
Published: (2013)

Automated Deduction – CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings / edited by Leonardo de Moura.
Published: (2017)

Formal Methods: Foundations and Applications 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings / edited by Gustavo Carvalho, Volker Stolz.
Published: (2020)

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / edited by Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz.
Published: (2019)

Formal Methods – Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers / edited by Antonio Cerone, Markus Roggenbach.
Published: (2021)

Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / edited by Carsten Lutz, Silvio Ranise.
Published: (2015)

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings / edited by Robert Mercaş, Daniel Reidenbach.
Published: (2019)

Feature Coding for Image Representation and Recognition by Yongzhen Huang, Tieniu Tan.
by: Huang, Yongzhen., et al.
Published: (2014)

Algorithmic Learning Theory 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014, Proceedings / edited by Peter Auer, Alexander Clark, Thomas Zeugmann, Sandra Zilles.
Published: (2014)

Automated Deduction - CADE-21 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings / edited by Frank Pfenning.
Published: (2007)

Descriptional Complexity of Formal Systems 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings / edited by Galina Jirásková, Giovanni Pighizzini.
Published: (2020)

Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings / edited by André Platzer, Geoff Sutcliffe.
Published: (2021)

Logic and Its Applications 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings / edited by Kamal Lodaya.
Published: (2013)

Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings / edited by Andrei A. Bulatov, Arseny M. Shur.
Published: (2013)

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings / edited by Jürgensen, Rogério Reis.
Published: (2013)

Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings / edited by Zhongzhi Shi, Zhaohui Wu, David Leake, Uli Sattler.
Published: (2014)

Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers / edited by Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra, Debora Slanzi, Marco Villani.
Published: (2018)

Learning Theory 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA, June 13-15, 2007, Proceedings / edited by Nader Bshouty, Claudio Gentile.
Published: (2007)

Adaptive and Natural Computing Algorithms 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013, Proceedings / edited by Marco Tomassini, Alberto Antonioni, Fabio Daolio, Pierre Buesser.
Published: (2013)

Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 -- August 3, 2013, Proceedings / edited by Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang.
Published: (2013)

Computational Intelligence in Music, Sound, Art and Design 8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings / edited by Anikó Ekárt, Antonios Liapis, María Luz Castro Pena.
Published: (2019)

Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings / edited by Ulrich Kohlenbach, Pablo Barceló, Ruy J G B de Queiroz.
Published: (2014)

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings / edited by Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira.
Published: (2015)

Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings / edited by Juliette Kennedy, Ruy J.G.B. de Queiroz.
Published: (2017)

Advances in Nonlinear Speech Processing 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013, Proceedings / edited by Thomas Drugman, Thierry Dutoit.
Published: (2013)

Image Analysis 18th Scandinavian Conference, SCIA 2013, Espoo, Finland, June 17-20, 2013, Proceedings / edited by Joni-Kristian Kamarainen, Markus Koskela.
Published: (2013)

Case-Based Reasoning Research and Development 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8–12, 2020, Proceedings / edited by Ian Watson, Rosina Weber.
Published: (2020)