This book constitutes the thoroughly refereed post-conference proceedings of the 7th International ICST Conference on Mobile Multimedia Communications (MOBIMEDIA 2011) held in Cagliari, Italy, in September 2011 The 26 revised full papers presented were carefully selected from numerous submissions and focus topics such as quality of experience, dynamic spectrum access wireless networks in the TV white spaces, media streaming, mobile visual search, image processing and transmission, and mobile applications.

Although synthetic environments were traditionally used in military settings for mission rehearsal and simulations, their use is rapidly spreading to a variety of applications in the commercial, research and industrial sectors, such as flight training for commercial aircraft, city planning, car safety research in real-time traffic simulations, and video games. 3D Synthetic Environment Reconstruction contains seven invited chapters from leading experts in the field, bringing together a coherent body of recent knowledge relating 3D geospatial data collection, design issues, and techniques used in synthetic environments design, implementation and interoperability. In particular, this book describes new techniques for the generation of Synthetic Environments with increased resolution and rich attribution, both essential for accurate modeling and simulation. This book also deals with interoperability of models and simulations, which is necessary for facilitating the reuse of modeling and simulation components. 3D Synthetic Environment Reconstruction is an excellent reference for researchers and practitioners in the field.

Video Object Extraction and Representation: Theory and Applications is an essential reference for electrical engineers working in video; computer scientists researching or building multimedia databases; video system designers; students of video processing; video technicians; and designers working in the graphic arts. In the coming years, the explosion of computer technology will enable a new form of digital media. Along with broadband Internet access and MPEG standards, this new media requires a computational infrastructure to allow users to grab and manipulate content. The book reviews relevant technologies and standards for content-based processing and their interrelations. Within this overview, the book focuses upon two problems at the heart of the algorithmic/computational infrastructure: video object extraction, or how to automatically package raw visual information by content; and video object representation, or how to automatically index and catalogue extracted content for browsing and retrieval.The book analyzes the designs of two novel, working systems for content-based extraction and representation in the support of MPEG-4 and MPEG-7 video standards, respectively. Features of the book include: * Overview of MPEG standards; * A working system for automatic video object segmentation; * A working system for video object query by shape; * Novel technology for a wide range of recognition problems; * Overview of neural network and vision technologies Video Object Extraction and Representation: Theory and Applications will be of interest to research scientists and practitioners working in fields related to the topic. It may also be used as an advanced-level graduate text.

Rapid development of remote sensing technology in recent years has greatly increased availability of high-resolution satellite image data. However, detailed analysis of such large data sets also requires innovative new techniques in image and signal processing.

This important text/reference presents a comprehensive review of image processing methods, for the analysis of land use in residential areas. Combining a theoretical framework with highly practical applications, making use of both well-known methods and cutting-edge techniques in computer vision, the book describes a system for the effective detection of single houses and streets in very high resolution.

Topics and features: with a Foreword by Prof. Dr. Peter Reinartz of the German Aerospace Center; provides end-of-chapter summaries and review questions; presents a detailed review on remote sensing satellites; examines the multispectral information that can be obtained from satellite images, with a focus on vegetation and shadow-water indices; investigates methods for land-use classification, introducing precise graph theoretical measures over panchromatic images; addresses the problem of detecting residential regions; describes a house and street network-detection subsystem; concludes with a summary of the key ideas covered in the book.

This pioneering work on automated satellite and aerial image-understanding systems will be of great interest to researchers in both remote sensing and computer vision, highlighting the benefit of interdisciplinary collaboration between the two communities. Urban planners and policy makers will also find considerable value in the proposed system."

