Search results

This book comprehensively studies fuzzy temporal and spatial information, starting from the basics on fuzzy set theory and temporal/spatial reasoning, the development of a new model to represent fuzzy temporal/spatial information, the study of efficient and complete reasoning algorithms, and their application in an information retrieval context. This useful volume presents the first approach that goes beyond merely representing information, by thoroughly addressing a variety of reasoning tasks....

This book provides key insights into the world of Deep Learning pertaining to satellite image understanding. It highlights what differentiates satellite image datasets from other natural or synthetic images and how to tackle problems specific to these imagery data. From answering questions like how to select optimal training data to weekly supervised and unsupervised learning and how to tackle loosely labeled data, it is a valuable source of information for anyone interested in understanding the...

This book constitutes the refereed proceedings of the 9th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2009, held in Tubingen, Germany, in April 2009. The 21 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers present the latest research and discuss current developments and applications in metaheuristics - a paradigm to effectively solve difficult combinatorial optimization problems appearing in various ind...

This book and its sister volumes constitute the proceedings of the 2nd International Symposium on Neural Networks (ISNN 2005). ISNN 2005 was held in the beautiful mountain city Chongqing by the upper Yangtze River in southwestern China during May 30-June 1, 2005, as a sequel of ISNN 2004 successfully held in Dalian, China. ISNN emerged as a leading conference on neural computation in the region with - creasing global recognition and impact. ISNN 2005 received 1425 submissions from authors on ?ve...

Handbook of Green Engineering Technologies for Sustainable Smart Cities focuses on the complete exploration and presentation of green smart city applications, techniques, and architectural frameworks. It provides detailed coverage of urban sustainability spanning across various engineering disciplines. The book discusses and explores green engineering technologies for smart cities and covers various engineering disciplines and environmental science. It emphasizes techniques, application framewo...

This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996. The 27 revised full papers presented together with 9 invited contributions were thoroughly refereed for inclusion in this volume. The book is divided in topical sections on programming methodology, artificial intelligence, natural language processing, machine learning, dataflow and concurrency...

In this insightful collection of essays, Maurice Wilkes shares his unique perspective on the development of computers and the current state of the art. These enlightening essays discuss the foundational ideas behind modern computing and provide a solid grounding for the appreciation of emerging computer technologies. Wilkes, one of the founders of computing, has provided enormous contributions to the development of computers, including the design and construction of the EDSAC computer and ear...

This book constitutes the refereed proceedings of the 17th International Conference on DNA Computing and Molecular Programming, DNA17, held in Pasadena, CA, USA, in September 2011. The 12 revised full papers presented together with 5 invited talks were carefully selected from numerous submissions. Research in DNA computing and molecular programming draws together mathematics, computer science, physics, chemistry, biology, and nanotechnology to address the analysis, design, and synthesis of info...

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was est- lished in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite wo- shops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to...

Die Themen aus Algebra und Diskreter Mathematik, die Informatiker in erster Linie benotigen, finden sich in dieser leicht verstandlichen Einfuhrung. Mathematik wird Studienanfangern als elementares Werkzeug zur Darstellung, Beschreibung, Abstraktion und Symbolisierung vermittelt. Die Bedeutung algebraischer Strukturen in der Kodierungstheorie, in der Automatentheorie und in der Theorie Formaler Sprachen wird in besonderem Masse verdeutlicht. Das Buch enthalt zahlreiche Beispiele und Ubungsaufgab...

Problems demanding globally optimal solutions are ubiquitous, yet many are intractable when they involve constrained functions having many local optima and interacting, mixed-type variables.The differential evolution (DE) algorithm is a practical approach to global numerical optimization which is easy to understand, simple to implement, reliable, and fast. Packed with illustrations, computer code, new insights, and practical advice, this volume explores DE in both principle and practice. It is a...

The importance of Bayesian signal processing methods have grown over the past decade. A wealth of Bayesian tools are available for solving highly complex inference problems, including particle filters, Markov chain Monte Carlo, and variational Bayes. These methods can be utilized to solve some of the area's major challenges, from state and parameter estimation to decision/control. This book provides full coverage of the background material, including models, inference methods and case studies/ex...

Swarm Intelligence: Principles, Advances, and Applications delivers in-depth coverage of bat, artificial fish swarm, firefly, cuckoo search, flower pollination, artificial bee colony, wolf search, and gray wolf optimization algorithms. The book begins with a brief introduction to mathematical optimization, addressing basic concepts related to swarm intelligence, such as randomness, random walks, and chaos theory. The text then:Describes the various swarm intelligence optimization methods, standa...

There are many myths and mistakes which make the topics of artificial intelligence complex and confusing. But the truth is that the foundations of AI are not rocket science. People do not need a PhD to understand how a basic neural network works. In fact, one does not even need computer skills to learn this. Cunning Machines: Your Pocket Guide to the World of Artificial Intelligence explains the main concepts: what does AI really mean, where do we find it, how do scientists try to evaluate it,...

The volume contains the proceedings of the 16th Spring School on Theoretical Computer Science held in Ramatuelle, France, in May 1988. It is a unique combination of research level articles on various aspects of the theory of finite automata and its applications. Advances made in the last five years on the mathematical foundations form the first part of the book. The second part is devoted to the important problems of the theory including star-height, concatenation hierarchies, and connections wi...

Dieses Lehrbuch bietet eine fundierte Einfuhrung in die grundlegenden Begriffe und Methoden der Informatik. Die Autoren stellen dabei die Prinzipien der System-Modellierung und der Entwicklung von Software in den Mittelpunkt der Darstellung. Der hier vorliegende Band vermittelt die wesentlichen Grundbegriffe und theoretischen Grundlagen der Informatik, wie z.B. Algebren, Relationen, elementare Logik, funktionales Programmieren, abstrakte Datentypen. Die vierte Auflage des bewahrten Lehrbuches i...

Diese in der Neuauflage zweibandige Einfuhrung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Die Darstellung zeichnet sich durch saubere formale Fundierung und begriffliche Klarheit aus. Der vorliegende Band 2 fasst die in der 1. Auflage getrennt erschienenen Teile III und IV zusammen. Teil III behandelt Grundbegriffe und Beschreibungstechniken fur verteilte informationsverarbe...

Ein Lehrbuch - drei Komponenten! Die gedruckte Version bietet ein bisher einzigartiges Repetitorium zur Grundvorlesung Analysis. Es umfasst in strukturierter und sich auf das Wesentliche beschrankende Form den Stoff, das Basiswissen fur Vordiplom und Zwischenprufungen Die beigefugte CD-ROM enthalt das vollstandige Lehrbuch mit ausfuhrlichen Beweisen und Detailwissen, welches das Repetitorium erganzt. Mit der auf der CD-ROM ebenfalls enthaltenen Zugangsberechtigung kann via Internet das auf einem...

This book covers the different technologies of Internet, and machine learning capabilities involved in Cognitive Internet of Things (CIoT). Machine learning is explored by covering all the technical issues and various models used for data analytics during decision making at different steps. It initiates with IoT basics, its history, architecture and applications followed by capabilities of CIoT in real world and description of machine learning (ML) in data mining. Further, it explains various ML...

AI Knowledge Transfer from the University to Society: Applications in High-Impact Sectors brings together examples from the "Innovative Ecosystem with Artificial Intelligence for Andalusia 2025" project at the University of Seville, a series of sub-projects composed of research groups and different institutions or companies that explore the use of Artificial Intelligence in a variety of high-impact sectors to lead innovation and assist in decision-making. Key Features Includes chapters on heal...