Optimization is an integral part to science and engineering. Most real-world applications involve complex optimization processes, which are difficult to solve without advanced computational tools. With the increasing challenges of fulfilling optimization goals of current applications there is a strong drive to advance the development of...
One major branch of enhancing the performance of evolutionary algorithms is the exploitation of linkage learning. This monograph aims to capture the recent progress of linkage learning, by compiling a series of focused technical chapters to keep abreast of the developments and trends in the area of linkage. In evolutionary algorithms, linkage...
Computer vision is the science and technology of making machines that see.
It is concerned with the theory, design and implementation of algorithms that
can automatically process visual data to recognize objects, track and recover
their shape and spatial layout.
The International Computer Vision Summer School - ICVSS was...
Phenomena occurring during a contact of two bodies are encountered in everyday life. In reality almost every type of motion is related to frictional contact between a moving body and a ground. Moreover, modeling of simple and more complex processes as nailing, cutting, vacuum pressing, movement of machines and their elements, rolling or,...
Software defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to show the absence of certain kinds of errors or that a program satisfies its specification. Such high levels of software quality can be achieved by software verification, that is, by proving the...
It is our great pleasure to welcome you to the proceedings of the 10th annual event of
the International Conference on Algorithms and Architectures for Parallel Processing
(ICA3PP).
ICA3PP is recognized as the main regular event covering the many dimensions of
parallel algorithms and architectures, encompassing...
Nach einer Einführung in das Kalenderwesen erläutert der Autor Alternativen zum gregorianischen Kalender. Er präsentiert verschiedene Kalendersysteme wie den europäischen, den japanischen, chinesischen und den jüdischen Kalender und erläutert anhand der Oster-Berechnung die Methoden der Informatik, die für...
The intention of this booklet is a brief but general introduction into the treatment of the Finite Element Method (FEM). The FEM has become the leading method in computer–oriented mechanics, so that many scientific branches have grown up besides over the last decades. Nevertheless, the FEM today is a question of economy. On the one hand...
The 10th International Conference on Intelligent Tutoring Systems, ITS 2010, continued
the bi-annual series of top-flight international conferences on the use of advanced
educational technologies that are adaptive to users or groups of users. These highly
interdisciplinary conferences bring together researchers in the learning sciences,...
The 10th International Conference on Intelligent Tutoring Systems, ITS 2010, continued
the bi-annual series of top-flight international conferences on the use of advanced
educational technologies that are adaptive to users or groups of users. These highly
interdisciplinary conferences bring together researchers in the learning sciences,...
This book and its companion volume, LNCS vols. 6145 and 6146, constitute the
proceedings of the International Conference on Swarm Intelligence (ICSI 2010)
held in Beijing, the capital of China, during June 12-15, 2010. ICSI 2010 was
the first gathering in the world for researchers working on all aspects of swarm
intelligence, and...
Cutting planes (cuts) are very popular in the OR community, where they are
used to strengthen the Linear Programming (LP) relaxation of Mixed-Integer
Programs (MIPs) in the hope of improving the performance of an exact LPbased
solver. In particular, an intense research effort has been devoted to the
study of families of general cuts,...