Pedestrian Protection Systems (PPSs) are on-board systems aimed at detecting and tracking people in the surroundings of a vehicle in order to avoid potentially dangerous situations. These systems, together with other Advanced Driver Assistance Systems (ADAS) such as lane departure warning or adaptive cruise control, are one of the most promising ways to improve traffic safety. By the use of computer vision, cameras working either in the visible or infra-red spectra have been demonstrated as a reliable sensor to perform this task. Nevertheless, the variability of human's appearance, not only in terms of clothing and sizes but also as a result of their dynamic shape, makes pedestrians one of the most complex classes even for computer vision. Moreover, the unstructured changing and unpredictable environment in which such on-board systems must work makes detection a difficult task to be carried out with the demanded robustness. In this brief, the state of the art in PPSs is introduced through the review of the most relevant papers of the last decade. A common computational architecture is presented as a framework to organize each method according to its main contribution. More than 300 papers are referenced, most of them addressing pedestrian detection and others corresponding to the descriptors (features), pedestrian models, and learning machines used. In addition, an overview of topics such as real-time aspects, systems benchmarking and future challenges of this research area are presented.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 7th International Conference on Logical Aspects of Computational Linguistics, LACL 2012, held in Nantes, France, in July 2012. The 15 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 24 submissions. The papers are organized in topical sections on logical foundation of syntactic formalisms, logics for semantics of lexical items, sentences, discourse and dialog, applications of these models to natural language processing, type theoretic, proof theoretic, model theoretic and other logically based formal methods for describing natural language syntax, semantics and pragmatics, as well as the implementation of natural language processing software relying on such methods.

Exploration of Visual Data presents latest research efforts in the area of content-based exploration of image and video data. The main objective is to bridge the semantic gap between high-level concepts in the human mind and low-level features extractable by the machines. The two key issues emphasized are "content-awareness" and "user-in-the-loop". The authors provide a comprehensive review on algorithms for visual feature extraction based on color, texture, shape, and structure, and techniques for incorporating such information to aid browsing, exploration, search, and streaming of image and video data. They also discuss issues related to the mixed use of textual and low-level visual features to facilitate more effective access of multimedia data. Exploration of Visual Data provides state-of-the-art materials on the topics of content-based description of visual data, content-based low-bitrate video streaming, and latest asymmetric and nonlinear relevance feedback algorithms, which to date are unpublished.

This book constitutes the refereed proceedings of the International Second International Multi-Conference on Artificial Intelligence Technology, M-CAIT 2013, held in Shah Alam, in August 2013. The 25 revised full papers presented were carefully reviewed and selected from 110 submissions. M-CAIT 2013 hosted four special tracks in a single event: Intelligence Computation on Pattern Analysis and Robotics (ICPAIR 2013), Data Mining and Optimization (DMO 2013), Semantic Technology and Information Retrieval (STAIR 2013) and Industrial Computing & Applied Informatics (IComp 2013). The papers address issues of state-of-the-art research, development, implementation and applications within the four focus areas in CAIT: pattern recognition, data mining and optimization, knowledge technology and industrial computing.

This book constitutes the refereed proceedings of the International Conference, VISIGRAPP 2011, the Joint Conference on Computer Vision, Theory and Applications (VISAPP), on Imaging Theory and Applications (IMAGAPP), on Computer Graphics Theory and Applications (GRAPP), and on Information Visualization Theory and Applications (IVAPP), held in Vilamoura, Portugal, in March 2011. The 15 revised full papers presented together with one invited paper were carefully reviewed and selected. The papers are organized in topical sections on computer graphics theory and applications; imaging theory and applications; information visualization theory and applications; and computer vision theory and applications.

Bio-Inspired Hybrid Intelligent Systems for Image Analysis and Pattern Recognition comprises papers on diverse aspects of bio-inspired models, soft computing and hybrid intelligent systems.

The articles are divided into four main parts. The first one consists of papers that propose new fuzzy and bio-inspired models to solve general problems. The second part deals with the main theme of modular neural networks in pattern recognition, which are basically papers using bio-inspired techniques. The third part contains papers that apply hybrid intelligent systems to the problem of time series analysis and prediction, while the fourth one shows papers dealing with bio-inspired models in optimization and robotics applications. An edited book in which both theoretical and application aspects are covered.

