Computers - Computer Science

General purpose theorem provers provide sophisticated proof methods, and become valuable tools in, e.g. formal software development. Of particular interest here are proof systems with the LCF architecture, developing large theories from a small logical kernel, because this approach simplifies the validation of derived...

This thesis contributes to the field of inverse problems with sparsity constraints. Since the pioneering work by Daubechies, Defries and De Mol in 2004, methods for solving operator equations with sparsity constraints play a central role in the field of inverse problems. This can...

Using wireless sensor networks as part of pervasive computing scenarios is a difficult problem. It involves providing functionality and node behavior required by pervasive computing applications given the very limited capabilities and the constraints of wireless sensor nodes. The goal of this work is...

Modern platform FPGAs integrate programmable logic with dedicated microprocessors and present powerful implementation platforms for complete reconfigurable systems-on-chip. However, traditional design techniques that view specialized hardware circuits as passive coprocessors are ill-suited for programming these reconfigurable computers. Moreover, the promising feature of partial reconfiguration...

Similar to a Computational Grid but departing from centralized components and significant administrative overhead, a Desktop Grid leverages the idle CPU time of desktop computers that are connected to the Internet. A middleware which is executed on every participating computer can build a Desktop...

B-Spline and NURBS techniques have already been successfully used in Isogeometric Analysis which is a method for directly integrating CAD models in numerical simulations. Our purpose is to improve existing techniques to enhance the efficiency. First, we use local B-Spline subdivisions and knot insertions...

In theory multiple languages can be recognized just as one language. However, current state of the art speech recognition systems are based on statistical models with many parameters. Extending such models to multiple languages requires more resources. Therefore a lot of research in the...

The presented collection of contributions is intended for professionals as well as postgraduate students in electrical and control engineering, experts in communication science and for computer scientists. The book also contains a motivating material for researchers in applied mathematics and modern computational engineering. The...

X-Ray Computed Tomography (CT) is one of the most important imaging modalities in radiology and has become an indispensable tool in many diagnostical and treatment assessment tasks. The radiation exposure is usually seen as the major drawback of the method. Of course, with respect...

The automation of cross-organizational business processes is one of the most important trends of the information age. Instead of a tight integration however, collaborating organizations rather strive for a loose coupling of their information systems. Supporting this objective, the Architecture of Interoperable Information Systems...

Transmission of digital audio and video streams is one of the major applications in future wireless networks. Increasing bandwidths and processing power make it possible to receive video streams almost everywhere. But the classes of mobile devices vary from multimedia enabled mobile phones to...

Model-Driven Software Engineering (MDSE) encompasses traditional areas of language design, tool engineering, and system validation and verification, following a unified conceptual and technical framework (metamodeling, declarative model transformations, model-based analysis). This work presents design cases of methodologies and tools for MDSE, where the state-of-the-art...

Focus of this work are pattern recognition related aspects of computer assisted pronunciation training (CAPT) for second language learning. An overview of commercial systems shows that pronunciation training is being addressed by the growing field of computer assisted language learning only to a small...

This dissertation contributes a development and runtime platform to facilitate the realization of pervasive computing applications in the domain of hybrid games. The developed platform consists of several physical and graphical user interfaces that effectively link properties from the real and the virtual world....

Electrical machines spread over production lines in the industry and can cause the shutdown of whole equipments if they collapse. In the past, safe and reliable operation was basically ensured by manufacturers and users of electrical machines with the help of simple protections such...

A number of application scenarios benefit from using wireless sensor networks for monitoring, tracking and event detection. Since sensor nodes are small and energy-constrained and possess severely limited computational capabilities and memory resources, sensor networks require the development of a new generation of algorithms...

Softwarewartung kann durch deklarative Transformationswerkzeuge unterstutzt werden, die aus Sprachbeschreibungen und zusatzlicher Information generiert werden. Daher stehen Sprachprozessoren im Mittelpunkt der Betrachtungen. Die Evolution einer Softwaresprache spielt dabei eine zentrale Rolle. Sie erfordert neben der Wartung der Sprachbeschreibung sowohl die Anpassung der in dieserSprache...

