For a long time computer scientists have distinguished between fast and slow algorithms. Fast (or good) algorithms are the algorithms that run in polynomial time, which means that the number of steps required for the algorithm to solve a problem is bounded by some polynomial in the length of the input. All other algorithms are slow (or bad)....

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 brings together representative views of recent research and practice in the area of relating software requirements and software architectures. We believe that all practicing requirements engineers and software architects, all researchers advancing our understanding and support for the relationship between software...

The 10th International Conference on Unconventional Computation, UC 2011, was organized under the auspices of EATCS and Academia Europaea, by the Department of Mathematics of the University of Turku (Turku, Finland), and the Center for Discrete Mathematics and Theoretical Computer Science (Auckland, New Zealand). The event was held in...

On behalf of the INTECH 2011 Program Committee and the University of Sao Carlos in Brazil, we welcome you to the proceedings of the First International Conference on Integrated Computing Technology (INTECH 2011). The INTECH 2011 conference explored new advances in computing technology and its applications. It brought together...

On behalf of the Program Committee, it is our pleasure to present to you the proceedings of the 8th Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA 2011). Each year DIMVA brings together international experts from academia, industry and government to present and discuss novel security research....

Indeed, this volume...

Over the last few decades, energy minimization methods have become an established paradigm to resolve a variety of challenges in the fields of computer vision and pattern recognition. While traditional approaches to computer vision were often based on a heuristic sequence of processing steps and merely allowed a very limited...

When we rst started working on the problem of making the kernel machine approach applicable to the classication of graphs a couple of years ago, our eorts were mainly driven by the fact that kernel methods had led to impressive performance results on many data sets. It didn't take us long to appreciate the sheer elegance of how...

For several years now, there has been a constant increase in the number of works on UML and object modelling. However, my practical experience of training (more than a thousand or so people trained in OMT, then UML since 1993…) convinced me that there is still another need that is not tended to by the multitude of books...

As we enter the 21st century, there is an urgent need for new approaches to mathematics education emphasizing its relevance in young learners’ futures. Modeling Students’ Mathematical Modeling Competencies explores the vital trend toward using real-world problems as a basis for teaching mathematics skills, competencies, and...