The realistic generation of virtual doubles of real-world actors has been the focus of computer graphics research for many years. However, some problems still remain unsolved: it is still time-consuming to generate character animations using the traditional skeleton-based pipeline, passive performance capture of human actors wearing arbitrary everyday apparel is still challenging, and until now, there is only a limited amount of techniques for processing and modifying mesh animations, in contrast to the huge amount of skeleton-based techniques. In this thesis, we propose algorithmic solutions to each of these problems. First, two efficient mesh-based alternatives to simplify the overall character animation process are proposed. Although abandoning the concept of a kinematic skeleton, both techniques can be directly integrated in the traditional pipeline, generating animations with realistic body deformations. Thereafter, three passive performance capture methods are presented which employ a deformable model as underlying scene representation. The techniques are able to jointly reconstruct spatio-temporally coherent time-varying geometry, motion, and textural surface appearance of subjects wearing loose and everyday apparel. Moreover, the acquired high-quality reconstructions enable us to render realistic 3D Videos. At the end, two novel algorithms for processing mesh animations are described. The first one enables the fully-automatic conversion of a mesh animation into a skeletonbased animation and the second one automatically converts a mesh animation into an animation collage, a new artistic style for rendering animations. The methods described in the thesis can be regarded as solutions to specific problems or important building blocks for a larger application. As a whole, they form a powerful system to accurately capture, manipulate and realistically render realworld human performances, exceeding the capabilities of many related capture techniques. By this means, we are able to correctly capture the motion, the timevarying details and the texture information of a real human performing, and transform it into a fully-rigged character animation, that can be directly used by an animator, or use it to realistically display the actor from arbitrary viewpoints.

In recent yearswe haveseen considerableadvances in the development of - manoid robots, that is robots with an anthropomorphic design. Such robots should be capable of autonomously performing tasks for their human users in changing environments by adapting to these and to the circumstances at hand. To do so, they as well as any kind of autonomous robot need to have some way of understanding the world around them. We humans do so by our senses, both our far senses vision and hearing (smelling too) and our near senses touch and taste. Vision plays a special role in the way it simulta- ously tells us "where" and "what" in a direct way. It is therefore an accepted factthatto developautonomousrobots,humanoidornot,itisessentialto- clude competent systems for visual perception. Such systems should embody techniques from the ?eld of computer vision, in which sophisticated com- tational methods for extracting information from visual imagery have been developed over a number of decades. However, complete systems incorpor- ing such advanced techniques, while meeting the requirements of real-time processing and adaptivity to the complexity that even our everyday envir- ment displays, are scarce. The present volume takes an important step for ?lling this gap by presenting methods and a system for visual perception for a humanoid robot with speci?c applications to manipulation tasks and to how the robot can learn by imitating the human.

In den letzten Jahren hat sich der Workshop "Bildverarbeitung fur die Medizin" durch erfolgreiche Veranstaltungen etabliert. Ziel ist auch 2012 wieder die Darstellung aktueller Forschungsergebnisse und die Vertiefung der Gesprache zwischen Wissenschaftlern, Industrie und Anwendern. Die Beitrage dieses Bandes - einige davon in englischer Sprache - umfassen alle Bereiche der medizinischen Bildverarbeitung, insbesondere Algorithmen, Hard- und Softwaresysteme sowie deren klinische Anwendung, u.a.: Bildgebung und -akquisition, Sichtbares Licht, Endoskopie, Mikroskopie, Visualisierung und Animation, Patientenindividuelle Simulation und Planung, Computerunterstutzte Diagnose, Biomechanische Modellierung, Computergestutzte Operationsplanung, Bildverarbeitung in der Telemedizin, Bildgestutzte Roboter und Chirurgische Simulatoren."

Computer vision is one of the most complex and computationally intensive problem. Like any other computationally intensive problems, parallel pro cessing has been suggested as an approach to solving the problems in com puter vision. Computer vision employs algorithms from a wide range of areas such as image and signal processing, advanced mathematics, graph theory, databases and artificial intelligence. Hence, not only are the comput ing requirements for solving vision problems tremendous but they also demand computers that are efficient to solve problems exhibiting vastly dif ferent characteristics. With recent advances in VLSI design technology, Single Instruction Multiple Data (SIMD) massively parallel computers have been proposed and built. However, such architectures have been shown to be useful for solving a very limited subset of the problems in vision. Specifically, algorithms from low level vision that involve computations closely mimicking the architec ture and require simple control and computations are suitable for massively parallel SIMD computers. An Integrated Vision System (IVS) involves com putations from low to high level vision to be executed in a systematic fashion and repeatedly. The interaction between computations and information dependent nature of the computations suggests that architectural require ments for computer vision systems can not be satisfied by massively parallel SIMD computers."

