Parallel complexity theory, the study of resource-bounded parallel computation,
is surely one of the fastest-growing areas of theoretical Computer Science. In the
light of this, it would be foolish to attempt an encyclopedic coverage of the field.
However, it is the belief of the author that its foundations are becoming increas
ingly...
Animation as both an art form and popular entertainment has existed for
almost a century now. The early attempts were received enthusiastically
more for their novelty than for the quality of their craft. That even holds
true today: animated movies often make it through the studio process not
because of their true entertainment value,...
This monograph presents a framework for modelling, specifying and verifying
systems composed of real-time discrete event processes. A discrete event system
consists of the plant (the object to be controlled) and a controller. For example,
the plant might consist of machines, robots and conveyors on the factory floor.
The objective of...
LR parsing has become a widely used method of syntax analysis; this
is largely due to the availability of parser generators and compiler-
compilers based on LR techniques. However, the readily available ac
counts of the theory of these techniques are either superficial or are
weighed down with tedious mathematical detail of a merely...
I know you are interested in programming and using PIC microcontrollers. If
not, you would not have picked up this book and be reading this preface. The
first question one usually asks when choosing one book over another is,
"Which book offers me something more?" Since everyone is looking for some
thing a little different in...
This is the joint post-proceedings of the 6th International Symposium on High
Performance Computing (ISHPC-VI) and the First International Workshop on
Advanced Low Power Systems 2006 (ALPS2006). The post-proceedings also
contain the papers presented at the Second HPF International Workshop: Experiences
and Progress (HiWEP2005) and the...
Humans receive the great majority of information about their environment through
sight, and at least 50% of the human brain is dedicated to vision. Vision is also a key
component for building artificial systems that can perceive and understand their environment.
Computer vision is likely to change society in many ways; for example,
it...
On behalf of the PROFES Organizing Committee we are proud to present the
proceedings of the 12th International Conference on Product-Focused Software
Process Improvement (PROFES 2011), held in Torre Canne, Italy. Since 1999
PROFES has grown in the software engineering community and has become a
premium conference that brings together...
Bioinformatics is an emerging field in which statistical and computational techniques
are used extensively to analyze and interpret biological data obtained
from high-throughput genomic technologies. Genomic technologies allow us
to monitor thousands of biological processes going on inside living organisms
in one snapshot, and are...
The massive daily overflow of electronic data to information seekers creates the need for better ways to digest and organize this information to make it understandable and useful. Text mining, a variation of data mining, extracts desired information from large, unstructured text collections stored in electronic forms.
In 2002, Web services were a hot topic and the concept of serviceoriented
architecture (SOA), while not a new idea, was beginning to
pick up steam. It did not take long for organizations to realize that
Web services mandated the concept and organizational model of SOA
to guide their selection, design, implementation, and management....
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...