This thesis presents certifying system translations. This is a technique to guarantee the correctness of system translations. When conducting a translation of a system we compare for each translation the original and translated systems and decide whether the translation has been carried out correctly....

The 3rd workshop of the Special Interest Group "Model Driven SoftwareEngineering" (SIG MDSE) on Dec. 11-12, in Berlin, Germany, focused ontransformations, transformation languages and tools. Contributions: Refinement Transformation Support for QVT Relational Transformations, MDA Transformation Languages, Modelling Graphical User Interfaces forembedded Systems, User Interfaces...

RFID technology promises to improve business applications by narrowing the gap between IT systems and the physical world. In this thesis we target the integration of RFID into enterprise software environments. We address (1) use cases for RFID in manufacturing and their economic effects,...

The widespread use of the product line approach by companies developing software for a large customer base is motivated by significant improvements in time-to-market, productivity, and quality. However, these companies very often face the challenge of increasing degrees of complexity caused by the variability...

In 2008, the first of three DAAD PhD-Summer Academies on human-machine Interaction in networked systems and multimodal interfaces was hosted at the University of Chile in Santiago de Chile. It is focused on three topics: Multimodal Human-Machine Interaction in Different Application Scenarios Modeling Human-Machine...

Communication networks are part of our societies' vital infrastructures, and the services they provide are fundamental to our daily work and private lives. The networks are constantly evolving, which cause high uncertainty about current and future network usage and traffic demands. An important trend...

This work is about creating desired artificial self-organization in multi-agent and multi-robotic systems. It is demonstrated that emergent phenomena can artificially be designed when to treat collective systems on a new structural level. Examples of desired self-organization, implemented in manufacturing environment and in a...

The 5th Polish-German Teletraffic Symposium (PGTS '08) takes place in Berlin. It continues a series of events held every two years (Dresden 2000, Gd'ansk 2002, Dresden 2004, Wroclaw 2006). PGTS has been created to fasten the cooperation between the telecommunications and teletraffic communities of...

Whether the results of statistical procedures are accepted or not is strongly influenced by the way how they are interpreted. Effects based on data encodings and the order in which the data occurs in the learning sample are particularly problematic. Modern data collections often...

This thesis deals with the development of metrics for the automated determination of the quality and grade of acceptance of digital passport photographs without having any reference image available. Different kinds of algorithms were implemented to determine values for image attributes and to detect...

The use of non-intrusive virtual environments is gaining more and more importance but was focused mainly on addressing the visual sense. However, the human perception consists not only of visual input and thus it would be worthwhile to create multi-modal and interactive virtual environments....

This book constitutes the proceedings of the Doctoral Symposium of the 15th European Software Process Improvement Conference, EuroSPI 2008, held in Dublin City University, Dublin, Ireland in September 2008. The purpose of the EuroSPI Doctoral Symposium was to provide an opportunity for graduate students...

The papers in these proceedings present selected articles from the Second International Business Informatics Challenge and Conference 2007, which was hosted at Dublin City University (Ireland). The papers show a wide range of technological innovations and applications of information and communications technology (ICT) and...

In this work we identify the main concepts of Aspect Orientation (AO), namely message filters and an aspect weaver. In doing so, we substantiate these notions by defining a composition model based on the formal language FOCUS and a model of composition filters designed...

The number of robots applied to different jobs in our society has steadily increased over the past years. While industrial robots welding and varnishing our cars are quite common these days, the future generation of robots will enter our everyday life. In contrast to...

This thesis deals with the jointly processing of radar signals stemming from independent sensors observing the same scattering scenario at different frequency bands. The suitability of a simple point-scatterer model to describe complex scattering mechanisms is verified over wide bandwidths. The minimum error in...