The development of technologies for the identi?cation of individuals has driven the interest and curiosity of many people. Spearheaded and inspired by the Bertillon coding system for the classi?cation of humans based on physical measurements, scientists and engineers have been trying to invent new devices and classi?cation systems to capture the human identity from its body measurements. One of the main limitations of the precursors of today's biometrics, which is still present in the vast majority of the existing biometric systems, has been the need to keep the device in close contact with the subject to capture the biometric measurements. This clearly limits the applicability and convenience of biometric systems. This book presents an important step in addressing this limitation by describing a number of methodologies to capture meaningful biometric information from a distance. Most materials covered in this book have been presented at the International Summer School on Biometrics which is held every year in Alghero, Italy and which has become a ?agship activity of the IAPR Technical Committee on Biometrics (IAPR TC4). The last four chapters of the book are derived from some of the best p- sentations by the participating students of the school. The educational value of this book is also highlighted by the number of proposed exercises and questions which will help the reader to better understand the proposed topics.

The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EUROCAST 2011, held in February 2011 in Las Palmas de Gran Canaria, Spain. The total of 160 papers presented were carefully reviewed and selected for inclusion in the books. The contributions are organized in topical sections on concepts and formal tools; software applications; computation and simulation in modelling biological systems; intelligent information processing; heurist problem solving; computer aided systems optimization; model-based system design, simulation, and verification; computer vision and image processing; modelling and control of mechatronic systems; biomimetic software systems; computer-based methods for clinical and academic medicine; modeling and design of complex digital systems; mobile and autonomous transportation systems; traffic behaviour, modelling and optimization; mobile computing platforms and technologies; and engineering systems applications.

The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EUROCAST 2011, held in February 2011 in Las Palmas de Gran Canaria, Spain. The total of 160 papers presented were carefully reviewed and selected for inclusion in the books. The contributions are organized in topical sections on concepts and formal tools; software applications; computation and simulation in modelling biological systems; intelligent information processing; heurist problem solving; computer aided systems optimization; model-based system design, simulation, and verification; computer vision and image processing; modelling and control of mechatronic systems; biomimetic software systems; computer-based methods for clinical and academic medicine; modeling and design of complex digital systems; mobile and autonomous transportation systems; traffic behaviour, modelling and optimization; mobile computing platforms and technologies; and engineering systems applications.

This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career. The volume begins with a complete account of Harald Ganzinger's work and then turns its focus to the research of his former colleagues, students, and friends who pay tribute to him through their writing. Their individual papers span a broad range of topics, including programming language semantics, analysis and verification, first-order and higher-order theorem proving, unification theory, non-classical logics, reasoning modulo theories, and applications of automated reasoning in biology.

It has long been a dream to realize machines with flexible visual perception capability. Research on digital image processing by computers was initiated about 30 years ago, and since then a wide variety of image processing algorithms have been devised. Using such image processing algorithms and advanced hardware technologies, many practical ma chines with visual recognition capability have been implemented and are used in various fields: optical character readers and design chart readers in offices, position-sensing and inspection systems in factories, computer tomography and medical X-ray and microscope examination systems in hospitals, and so on. Although these machines are useful for specific tasks, their capabilities are limited. That is, they can analyze only simple images which are recorded under very carefully adjusted photographic conditions: objects to be recognized are isolated against a uniform background and under well-controlled artificial lighting. In the late 1970s, many image understanding systems were de veloped to study the automatic interpretation of complex natural scenes. They introduced artificial intelligence techniques to represent the knowl edge about scenes and to realize flexible control structures. The first author developed an automatic aerial photograph interpretation system based on the blackboard model (Naga1980). Although these systems could analyze fairly complex scenes, their capabilities were still limited; the types of recognizable objects were limited and various recognition vii viii Preface errors occurred due to noise and the imperfection of segmentation algorithms."

This book constitutes the refereed proceedings of the 4th International Conference on Scale Space Methods and Variational Methods in Computer Vision, SSVM 2013, held in Schloss Seggau near Graz, Austria, in June 2013. The 42 revised full papers presented were carefully reviewed and selected 69 submissions. The papers are organized in topical sections on image denoising and restoration, image enhancement and texture synthesis, optical flow and 3D reconstruction, scale space and partial differential equations, image and shape analysis, and segmentation.

