Recently, the rapid and fundamental advances in computing technologies have been driving the role and
scope of software systems to a new level. A number of new types of software systems are emerging,
among which service based systems, cloud computing, pervasive computing, and Internet of Things are
eminent examples. For these systems,...
Video segmentation has been a key technique for visual information extraction and
plays an important role in digital video processing, pattern recognition, and computer
vision. A wide range of video-based applications will benefit from advances
in video segmentation including security and surveillance, bank transactions monitoring,...
Anybody following the discussions around “Web Services” in recent years is aware
of the fuzzy definition of the term, and a little bit of history can quite easily explain
some of the confusions around current terminology (or use of terminology). The
general idea of using Web technologies to not only deliver Web pages (HTML...
Physical design of integrated circuits remains one of the most interesting and challenging arenas in the field of Electronic Design Automation. The ability to integrate more and more devices on our silicon chips requires the algorithms to continuously scale up. Nowadays we can integrate 2e9 transistors on a single 45nm-technology chip. This...
Steganography and steganalysis, the hiding and detection of a covert payload
within an innocent cover object, started to receive attention from the computer
science, engineering, and mathematics communities in the 1990s. At
first the problems were not clearly defined, but proper statistical foundations
were proposed and mathematical...
This volume contains the proceedings of the 17th International Conference on
Tools and Algorithms for the Construction and Analysis of Systems (TACAS
2011). TACAS 2011 took place in Saarbr¨ucken, Germany, March 28–31, 2011,
as part of the 14th European Joint Conferences on Theory and Practice of Software
(ETAPS 2011), whose...
Mathematics and mathematical modelling are of central importance in computer science. For this reason the teaching concepts of mathematics in computer science have to be constantly reconsidered, and the choice of material and the motivation have to be adapted. This applies in particular to mathematical analysis, whose significance has to be...
I became interested in ML programming when I taught CS109, the introduc-
tory Computer Science Foundations course at Stanford, starting in 1991. ML
was used by several of the instructors of this course, including Stu Reges and
Mike Cleron, to introduce concepts such as functional programming and type
systems. It was also used for the...
In From Computer to Brain: Foundations of Computational Neuroscience,
William Lytton provides a gentle but rigorous introduction to the art
of modeling neurons and neural systems. It is an accessible entry to the
methods and approaches used to model the brain at many di erent levels,
ranging from synapses and dendrites to neurons and...
Researchers in Artificial Intelligence have traditionally been classified into two
categories: the “neaties” and the “scruffies”. According to the scruffies, the neaties
concentrate on building elegant formal frameworks, whose properties are beautifully
expressed by means of definitions, lemmas, and theorems, but...
Some TIME ago a group of mathematicians and computer scientists (including the editors
of this volume) thought of making a scientific pilgrimage to the birthplace of al-Khw&rizmf,
the outstanding ninth-century mathematician who gave his name to the word "algorithm".
As his name indicates, al-Khwarizmi came from the Khorezm...
This book constitutes the refereed proceedings of the 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2011, held in Belfast, UK, in June/July 2011. The 60 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 108 submissions. The papers are...
