You are about to embark on the study of a fascinating and important subject: the
theory of computation. It comprises the fundamental mathematical properties of
computer hardware, software, and certain applications thereof. In studying this
subject we seek to determine what can and cannot be computed, how quickly,
with how much memory,...
Linear-quadratic optimization is one of the most exciting topics in the con trol engineering literature of recent decades. The interest in linear optimal dynamical systems, and especially in those with quadratic cost functional, can be explained by both the richness of properties these systems possess, and the pragmatic value and physical...
Formerly used mainly by specialists in signal processing and numerical
analysis, MATLAB® in recent years has achieved widespread and enthusiastic
acceptance throughout the engineering community. Many engineering
schools now require a course based entirely or in part on MATLAB early in
the curriculum. MATLAB is programmable and has...
An important aspect of teaching a course in compiler writing is to illustrate
the key theoretical concepts normally taught in such a course. A frequently used
strategy for achieving this goal is to have a student design a simple programming
language and implement a compiler for this language. Many texts in compiler
writing do not,...
For half a century, computer scientists have been working on systems for discovering
lawful patterns in letters, numbers, words and images. The research
has expanded into the computational study of the process of scientific discovery,
producing such well-known AI programs as BACON and DENDRAL. However,
autonomous discovery systems...
3D scene understanding and object recognition are among the grandest challenges in computer
vision. A wide variety of techniques and goals, such as structure from motion, optical flow, stereo,
edge detection, and segmentation, could be viewed as subtasks within scene understanding and
recognition. Many of these applicable methods are...
Speed. Aside from caffeine, nothing quickens the pulse of a programmer as
much as the blazingly fast execution of a piece of code. How can we fulfill
the need for computational speed? Moore’s law takes us some of the way,
but multicore is the real future. To take full advantage of multicore, we need
to program with concurrency...
Word sense disambiguation is a core research problem in computational
linguistics, which was recognized at the beginning of the scientific interest
in machine translation and artificial intelligence. And yet no book has been
fully devoted to review the wide variety of approaches to solving the problem.
The time is right for such a...
Grid Computing was a vision of using and sharing computers and data in the early
1990s. The integration, coordination, and sharing of computer resources which are
geographically disperse among different physical domains and organizations
became an every day reality. This emerging infrastructure aims to provide a mechanism
for sharing...
We would like to welcome you to the proceedings of the 2009 International Conference
on Security Technology (SecTech 2009), which was organized as part of the
2009 International Mega-Conference on Future Generation Information Technology
(FGIT 2009), held during December 10–12, 2009, at the International Convention
Center Jeju,...
Throughout most of the 1960s, 1970s, and 1980s, computational linguistics
enjoyed an excellent reputation. A sense of the promise of the work to society
was prevalent, and high expectations were justified by solid, steady progress in
research.
Nevertheless, by the close of the 1980s, many people openly expressed doubt
about...
Since the 1960s, database systems have been playing a relevant role in the
information technology field. By the mid-1960s, several systems were also available
for commercial purposes. Hierarchical and network database systems provided
two different perspectives and data models to organize data collections. In 1970,
E. Codd wrote a...
