ANTS-IX was the ninth edition of the biennial International Symposium on
Algorithmic Number Theory. The first edition of this symposium was held at
Cornell University in 1994. ANTS-IX was held July 19-23, 2010 at INRIA in
Nancy, France.
The ANTS-IX Program Committee consisted of 12 members whose names
are listed on the next...
Die simulationsgestützte Optimierung von Produktportfolios und Produktionsketten birgt großes Potenzial – Berichte über Kopplungen von Simulation und Optimierung sind aber rar. Der Band liefert erstmals deutschsprachige Anwendungsbeispiele und einen Überblick über die Möglichkeiten von Simulation und...
Model-Driven Development (MDD) has become an important paradigm in software
development. The approach claims to provide a solution for systematic and
efficient software development for the highly complex systems developed nowadays.
It uses models, i.e. abstract representations of certain aspects of a system,
as primary artifacts...
This book reports the major results of roughly four years of doctoral research. Among the many people who have contributed to it, there are some to whom I owe a particularly large debt of gratitude.
Since 2002, FoLLI has awarded an annual prize for outstanding dissertations in the fields of Logic, Language and Information. This...
This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2010, held in St. Petersburg, Russia in September 2010. The 16 revised full papers and 6 revised short papers presented together with 5 invited papers were carefully...
This book is a peer-reviewed collection of papers, modified and extended for the purpose of this publication, but originally presented at the International Conference on Evaluation of Novel Approaches to Software Engineering 2008 and 2009 (ENASE 2008 / 2009). The book’s content is placed within the entire framework of software...
Wireless ad hoc sensor networks have recently become a very active research subject
as well as a topic of rapid technological progress and large-scale practical development
and application activities. However, a solid foundational and theoretical
background seems still necessary for sensor networking to achieve its full potential....
While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined – ideally there exist complete precise descriptions of the source and target languages, while additional...
This volume in the Springer Lecture Notes in Computer Science (LNCS) series
contains the papers presented at the S+SSPR 2010 Workshops, which was the
seventh occasion that SPR and SSPR workshops have been held jointly. S+SSPR
2010 was organized by TC1 and TC2, Technical Committees of the International
Association for Pattern...
The deluge of data observed throughout research and industry has turned the analysis of the resulting information into the primary limiting factor for the rapid progress of science, engineering, and medicine. The field of visualization strives to tackle this data analysis challenge by devising visual representations that afford users an...
We describe in this book, bio-inspired models and applications of hybrid intelligent
systems using soft computing techniques for image analysis and pattern recognition
based on biometrics and other information sources. Soft Computing (SC)
consists of several intelligent computing paradigms, including fuzzy logic, neural
networks,...
The creation and consumption of content, especially visual content, is ingrained into our modern world. This book contains a collection of texts centered on the evaluation of image retrieval systems. To enable reproducible evaluation we must create standardized benchmarks and evaluation methodologies. The individual chapters in this book...
