This book focuses on ubiquitous indoor localization services, specifically addressing the issue of floor plans. It combines computer vision algorithms and mobile techniques to reconstruct complete and accurate floor plans to provide better location-based services for both humans and vehicles via commodity smartphones in indoor environments (e.g., a multi-layer shopping mall with underground parking structures). After a comprehensive review of scene reconstruction methods, it offers accurate geometric information for each landmark from images and acoustics, and derives the spatial relationships of the landmarks and rough sketches of accessible areas with inertial and WiFi data to reduce computing overheads. It then presents the authors' recent findings in detail, including the optimization and probabilistic formulations for more solid foundations and better robustness to combat errors, several new approaches to promote the current sporadic availability of indoor location-based services, and a holistic solution for floor plan reconstruction, indoor localization, tracking, and navigation. The novel approaches presented are designed for different types of indoor environments (e.g., shopping malls, office buildings and labs) and different users. A valuable resource for researchers and those in start-ups working in the field, it also provides supplementary material for students with mobile computing and networking backgrounds.

The two-volume set LNICST 236-237 constitutes the post-conference proceedings of the 12th EAI International Conference on Communications and Networking, ChinaCom 2017, held in Xi'an, China, in September 2017. The total of 112 contributions presented in these volumes are carefully reviewed and selected from 178 submissions. The papers are organized in topical sections on wireless communications and networking, satellite and space communications and networking, big data network track, multimedia communications and smart networking, signal processing and communications, network and information security, advances and trends of V2X networks.

This book constitutes the refereed proceedings of the First International Conference on Smart Technology, MTYMEX 2017, held in Monterrey, Mexico, in May 2017. The 19 full papers were selected from 30 submissions and cover smart technologies for education, health, robotics, internet of things, virtual augmented and mixed reality technologies, artificial intelligence, gaming, software development, and digital arts.

This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Technology and Innovation in Learning, Teaching and Education, TECH-EDU 2018, held in Thessaloniki, Greece, on June 20-22, 2018. The 30 revised full papers along with 18 short papers presented were carefully reviewed and selected from 80 submissions.The papers are organized in topical sections on new technologies and teaching approaches to promote the strategies of self and co-regulation learning (new-TECH to SCRL); eLearning 2.0: trends, challenges and innovative perspectives; building critical thinking in higher education: meeting the challenge; digital tools in S and T learning; exploratory potentialities of emerging technologies in education; learning technologies; digital technologies and instructional design; big data in education and learning analytics.

The four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019. The total of 1274 papers and 209 posters included in the 35 HCII 2019 proceedings volumes was carefully reviewed and selected from 5029 submissions. DUXU 2019 includes a total of 167 regular papers, organized in the following topical sections: design philosophy; design theories, methods, and tools; user requirements, preferences emotions and personality; visual DUXU; DUXU for novel interaction techniques and devices; DUXU and robots; DUXU for AI and AI for DUXU; dialogue, narrative, storytelling; DUXU for automated driving, transport, sustainability and smart cities; DUXU for cultural heritage; DUXU for well-being; DUXU for learning; user experience evaluation methods and tools; DUXU practice; DUXU case studies.

The three-volume set CCIS 1032, CCIS 1033, and CCIS 1034 contains the extended abstracts of the posters presented during the 21st International Conference on Human-Computer Interaction, HCII 2019, which took place in Orlando, Florida, in July 2019.The total of 1274 papers and 209 posters included in the 35 HCII 2019 proceedings volumes was carefully reviewed and selected from 5029 submissions. The 208 papers presented in these three volumes are organized in topical sections as follows: Part I: design, development and evaluation methods and technique; multimodal Interaction; security and trust; accessibility and universal access; design and user experience case studies. Part II:interacting with games; human robot interaction; AI and machine learning in HCI; physiological measuring; object, motion and activity recognition; virtual and augmented reality; intelligent interactive environments. Part III: new trends in social media; HCI in business; learning technologies; HCI in transport and autonomous driving; HCI for health and well-being.

The 3 volume-set LNCS 11566, 11567 + 11568 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 21st International Conference on Human-Computer Interaction, HCII 2019, which took place in Orlando, Florida, USA, in July 2019. A total of 1274 papers and 209 posters have been accepted for publication in the HCII 2019 proceedings from a total of 5029 submissions. The 125 papers included in this HCI 2019 proceedings were organized in topical sections as follows: Part I: design and evaluation methods and tools; redefining the human in HCI; emotional design, Kansei and aesthetics in HCI; and narrative, storytelling, discourse and dialogue. Part II: mobile interaction; facial expressions and emotions recognition; eye-gaze, gesture and motion-based interaction; and interaction in virtual and augmented reality. Part III: design for social challenges; design for culture and entertainment; design for intelligent urban environments; and design and evaluation case studies.

