Computer science

This book constitutes the refereed proceedings of the 22nd International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2025, held in Valencia, Spain, during September 15-18, 2025.

This book constitutes the refereed proceedings of the 21st International Conference on Mobile Web and Intelligent Information Systems, MobiWIS 2025, held in Istanbul, Türkiye, during August 11–13, 2025.

This two-volume set, CCIS 2624 and CCIS 2625, constitutes the refereed proceedings of the 8th China Intelligent Networked Things Conference, CINT 2025, held in Zhuhai, China, during June 13–15, 2025.

This two-volume set, CCIS 2624 and CCIS 2625, constitutes the refereed proceedings of the 8th China Intelligent Networked Things Conference, CINT 2025, held in Zhuhai, China, during June 13–15, 2025.

In der aktuellen Medienkultur gewinnen akustische Interfaces zunehmend an Bedeutung, wie es sich in vielen Alltagsbereichen wie der Arbeit, Mobilität, aber auch Freizeit zeigt.

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time.

This book constitutes the refereed proceedings of the 7th International Conference on Articulated Motion and Deformable Objects, AMDO 2012, held in Port d'Andratx, Mallorca, Spain, in July 2012.

This book contains a collection of thoroughly refereed papers presented at the 6th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2011, held in Beijing, China, in June 2011.

This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a new track on Systems and Projects descriptions that span both the Calculemus and MKM topics, all held in Bertinoro, Italy, in July 2011.

Single-channel hands-free teleconferencing systems are becoming popular.

This book constitutes the refereed proceedings of the First International Conference on Integrated Computing Technology, INTECH 2011, held in Sao Carlos, Brazil, in May/ June 2011.

This book constitutes the proceedings of the International Workshop on Vagueness in Communication, VIC 2009, held as part of ESSLLI 2009, in Bordeaux, France, July 20-24, 2009.

At the dawn of the new millennium, robotics is undergoing a major transformation in scope and dimension.

This textbook gives a clear introduction to the theory and application of nonlinear systems and controls.

This book constitutes revised selected papers from the two International Workshops on Artificial Intelligence Approaches to the Complexity of Legal Systems, AICOL IV and AICOL V, held in 2013.

This book constitutes the refereed proceedings of the international competition aimed at the evaluation and assessment of Ambient Assisted Living, EvAAL 2013, which was organized in three major events: the International Competition on Indoor Localization and Tracking for Ambient Assisted Living, which took place in Madrid, Spain, in July 2013; the International Competition on Activity Recognition for Ambient Assisted Living, which took place in Valencia, Spain, in July 2013; and the Final Workshop, which was held in Norrkoping, Sweden, in September 2013.

This volume contains the lecture notes of the 9th Reasoning Web Summer School 2013, held in Mannheim, Germany, in July/August 2013.

The inspiring idea of this workshop series, Artificial Intelligence Approaches to the Complexity of Legal Systems (AICOL), is to develop models of legal knowledge concerning organization, structure, and content in order to promote mutual understanding and communication between different systems and cultures.

This book constitutes the refereed proceedings of the 5th International Conference on Artificial General Intelligence, AGI 2012, held in Oxford, UK, in December 2012.

This book constitutes the refereed proceedings of the 24th International Conference on Advanced Information Systems Engineering, CAiSE 2012, held in Gdansk, Poland, in June 2012.

This book and its companion volume, LNCS vols.

This book constitutes the refereed proceedings of the Third IFIP WG 5.

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Agents and Data Mining Interaction, ADMI 2011, held in Taipei, Taiwan, in May 2011 in conjunction with AAMAS 2011, the 10th International Joint Conference on Autonomous Agents and Multiagent Systems.

This two-volume-set (CCIS 188 and CCIS 189) constitutes the refereed proceedings of the International Conference on Digital Information Processing and Communications, ICDIPC 2011, held in Ostrava, Czech Republic, in July 2011.

Intelligent Decision Technologies (IDT) seeks an interchange of research on intelligent systems and intelligent technologies which enhance or improve decision making in industry, government and academia.

The 14th International Conference on Principles of Distributed Systems (OPODIS 2010) took place during December 14-17, 2010 in Tozeur, Tunisia.

Numerous fascinating breakthroughs in biotechnology have generated large volumes and diverse types of high throughput data that demand the development of efficient and appropriate tools in computational statistics integrated with biological knowledge and computational algorithms.

These proceedings are a record of the Multiple Classi?

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998.

Privacy in statistical databases is a discipline whose purpose is to provide - lutions to the con?

This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics.

Additive noise is ubiquitous in acoustics environments and can affect the intelligibility and quality of speech signals.

This book constitutes the refereed post-conference proceedings of the 15th International Workshop on Groupware: Design, Implementation, and Use, held in Peso da Regua, Douro, Portugal, during September 13-17, 2009.

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science.

When we contemplate phenomena as diverse as electrochemical deposition or the spatial patterns of urban development, it is natural to assume that they havenothing incommon.

Evolutionary algorithms are successful biologically inspired meta-heuristics.

The Text, Speech and Dialogue (TSD) Conference 2002, it should be noticed, is now being held for the ?

 This book constitutes the refereed proceedings of the 4th International Conference on Audio-and Video-Based Biometric Person Authentication, AVBPA 2003, held in Guilford, UK in June 2003.

Clustering is an important unsupervised classification technique where data points are grouped such that points that are similar in some sense belong to the same cluster.

The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012.

Swarm intelligence is an innovative computational way to solving hard pr- lems.