This book constitutes the refereed proceedings of the 6th International Conference on Artificial General Intelligence, AGI 2013, held in Beijing, China, in July/August 2013.
This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the Conferences on Intelligent Computer Mathematics.
This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013.
This book constitutes the thoroughly reviewed post-proceedings of the 9th International Workshop, EUMAS 2011, held in Maastricht, The Netherlands, in November 2011.
These two volumes, LNCS 7076 and LNCS 7077, constitute the refereed proceedings of the Second International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2011, held in Visakhapatnam, India, in December 2011.
The International Symposium on Experimental Robotics (ISER) is a series of bi-annual meetings which are organized in a rotating fashion around North America, Europe and Asia/Oceania.
The two-volume set LNCS 8111 and LNCS 8112 constitute the papers presented at the 14th International Conference on Computer Aided Systems Theory, EUROCAST 2013, held in February 2013 in Las Palmas de Gran Canaria, Spain.
This book constitutes the thoroughly refereed joint post-proceedings of the Third International Workshop on Mining Ubiquitous and Social Environments, MUSE 2012, held in Bristol, UK, in September 2012, and the Third International Workshop on Modeling Social Media, MSM 2012, held in Milwaukee, WI, USA, in June 2012.
This volume constitutes the proceedings of the 8th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2013, held in Salamanca, Spain, in September 2013.
This volume contains the papers of the 9th International Conference on Computing and Information Technology (IC2IT 2013) held at King Mongkut's University of Technology North Bangkok (KMUTNB), Bangkok, Thailand, on May 9th-10th, 2013.
This book constitutes the refereed proceedings of the 15th International Conference on Text, Speech and Dialogue, TSD 2012, held in Brno, Czech Republic, in September 2012.
This book focuses on green, low-carbon innovation and the integration of advanced technologies, providing a comprehensive overview of cutting-edge digital architecture.
This book focuses on an integrated design sciences approach in developing an AI decision-support model to enhance an organization’s decision-making function(s) and capabilities.
This monograph introduces the field of bisociative literature-based discovery (LBD) by first explaining the underlying LBD principles and techniques, followed by the presentation of bisociative LBD techniques and applications developed by the authors.
"e;Identity Management on GCP"e; is a detailed step-by-step guide that helps readers through Identity Management within the Google Cloud Platform (GCP).
"e;Identity Management on GCP"e; is a detailed step-by-step guide that helps readers through Identity Management within the Google Cloud Platform (GCP).
This book constitutes the refereed proceedings of the 5th Mexican Conference on Pattern Recognition, MCPR 2013, held in Huatulco, Mexico, in June 2013.
The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EUROCAST 2011, held in February 2011 in Las Palmas de Gran Canaria, Spain.
This book constitutes the refereed proceedings of the 11th International Workshop on Multiple Classifier Systems, MCS 2013, held in Nanjing, China, in May 2013.
This book constitutes the refereed proceedings of the 8th International Conference on Rough Sets and Current Trends in Computing, RSCTC, held in Chengdu, China, in August 2012, as one of the co-located conferences of the 2012 Joint Rough Set Symposium, JRS 2012.
Artificial intelligence (AI) techniques and the finite element method (FEM) are both powerful computing tools, which are extensively used for modeling and optimizing manufacturing processes.
This book constitutes the refereed proceedings of the Second International Conference on Electronic Government and the Information Systems Perspective, EGOVIS 2011, held in Toulouse, France, in August/September 2011.
This two-volume set CCIS 173 and CCIS 174 constitutes the extended abstracts of the posters presented during the 14th International Conference on Human-Computer Interaction, HCII 2011, held in Orlando, FL, USA in July 2011, jointly with 12 other thematically similar conferences.
This book constitutes the refereed proceedings of the 10th International Workshop on Multiple Classifier Systems, MCS 2011, held in Naples, Italy, in June 2011.
This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Spindleruv Mlyn, Czech Republic, in January 2009.
Scheduled transportation networks give rise to very complex and large-scale networkoptimization problems requiring innovative solution techniques and ideas from mathematical optimization and theoretical computer science.
This book constitutes the refereed proceedings of the three international workshops PAISI 2008, PACCF 2008, and SOCO 2008, held as satellite events of the IEEE International Conference on Intelligence and Security Informatics, ISI 2008, in Taipei, Taiwan, in June 2008.
In recent years rough set theory has attracted the attention of many researchers and practitioners all over the world, who have contributed essentially to its development and applications.