The world is full of objects, many of which are visible to us as surfaces. Examples are people, cars, machines, computers and bananas. Exceptions are such things as clouds and trees, which have a more detailed, fuzzy structure. Computer vision aims to detect and reconstruct features of surfaces from the images produced by cameras, in some ways mimicking the way in which humans reconstruct features of the world around them by using their eyes. This book describes how the 3D shape of surfaces can be recovered from image sequences of outlines. Cipolla and Giblin provide all the necessary background in differential geometry (assuming knowledge of elementary algebra and calculus) and in the analysis of visual motion, and emphasizes intuitive visual understanding of the geometric techniques with computer-generated illustrations. They also give a thorough introduction to the mathematical techniques and the details of the implementations, and apply the methods to data from real images.

Although there has been much progress in developing theories, models and systems in the areas of Natural Language Processing (NLP) and Vision Processing (VP), there has heretofore been little progress on integrating these two subareas of Artificial Intelligence (AI). This book contains a set of edited papers addressing theoretical issues and the grounding of representations in NLP and VP from philosophical and psychological points of view. The papers focus on site descriptions such as the reasoning work on space at Leeds, UK, the systems work of the ILS (Illinois, U.S.A.) and philosophical work on grounding at Torino, Italy, on Schank's earlier work on pragmatics and meaning incorporated into hypermedia teaching systems, Wilks' visions on metaphor, on experimental data for how people fuse language and vision and theories and computational models, mainly connectionist, for tackling Searle's Chinese Room Problem and Harnad's Symbol Grounding Problem. The Irish Room is introduced as a mechanism through which integration solves the Chinese Room. The U.S.A., China and the EU are well reflected, showing the fact that integration is a truly international issue. There is no doubt that all of this will be necessary for the SuperInformationHighways of the future.

Recently, much attention has been paid to image processing with multiresolution and hierarchical structures such as pyramids and trees. This volume deals with recursive pyramids, which combine the advantages of available multiresolution structures and which are convenient both for global and local image processing. Recursive pyramids are based on regular hierarchical (recursive) structures containing data on image fragments of different sizes. Such an image representation technique enables the effective manipulation of pictorial information as well as the development of special hardware or data structures. The major aspects of this book are two original mathematical models of greyscale and binary images represented by recursive structures. Image compression, transmission and processing are discussed using these models. A number of applications are presented, including optical character recognition, expert systems and special computer architecture for pictorial data processing. The majority of results are presented as algorithms applicable to discrete information fields of arbitrary dimensions (e.g. 2-D or 3-D images). The book is divided into six chapters: Chapter 1 provides a brief introduction. Chapter 2 then deals with recursive structures and their properties. Chapter 3 introduces pyramidal image models. Image coding and the progressive transmission of images with gradual refinement are discussed in Chapter 4. Chapters 5 and 6 are devoted to image processing with pyramidal-recursive structures and applications. The volume concludes with a comprehensive bibliography. For applied mathematicians and computer scientists whose work involves computer vision, information theory and other aspects of image representation techniques.

Image analysis is one of the most challenging areas in today's computer sci ence, and image technologies are used in a host of applications. This book concentrates on image textures and presents novel techniques for their sim ulation, retrieval, and segmentation using specific Gibbs random fields with multiple pairwise interaction between signals as probabilistic image models. These models and techniques were developed mainly during the previous five years (in relation to April 1999 when these words were written). While scanning these pages you may notice that, in spite of long equa tions, the mathematical background is extremely simple. I have tried to avoid complex abstract constructions and give explicit physical (to be spe cific, "image-based") explanations to all the mathematical notions involved. Therefore it is hoped that the book can be easily read both by professionals and graduate students in computer science and electrical engineering who take an interest in image analysis and synthesis. Perhaps, mathematicians studying applications of random fields may find here some less traditional, and thus controversial, views and techniques.

This volume constitutes the refereed proceedings of the 6th International Conference on Multimedia Communications, Services and Security, MCSS 2013, held in Krakow, Poland, in June 2013. The 27 full papers included in the volume were selected from numerous submissions. The papers cover various topics related to multimedia technology and its application to public safety problems.