This book constitutes the refereed proceedings of the 5th International Workshop on Controlled Natural Language, CNL 2016, held in Aberdeen, UK, in July 2016. Meer
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016. Meer
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016. Meer
This book presents a comprehensive and up-to-date treatise of a range of methodological and algorithmic issues. It also discusses implementations and case studies, identifies the best design practices, and assesses data analytics business models and practices in industry, health care, administration and business. Meer
This book constitutes the refereed proceedings of the 12th International Conference on Computational Processing of the Portuguese Language, PROPOR 2016, held in Tomar, Portugal, in July 2016. Meer
This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015. Meer
This volume constitutes the refereed proceedings of the 7th International Conference on Multimedia Communications, Services and Security, MCSS 2014, held in Krakow, Poland, in June 2014. Meer
The four-volume set LNCS 8517, 8518, 8519 and 8520 constitutes the proceedings of the Third International Conference on Design, User Experience, and Usability, DUXU 2014, held as part of the 16th International Conference on Human-Computer Interaction, HCII 2014, held in Heraklion, Crete, Greece in June 2014, jointly with 13 other thematically similar conferences. Meer
This book constitutes the proceedings of 26th International Conference on Advanced Information Systems Engineering, CAiSE 2014, held in Thessaloniki, Greece in June 2014. Meer
This book constitutes the refereed proceedings of the 21st International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2014, held in Budapest, Hungary, in June/July 2014. Meer
This book reveals the historical context and the evolution of the technically complex Allied Signals Intelligence (Sigint) activity against Japan from 1920 to 1945. Meer
This book constitutes the refereed proceedings of the 21st International Symposium on Methodologies for Intelligent Systems, ISMIS 2014, held in Roskilde, Denmark, in June 2014. Meer
This book describes the latest research accomplishments, innovations, and visions in the field of robotics as presented at the 13th International Conference on Intelligent Autonomous Systems (IAS), held in Padua in July 2014, by leading researchers, engineers, and practitioners from across the world. Meer
This book constitutes the refereed conference proceedings of the 19th Australasian Conference on Information Security and Privacy, ACISP 2014, held in Wollongong, NSW, Australia, in July 2014. Meer
This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on Intelligent Computer Mathematics. Meer
The seven-volume set comprising LNCS volumes 8689-8695 constitutes the refereed proceedings of the 13th European Conference on Computer Vision, ECCV 2014, held in Zurich, Switzerland, in September 2014. Meer
This book features contributions to the XVIIth International Conference “Linguistic and Cultural Studies: Traditions and Innovations” (LKTI 2017), providing insights into theory, research, scientific achievements, and best practices in the fields of pedagogics, linguistics, and language teaching and learning with a particular focus on Siberian perspectives and collaborations between academics from other Russian regions. Meer
This book delivers concise coverage of classical methods and new developments related to indoor location-based services. It collects results from isolated domains including geometry, artificial intelligence, statistics, cooperative algorithms, and distributed systems and thus provides an accessible overview of fundamental methods and technologies. Meer
This book reports on the latest advances in mobile technologies for collecting, storing and processing mobile big data in connection with wireless communications. Meer
By introducing a new stabilization methodology, this book characterizes the stability of a certain class of systems. The stability (exponential, polynomial, or weaker) for the closed loop problem is reduced to an observability estimate for the corresponding uncontrolled system combined with a boundedness property of the transfer function of the associated open loop system. Meer
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books