Advanced Concepts for Intelligent Vision Systems ; 10th International Conference, ACIVS 2008, Juan-les-Pins, France, October 20-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Advanced Concepts for Intelligent Vision Systems, ACIVS 2008, held in Juan-les-Pins, France, in October 2008.
Advanced Autonomic Networking and Communication
This book presents a comprehensive reference of state-of-the-art efforts and early results in the area of autonomic networking and communication.
Advanced artificial intelligence models and its applications
The field of artificial intelligence (AI) has undergone enormous expansion since its inception in the mid-20th century, as demonstrated by its application across an array of engineering and scientific challenges. Particularly in the last decade, AI has witnessed a significant breakthrough with the advent of deep learning, which has facilitated the employment of various AI models across a multitude of domains. This reprint features ten papers accepted for publication in the Special Issue titled "Advanced Artificial Intelligence Models and Their Applications," published in the MDPI Mathematics journal. These papers explore numerous facets of advanced artificial intelligence models and their applications, covering areas such as cybersecurity, image classification, logistics optimization, automatic music generation, human capital investment, writer recognition, remote sensing image indexing, target tracking, and more.
Ad-Hoc, mobile, and wireless networks ; Vol.3738 ; 4th International conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005, Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Ad-Hoc Networks and Wireless, ADHOiNOW 2005, The papers discuss architectures, protocols, and algorithms for: access control, scheduling, ad hoc and sensor networks analytic methods and modelling for performance evaluation, characterization, optimization, auto-configuration, incentives and pricing, location awareness, discovery, dependence, and management, mesh networks, new applications, power management, power control, and energy-efficiency, quality-of-service, resource allocation, multimedia, routing (unicast, multicast, etc.), security and privacy, service discovery, systems and testbeds, wireless internet, and data management.
Ad-hoc, Mobile and Wireless Networks ; 7th International Conference, ADHOC-NOW 2008 Sophia-Antipolis, France, September 10-12, 2008 Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Ad-Hoc, Mobile, and Wireless Networks, ADHOC-NOW 2008, held in Sophia-Antipolis, France, September 2008.
Ad-Hoc Networking ; IFIP 19th World Computer Congress, TC-6, IFIP Interactive Conference on Ad-Hoc Networking, August 20-25, 2006, Santiago, Chile
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Addressing Global Challenges and Quality Education ; 15th European Conference on Technology Enhanced Learning, EC-TEL 2020, Heidelberg, Germany, September 14–18, 2020, Proceedings
The chapters: “Designing an Online Self-Assessment for Informed Study Decisions: The User Perspective”; “Living with Learning Difficulties: Two Case Studies Exploring the Relationship Between Emotion and Performance in Students With Learning Difficulties”; “Applying Instructional Design Principles on Augmented Reality Cards for Computer Science Education”; and “Teaching Simulation Literacy With Evacuations - Concept, Technology, and Material for a Novel Approach” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Adaptive-robust control with limited knowledge on systems dynamics : An artificial input delay approach and beyond
investigates the role of artificial input delay in approximating unknown system dynamics, referred to as time-delayed control (TDC), and provides novel solutions to current design issues in TDC. Its central focus is on designing adaptive-switching gain-based robust control (ARC) for a class of Euler–Lagrange (EL) systems with minimal or no knowledge of the system dynamics parameters. The newly proposed TDC-based ARC tackles the commonly observed over- and under-estimation issues in switching gain. The consideration of EL systems lends a practical perspective on the proposed methods, and each chapter is supplemented by relevant experimental data
Adaptive Multimedial Retrieval : Retrieval, User, and Semantics ; 5th International Workshop, AMR 2007, Paris, France, July 5-6, 2007 Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Adaptive Multimedia Retrieval, AMR 2007, held in Paris, France, in July 2007.
Adaptive Multimedia Retrieval : User, Context, and Feedback ; Third International Workshop, AMR 2005, Glasgow, UK, July 28-29, 2005, Revised Selected Papers
This book is an extended collection of revised contributions that were initially submitted to the International Workshop on Adaptive Multimedia Retrieval (AMR 2005). This workshop was organized during July 28-29, 2005, at the U- versity of Glasgow, UK, as part of an information retrieval research festival and in co-location with the 19th International Joint Conference on Arti?cial Int- ligence (IJCAI 2005). AMR 2005 was the third and so far the biggest event of the series of workshops that started in 2003 with a workshop during the 26th German Conference on Arti?cial Intelligence (KI 2003) and continued in 2004 as part of the 16th European Conference on Arti?cial Intelligence (ECAI 2004).
Adaptive Motion of Animals and Machines
Apparently, the ability of animals and robots to adapt in a real world cannot be explained or realized by one single function in a control system and mechanism. That is, adaptation in motion is induced at every level from the central nervous system to the musculoskeletal system.Thus,weorganized the International Symposium on Adaptive Motion in Animals and Machines (AMAM) forscientist sandengineersconcerned with adaptation on various level stobebrought together todiscussprinciplesateachleveland to investigate principles governing total systems.
Adaptive Hypermedia and Adaptive Web-Based Systems ; Second International Conference, AH 2002 Malaga, Spain, May 29 - 31, 2002 Proceedings
This book constitutes the refereed proceedings of the Second International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems, AH 2002, held in Malaga, Spain, in May 2002.The 33 revised full papers and 23 short papers presented were carefully reviewed and selected from 109 submissions. Also included are three invited contributions, 30 posters, and 5 presentations given at the associated doctoral constortium. Among the topics covered are adaptive hypertext and hypermedia, user modeling, adaptive learning, adaptive tutoring systems, information retrieval, educational hypermedia systems, Web adaption, adaptive navigation, adaption and personalization.
Adaptive Hypermedia and Adaptive Web-Based Systems ; 4th International Conference, AH 2006, Dublin, Ireland, June 21-23, 2006, Proceedings
Here are the refereed proceedings of the 4th International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems, AH 2006, held in Dublin, Ireland, June 2006. The book presents 22 revised full papers and 19 revised short papers together with abstracts of 3 keynotes, 12 poster papers, and 14 doctoral consortium posters. Topics include pioneering theories, techniques, and innovative technologies to provide dynamic personalization, adaptation, and contextualization of hypermedia resources and services.
Adaptive Hypermedia and Adaptive Web-Based Systems : 5th International Conference, AH 2008, Hannover, Germany, July 29 - August 1, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems, AH 2008, held in Hannover, Germany in July 2008.
Adaptive Business Intelligence
In the modern information era, managers must recognize the competitive opportunities represented by decision-support tools. Adaptive business intelligence systems combine prediction and optimization techniques to assist decision makers in complex, rapidly changing environments. These systems address the fundamental questions: What is likely to happen in the future? And what is the best decision right now? Adaptive Business Intelligence includes elements of data mining, predictive modeling, forecasting, optimization, and adaptability.
Adaptive Autonomous Secure Cyber Systems
Establishes scientific foundations for adaptive autonomous cyber systems and ultimately brings about a more secure and reliable Internet. The recent advances in adaptive cyber defense (ACD) have developed a range of new ACD techniques and methodologies for reasoning in an adaptive environment.
Adaptive and Natural Computing Algorithms ; 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I
Constitutes the refereed proceedings of the 8th International Conference on Adaptive and Natural Computing Algorithms, ICANNGA 2007, held in Warsaw, Poland, in April 2007. The 178 revised full papers presented were carefully reviewed and selected from a total of 474 submissions. The 94 papers of the first volume are organized in topical sections on evolutionary computation, genetic algorithms, particle swarm optimization, learning, optimization and games, fuzzy and rough systems, just as classification and clustering. The second volume contains 84 contributions related to neural networks, support vector machines, biomedical signal and image processing, biometrics, computer vision, as well as to control and robotics.
Adaptive agents and multi-agent systems III : Adaptation and multi-Agent learning ; 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers
This book contains selected and revised papers of the European Symposium on Adaptive and Learning Agents and Multi-Agent Systems (ALAMAS).
Adaptive agents and multi-agent systems II : Adaptation and multi-agent learning
Adaptive agents and multi-agent systems is an emerging and exciting interdisciplinary area of research and development involving artificial intelligence, software engineering, and developmental biology, as well as cognitive and social science. This book presents 17 revised and carefully reviewed papers taken from two workshops on the topic as well as 2 invited papers by leading researchers in the area. The papers deal with various aspects of machine learning, adaptation, and evolution in the context of agent systems and autonomous agents.
Adapting Proofs-as-Programs : The Curry--Howard Protocol
This book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. there is increasingly active research in applying constructive techniques to industrial-scale, complex software engineering problems. Thismonographdetailsseveralimportantadvancesinthisdirectionofpr- tical proofs-as-programs. One of the central themes of the book is a general, abstract framework for developing new systems of program synthesis by adapting proofs-as-programs to new contexts. Framework-oriented approaches that facilitate analogous - proaches to building systems for solving particular problems have been popular and successful. Thesemethodsarehelpful asthey providea formal toolbox that enablesa“roll-your-own”approachtodevelopingsolutions.Itishopedthatour framework will have a similar impact. The framework is demonstrated by example. We will give two novel - plications of proofs-as-programs to large-scale, coarse-grain software engine- ing problems: contractual imperative program synthesis and structured p- gram synthesis.



