Since the 1950s, Sound and Music Computing (SMC) research has had a profound impact on the development of culture and technology in our post-industrial society. SMC research approaches the whole sound and music communication chain from a multidisciplinary point of view. By combining scientific,...

Diese Arbeit befasst sich mit der Problematik der echtzeitfahigen Erkennung und Verfolgung von Objekten in Bildsequenzen. Die Implementierung dieser visuellen Routinen als Sensormodalitat auf Maschinen wird immer haufiger in verschiedenen Bereichen angewendet, fuhrt aber auch zu einer Vielzahl von Problemen, die betrachtet werden mussen,...

his book systematically discusses a basic problem in combinatorics on words: the ambiguity of morphisms, i. e. the question of whether, for any finite string s and any given morphism h, there is another morphism g satisfying g(s)=h(s). These studies yield a characterisation of...

Wireless Sensor Networks are a canonical example of a wider field dealing with Cooperating Objects that attempts to create the necessary technologies to make Weiser's vision of the disappearing computer a reality. Cooperating Objects are small computing devices equipped with wireless communication capabilities that...

his book reports on the results of a project concerned with the historical replication of interactive key experiments in psychology with the intention of contributing to the understanding of experimentation in the social sciences and of providing interactive learning material in psychology. Five classical...

The main focus of this work is the development of new methods for the self-calibration of a rigid stereo camera system. However, many of the algorithms introduced here have a wider impact, particularly in robot hand-eye calibration with all its different areas of application....

Couponing is a well-known and old promotional instrument. Coupon-vouchers are used in various countries all over the world for different objectives such as customer retention, market share increase, price discrimination, or market research. Nevertheless, the efficiency of traditional coupon processing is doubted. Many objectives...

Since knowledge about processes in living cells increases, modelling and simulation techniques are used to get new insights into these processes. This book describes visualisation techniques that were developed to ease the modelling procedure and support the analysis of simulation results. The biological background...

The Unified Modeling Language (UML) and the model-driven engineering (MDE) approach became standard in software engineering. The recent development in the design of mechatronic systems, which combine technologies from mechanical and electrical engineering as well as from software engineering, applies increasingly UML and MDE....

Building large-scale web sites is difficult. To make matters worse, keeping them up-to-date, consistent and error-free is even harder. A good way to alleviate these problems is to have the web site be created automatically, and to do so by precisely defining what the...

The IPACS project (Integrated Performance Analysis of Computer Systems), which was funded by the German Federal Ministry of Education and Research (BMBF), wants to define a new basis for measuring system performance of distributed systems. Its objective is to develop methods for measuring system...

This thesis presents new models and estimation techniques based on the generalized linear model framework. In Chapter 1 the GAMBoost procedure for estimation of generalized additive models is developed. Based on boosting and gradient descent in function space it generalizes the notion of repeated...

Although the benefits of Service-Oriented Architectures (SOA) are well-understood in the area of software engineering, e-learning platforms are commonly still implemented in the form of monolithic applications. The latter resemble one another to a large extend, but a reuse of functionalities between platforms in...

The physics of materials with strongly correlated electrons is one of the most exciting topics of present-day theoretical and experimental solid-state research. A wide variety of interesting phenomena, among them metal-insulator transitions, the giant and colossal magnetoresistance effect and heavy-fermion behavior, can be attributed...

Several scientists suggested that perception in biological agents is not a pure bottom-up process, but is partly resulting from the interaction between motor commands and their sensory consequences. So far, this hypothesis has only been a theoretical possibility backed by some behavioral experiments. The...

Image guided needle placement procedures are often performed under X-ray fluoroscopy or CT-imaging, since both modalities provide real-time image feedback with appropriate quality and convenient access to the patient. However, both imaging modalities use ionizing radiation, which often results in high radiation dose especially...

Mixture model is known as a convenient way for modelling the probability density function in statistics. Recently, the method is adopted by machine learning communities in a variety of application settings such as cluster analysis, classification, density estimation and function approximation. This book concerns...