This book presents a coherent approach to the fast moving field of machine vision, using a consistent notation based on a detailed understanding of the image formation process.
Advanced Lectures on Software EngineeringSoftware defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to show the
In this comprehensive, easy-to-understand book, Chris Tocci and Steve Adams show how real-world engineering problems can be solved using MAPLE as the principal tool. The authors go well beyond providi
This textbook mainly addresses beginners and readers with a basic knowledge of object-oriented programming languages like Java or C#, but with little or no modeling or software engineering experience
Amongst the big questions about humanity from “Who am I?” to “Where am I”, there is the subject of consciousness relayed by philosophy and theology at first and then by biology, psychology, sociology
This book constitutes the refereed proceedings of HCI and Usability for e-Inclusion, held as the 5th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Com
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap betwe
This text teaches the essentials of C programming, concentrating on what readers need to know in order to produce stand-alone programs and so solve typical scientific and engineering problems. It is a
The author shows how using computers and FORTRAN 95 it is possible to tackle and solve a wide range of problems as they might be encountered in engineering or in the physical sciences.
Modern civilization relies on a functioning information infrastructure. As a result, dependability has become a central issue in all disciplines of systems engineering and software architecture.Theori
Computation is ubiquitous: modern life would be inconceivable without it.This book includes conversations with famous computer scientists, mathematicians and physicists who have made essential contrib
Joseph F. White has studied, worked, and taught in all aspects of microwave semiconductor materials, control diodes, and circuit applications. He is thoroughly grounded in the physics and math- ematic
This book is thematically positioned at the intersections of Urban Design, Architecture, Civil Engineering and Computer Science, and it has the goal to provide specialists coming from respective field
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the
Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such problems can arise in practically every field of science, engineering and b
Software architectures that contain many dynamically interacting components, each with its own thread of control, engaging in complex coordination protocols, are difficult to correctly and efficiently
Leung (computer science, New Jersey Institute of Technology) provides coverage of recent and advanced topics in scheduling. Contributors from management, industrial engineering, operations, and comput
This two-volume set on Mathematical Principles of the Internet provides a comprehensive overview of the mathematical principles of Internet engineering. The books do not aim to provide all of the math
This two-volume set on Mathematical Principles of the Internet provides a comprehensive overview of the mathematical principles of Internet engineering. The books do not aim to provide all of the math
As engineering students become more and more aware of the important role that communication systems play in modern society, they are increasingly motivated to learn through experimenting with solid, i
This book constitutes the thoroughly refereed post-conferenceproceedings of the 4th International Joint Conference on BiomedicalEngineering Systems and Technologies, BIOSTEC 2011, held in Rome, Italy,
Digital Video and HD: Algorithms and Interfaces provides a one-stop shop for the theory and engineering of digital video systems. Equally accessible to video engineers and those working in computer gr
Knowledge Mining Using Intelligent Agents explores the concept of knowledge discovery processes and enhances decision-making capability through the use of intelligent agents like ants, termites and h
Structure and Interpretation of Computer Programs has had a dramatic impact oncomputer science curricula over the past decade. This long-awaited revision contains changesthroughout the text.There are
MUSE is a method developed specifically to extend the scope of human factors contributions beyond late evaluation and thus increase their effectivness and uptake. This is accomplished by making inputs
Ideal for undergraduate and beginning graduate students in electrical engineering, Understanding Semiconductor Devices provides a solid grounding in both fundamental principles and practical skills. T
This volume describes novel and state-of-the-art approaches to solvingproblems arising in the domain of embedded real-time systems. It isbased on the GI-Dagstuhl research seminar MBEERTS (Modelling-Ba
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi
The subject of this brief is the application of linear parameter-varying (LPV) control to a class of dynamic systems to provide a systematic synthesis of gain-scheduling controllers with guaranteed s
Decision-making has evolved recently thanks to the introduction of information and communication technologies in many organizations, which has led to new kinds of decision-making processes, called “co
The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly so
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, eng
FLINS, originally an acronym for Fuzzy Logic and Intelligent Technologies in Nuclear Science, is now extended to Computational Intelligence for applied research. The contributions to the 11th of FLINS
This book provides a good opportunity for software engineering practitioners and researchers to get in sync with the current state-of-the-art and future trends in component-based embedded software res