The 3 volume-set LNCS 11566, 11567 + 11568 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 21st International Conference on Human-Computer Interaction, HCII 2019, which took place in Orlando, Florida, USA, in July 2019. A total of 1274 papers and 209 posters have been accepted for publication in the HCII 2019 proceedings from a total of 5029 submissions. The 125 papers included in this HCI 2019 proceedings were organized in topical sections as follows: Part I: design and evaluation methods and tools; redefining the human in HCI; emotional design, Kansei and aesthetics in HCI; and narrative, storytelling, discourse and dialogue. Part II: mobile interaction; facial expressions and emotions recognition; eye-gaze, gesture and motion-based interaction; and interaction in virtual and augmented reality. Part III: design for social challenges; design for culture and entertainment; design for intelligent urban environments; and design and evaluation case studies.

This book constitutes the proceedings of the 21st International Conference on Descriptional Complexity of Format Systems, DCFS 2019, held in Kosice, Slovakia, in July 2019. The 18 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains 4 invited talks. They deal with all aspects of descriptional complexity and costs of description of objects in various computational models, such as Turing machines, pushdown automata, finite automata, grammars, and others.

The 3 volume-set LNCS 11566, 11567 + 11568 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 21st International Conference on Human-Computer Interaction, HCII 2019, which took place in Orlando, Florida, USA, in July 2019. A total of 1274 papers and 209 posters have been accepted for publication in the HCII 2019 proceedings from a total of 5029 submissions. The 125 papers included in this HCI 2019 proceedings were organized in topical sections as follows: Part I: design and evaluation methods and tools; redefining the human in HCI; emotional design, Kansei and aesthetics in HCI; and narrative, storytelling, discourse and dialogue. Part II: mobile interaction; facial expressions and emotions recognition; eye-gaze, gesture and motion-based interaction; and interaction in virtual and augmented reality. Part III: design for social challenges; design for culture and entertainment; design for intelligent urban environments; and design and evaluation case studies.

This book constitutes the proceedings of the 8th International Conference on Artificial Intelligence and Mobile Services, AIMS 2019, held as part of SCF 2019, in San Diego, CA, USA, in June 2019. The 12 full papers and one short paper presented were carefully reviewed and selected from 29 submissions. The papers cover different aspects of mobile services from business management to computing systems, algorithms and applications. They promote technological technological innovations in research and development of mobile services, including, but not limited to, wireless and sensor networks, mobile and wearable computing, mobile enterprise and eCommerce, ubiquitous collaborative and social services, machine-to-machine and Internet-of-things, clouds, cyber-physical integration, and big data analytics for mobility-enabled services.

This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Mobile, Secure and Programmable Networking, held in Mohammedia, Morocco, in April 2019. The 23 papers presented in this volume were carefully reviewed and selected from 48 submissions. They discuss new trends in networking infrastructures, security, services and applications while focusing on virtualization and cloud computing for networks, network programming, software defined networks (SDN) and their security.

This two-volume set LNCS 11625 and 11626 constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence in Education, AIED 2019, held in Chicago, IL, USA, in June 2019. The 45 full papers presented together with 41 short, 10 doctoral consortium, 6 industry, and 10 workshop papers were carefully reviewed and selected from 177 submissions. AIED 2019 solicits empirical and theoretical papers particularly in the following lines of research and application: Intelligent and interactive technologies in an educational context; Modelling and representation; Models of teaching and learning; Learning contexts and informal learning; Evaluation; Innovative applications; Intelligent techniques to support disadvantaged schools and students, inequity and inequality in education.

This two-volume set LNCS 11590 and 11591 constitutes the refereed proceedings of the 6th International Conference on Learning and Collaboration Technologies, LCT 2019, held as part of the 21st International Conference on Human-Computer Interaction, HCII 2019, in Orlando, FL, USA in July 2019. The 1274 full papers 209 posters presented at the HCII 2019 conferences were carefully reviewed and selected from 5029 submissions. The papers cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of applications areas. The papers in this volume are organized in the following topical sections: mobile and ubiquitous learning; virtual reality and augmented reality systems for learning; and collaborative technology.

This two-volume set LNCS 11590 and 11591 constitutes the refereed proceedings of the 6th International Conference on Learning and Collaboration Technologies, LCT 2019, held as part of the 21st International Conference on Human-Computer Interaction, HCII 2019, in Orlando, FL, USA in July 2019. The 1274 full papers and 209 posters presented at the HCII 2019 conferences were carefully reviewed and selected from 5029 submissions. The papers cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of applications areas. The papers in this volume are organized in the following topical sections: designing and evaluating learning experiences; theoretical and pedagogical approaches in technology-enhanced learning; cognitive and psychological issues in learning; and technology in STEM education.

