Compiler writers often face a choice between implementing a simple, non-optimizing transformation pass that generates poor code which will require subsequent optimization, and implementing a complex, optimizing transformation pass that avoids generating poor code in the first place. A two-pass strategy is compelling because it is simpler to implement correctly, [...]

Continue reading...

Product Description
The Handbook of Peer-to-Peer Networking is a comprehensive and unified repository of the various models, applications, methodologies, trends, and challenges of peer-to-peer computing, making it an essential reference for researchers and proffesionals alike. This handbook addresses current issues as well as emerging concepts and applications, including P2P architectures, search [...]

Continue reading...

Product Description
A collection of articles by leading experts in theoretical computer science, this volume commemorates the 75th birthday of Professor Rani Siromoney, one of the pioneers in the field in India. The articles span the vast range of areas that Professor Siromoney has worked in or influenced, including grammar systems, picture languages and new models [...]

Continue reading...

Product Description
“Game Graphics Programming” examines the many different techniques and effects that are used to create cutting-edge graphics in today’s video games and how to implement them. The book takes a detailed look at computer graphics, exploring both the theory and application of each algorithm and effect and how they are structured and executed to [...]

Continue reading...

Product Description

The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called constraints until no more change occurs.
The CHR language saw the light more than 15 years ago. Since then, it has become a major declarative specification and implementation language for [...]

Continue reading...

Product Description

There has never been a Twitter Guide like this.
Whether you’re a beginner or experienced, you need to know the basics of Twitter. This book can teach you everything fundamental you need to know. It has both theory and practical guidance. The authors don’t tell you what to do in a given situation — they [...]

Continue reading...

Product Description
Whereas many textbooks on formal languages and compilation focus on technological aspects, it is the elegance and simplicity of the underlying *theory* that allows students to acquire the fundamental paradigms of language structures, to avoid pitfalls such as ambiguity, and to adequately map structure to meaning.
Formal Languages and Compilation covers the fundamental concepts of [...]

Continue reading...

Product Description

Markov random field (MRF) theory provides a basis for modeling contextual constraints in visual processing and interpretation. It enables systematic development of optimal vision algorithms when used with optimization principles.
This detailed and thoroughly enhanced third edition presents a comprehensive study / reference to theories, methodologies and recent developments in solving computer vision problems based [...]

Continue reading...

Product Description

Solving optimization problems in complex systems often requires the implementation of advanced mathematical techniques. Quadratic programming (QP) is one technique that allows for the optimization of a quadratic function in several variables in the presence of linear constraints. QP problems arise in fields as diverse as electrical engineering, agricultural planning, and optics. Given its [...]

Continue reading...

Product Description

The database industry is a multi-billion, world-wide, all-encompassing part of the software world. Quantifiers in Action: Generalized Quantification in Query, Logical and Natural Languages introduces a query language called GQs—Generalized Quantification in Query. Most query languages are simply versions of First Order Logic (FOL). GQs are an extension of the idea of quantifier in [...]

Continue reading...