This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.
The two-volume set LNCS 10286 + 10287 constitutes the refereed proceedings of the 8th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management, DHM 2017, held as part of HCI International 2017 in Vancouver, BC, Canada.
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2021, held in Leuven, Belgium, during September, 2021.
This book constitutes the proceedings of the 4th International Conference on Intelligent Transport Systems, INTSYS 2020, which was held in December 2020.
The two-volume set LNAI 10841 and LNAI 10842 constitutes the refereed proceedings of the 17th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2018, held in Zakopane, Poland in June 2018.
This book constitutes the refereed post-conference proceedings of the 21st Iberoamerican Congress on Pattern Recognition, CIARP 2016, held in Lima, Peru, in November 2016.
The two-volume set LNAI 13067 and 13068 constitutes the proceedings of the 20th Mexican International Conference on Artificial Intelligence, MICAI 2021, held in Mexico City, Mexico, in October 2021.
This book constitutes the proceedings of the 15th International Conference on Smart Homes and Health Telematics, ICOST 2017, held in Paris, France, in August 2017.
This book constitutes the thoroughly refereed conference proceedings of the 10th International Conference on Rough Sets and Knowledge Technology, RSKT 2015, held in Tianjin, China, in November 2015, as part of the International Joint Conference on Rough Sets, IJCRS 2015, together with the 15th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, RSFDgrC 2015.
The two-volume set CCIS 713 and CCIS 714 contains the extended abstracts of the posters presented during the 19th International Conference on Human-Computer Interaction, HCI International 2017, held in Vancouver, BC, Canada, in July 2017.
This book constitutes the refereed proceedings of the 23rd International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2022, which took place in Manchester, UK, during November 24-26, 2022.
This book constitutes the refereed proceedings of the 23rd China Conference on Information Retrieval, CCIR 2017, held in Shanghai, China, in July 2017.
This volume LNCS 13582 constitutes the papers of the 19th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2022, held in August 2022 in Vienna, Austria, as part of the DEXA 2022 conference.
This book provides a gentle introduction to redescription mining, a versatile data mining tool that is useful to find distinct common characterizations of the same objects and, vice versa, to identify sets of objects that admit multiple shared descriptions.
This volume constitutes the selected papers presented at the First International Conference on Advanced Network Technologies and Intelligent Computing, ANTIC 2021, hed in Varanasi, India, in December 2021.
This book contains the refereed proceedings of the 12th International Conference on Knowledge Management in Organizations, KMO 2017, held in Beijing, China, in August 2017.
This book constitutes the refereed proceedings of the 13th International Conference on Social Robotics, ICSR 2021, held in Singapore, Singapore, in November 2021.
This book presents a collection of representative and novel work in the field of data mining, knowledge discovery, clustering and classification, based on expanded and reworked versions of a selection of the best papers originally presented in French at the EGC 2014 and EGC 2015 conferences held in Rennes (France) in January 2014 and Luxembourg in January 2015.
This book constitutes the refereed proceedings of the 15th International Conference on Practical Applications of Scalable Multi-Agent Systems, PAAMS 2017, held in Porto, Portugal, in June 2017.
This book constitutes the proceedings of the 9th International Conference on Artificial Intelligence and Mobile Services, AIMS 2020, held as part of SCF 2020, during September 18-20, 2020.
This book constitutes the refereed proceedings of the 20th International Conference on Business Process Management, BPM 2022, which took place in Munster, Germany, in September 2022.
The 4 volume set LNCS 12112-12114 constitutes the papers of the 25th International Conference on Database Systems for Advanced Applications which will be held online in September 2020.
This book constitutes the refereed proceedings of the 14th Pacific Rim Collocated PRICAI 2016 Workshops on Artificial Intelligence, held in Phuket, Thailand, in August 2016.
This book constitutes the proceedings of the 14th International Conference on Formal Concept Analysis, ICFCA 2017, held in Rennes, France, in June 2017.
This book constitutes the refereed proceedings of the 6th International Conference on Evolutionary Computation in Combinatorial Optimization, EvoMUSART 2017, held in Amsterdam, The Netherlands, in April 2017, co-located with the Evo*2017 events EuroGP, EvoCOP and EvoApplications.
This two-volume set of LNAI 13028 and LNAI 13029 constitutes the refereed proceedings of the 10th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2021, held in Qingdao, China, in October 2021.
The five-volume set LNCS 10111-10115 constitutes the thoroughly refereed post-conference proceedings of the 13th Asian Conference on Computer Vision, ACCV 2016, held in Taipei, Taiwan, in November 2016.
This two-volume set of LNAI 13028 and LNAI 13029 constitutes the refereed proceedings of the 10th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2021, held in Qingdao, China, in October 2021.
This book constitutes the refereed proceedings of the 13th International ICT Innovations Conference, ICT Innovations 2021, held as virtual event in September 2021.
The six volume set LNCS 10634, LNCS 10635, LNCS 10636, LNCS 10637, LNCS 10638, and LNCS 10639 constitues the proceedings of the 24rd International Conference on Neural Information Processing, ICONIP 2017, held in Guangzhou, China, in November 2017.
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2016, held in Stirling, UK, in September 2016.
This book constitutes the proceedings of the BPM Forum held at the 20th International Conference on Business Process Management, BPM 2022, which took place in Munster, Germany, in September 2022.
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Mobile, Secure and Programmable Networking, held in Paris, France, in October 2020.
The two-volume set CCIS 713 and CCIS 714 contains the extended abstracts of the posters presented during the 19th International Conference on Human-Computer Interaction, HCI International 2017, held in Vancouver, BC, Canada, in July 2017.
This book constitutes the refereed proceedings of the 13th International Conference entitled Beyond Databases, Architectures and Structures, BDAS 2017, held in Ustron, Poland, in May/June 2017.
This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which was held online during July 7-8, 2021.
This book constitutes the thoroughly refereed proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, which was held virtually due to the Covid-19 pandemic.
This book constitutes the refereed conference proceedings of the 31st British International Conference on Databases, BICOD 2017 - formerly known as BNCOD (British National Conference on Databases) - held in London, UK, in July 2017.
This book constitutes the thoroughly refereed post-conference proceedings of the International Workshop on Coordination, Organizations, Institutions, and Norms for Governance of Multi-Agent Systems, COINE 2022, which was held in Auckland, New Zealand, on May 9, 2022.
This book constitutes selected and revised papers presented at the First International Conference on Optimization, Learning Algorithms and Applications, OL2A 2021, held in Braganca, Portugal, in July 2021.
This book includes revised selected papers from the International Workshops on AI Approaches to the Complexity of Legal Systems, AICOL-XI@JURIX2018, held in Groningen, The Netherlands, on December 12, 2018; AICOL-XII@JURIX 2020, held in Brno, Czechia, on December 9, 2020; XAILA@JURIX 2020, held in in Brno, Czechia, on December 9, 2020.
This book constitutes the refereed proceedings of the Second International Conference on Distributed Artificial Intelligence, DAI 2020, held in Nanjing, China, in October 2020.
This book includes extended and revised selected papers from the 9th International Conference on Smart Cities and Green ICT Systems, SMARTGREENS 2020, and the 6th International Conference on Vehicle Technology and Intelligent Transport Systems, VEHITS 2020, held in Prague, Czech Republic, in May 2020.
This book constitutes the refereed post-conference proceedings of the International Conferences ICCASA and ICTCC 2017, held in November 2017 in Tam Ky City, Vietnam.
The two-volume set LNAI 13073 and 13074 constitutes the proceedings of the 10th Brazilian Conference on Intelligent Systems, BRACIS 2021, held in Sao Paolo, Brazil, in November-December 2021.