This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017. The 15 full and 22 short papers presented were carefully reviewed and selected from 37 submissions. The events whose papers are included in this volume are: BigMDE 2017: 5th International Workshop on Scalable Model Driven Engineering GCM 2017: 8th International Workshop on Graph Computation Models GRAND 2017: 1st International Workshop on Grand Challenges in Modeling MORSE 2017: 4th International Workshop on Model-driven Robot Software Engineering OCL 2017: 17th International Workshop in OCL and Textual Modeling STAF Projects Showcase 2017: 3rd event dedicated to international and national project dissemination and cooperation

This book constitutes the proceedings of the 21th International Conference on Coordination Models and Languages, COORDINATION 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019. The 15 full papers included in this volume were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections named: computational models; tools; exploring new frontiers; and coordination patterns.

This volume, the 36th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains eight revised, extended papers selected from the 3rd International Conference on Future Data and Security Engineering, FDSE 2016, and the 10th International Conference on Advanced Computing and Applications, ACOMP 2016, which were held in Can Tho City, Vietnam, in November 2016. Topics covered include big data analytics, massive dataset mining, security and privacy, cryptography, access control, deep learning, crowd sourcing, database watermarking, and query processing and optimization.

This book constitutes the refereed proceedings of the 12th International Conference on Parallel Computational Technologies, PCT 2018, held in Rostov-on-Don, Russia, in April 2018.The 24 revised full papers presented were carefully reviewed and selected from 167 submissions. The papers are organized in topical sections on high performance architectures, tools and technologies; parallel numerical algorithms; supercomputer simulation.

This book constitutes the refereed proceedings of the 16th International Conference on Ad-hoc, Mobile, and Wireless Networks, ADHOC-NOW 2018, held in St. Malo, France, in September 2018. The 21 full and 6 short papers plus 2 invited talks presented in this volume were carefully reviewed and selected from 52 submissions. The contributions were organized in topical sections named: on ad-hoc, mobile and wireless sensor, networks and computing.

This book constitutes the refereed proceedings of the 17th International Conference on Entertainment Computing, ICEC 2018, held at the 24th IFIP World Computer Congress, WCC 2018, in Poznan, Poland, in September 2018. The 15 full papers, 13 short papers, and 23 poster, demostration, and workshop papers presented were carefully reviewed and selected from 65 submissions. They cover a large range of topics in the following thematic areas: digital games and interactive entertainment; design, human-computer interaction, and analysis of entertainment systems; interactive art, performance and cultural computing; entertainment devices, platforms and systems; theoratical foundations and ethical issues; entertainment for purpose and persuasion; computational methodologies for entertainment; and media studies, communication, business, and information systems.

This book constitutes the thoroughly refereed proceedings of the 8th International Conference on e-Infrastructure and e-Services for Developing Countries, AFRICOMM 2016, held in Ouagadougou, Burkina Faso, in December 2016. The 44 papers were carefully selected from 57 submissions and cover topics such as: mobile and social networks; cloud, VPN and overlays; IoT, water, land, agriculture; networks, TVWS; learning; crypto and services.

Knowledge representation is a key area of modern AI, underlying the development of semantic networks. Description logics are languages that represent knowledge in a structured and formally well-understood way: they are the cornerstone of the Semantic Web. This is the first textbook describing this importan new topic and will be suitable for courses aimed at advanced undergraduate and beginning graduate students, or for self-study. It assumes only a basic knowledge of computer science concepts. After generla introducitons motivating and overviewing the subject, the authors describe a simple DL and how it works and can be used, utilizing a running example that recurs through the book. Methods of reasoning and their implementation and complexity are examined, Finally, the authors provide a non-trivial DL knowledge base and use it to illsutrate featues that have been introduced: this base is available for free online access in a form usable by modern ontology editors.

This book constitutes the refereed proceedings of the 16th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2018, held in Trujillo, Peru,in November 2018. The 41 papers presented were carefully reviewed and selected from 92 submissions. The papers are organized in the following topical sections: Knowledge Engineering, Knowledge Representation and Reasoning under Uncertainty., Multiagent Systems., Game Theory and Economic Paradigms, Game Playing and Interactive Entertainment, Ambient Intelligence, Machine Learning Methods, Cognitive Modeling,General AI, Knowledge Engineering, Computational Sustainability and AI, Heuristic Search and Optimization and much more.

This book constitutes the refereed conference proceedings of the 12th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2018, held in Hanoi, Vietnam, in November 2018. The 16 full papers presented together with 9 short papers were carefully reviewed and selected from 65 submissions. They are organized in the following topical sections: control, planning and scheduling, pattern recognition, knowledge mining, software applications, strategy games and others.