The CC program committee is pleased to present this volume with the proceedings of the 13th International Conference on Compiler Construction (CC 2004). CC continues to provide an exciting forum for researchers, educators, and practitioners to exchange ideas on the latest developments in compiler technology, programming language implementation, and...

Biometrics technology continues to stride forward with its wider acceptance and its real need in various new security facets of modern society. From simply logging on to a laptop to crossing the border of a country, biometrics is being called upon to meet the growing challenges of identity management.

The book of nature, according to Galilei, is written in the language of mathematics. The nature of mathematics is being exact, and its exactness is underlined by the formalism used by mathematicians to write it. This formalism, characterized by theorems and proofs, and syncopated with occasional lemmas, remarks and corollaries, is so deeply...

Model-driven development has become the most important new paradigm in software development and has already demonstrated considerable impact in reducing time to market and improving product quality. However, the development of high-quality systems not only requires systematic development processes but also systematic test processes.

Sensor networks consist of distributed autonomous devices that cooperatively monitor an environment. Sensors are equipped with capacities to store information in memory, process this information and communicate with their neighbors. Processing data streams generated from wireless sensor networks has raised new research challenges over the last few...

This textbook for students and practitioners presents a practical approach to decomposition techniques in optimization. It provides an appropriate blend of theoretical background and practical applications in engineering and science, which makes the book interesting for practitioners, as well as engineering, operations research and applied...

From a linguistic perspective, it is quantification which makes all the difference between “having no dollars” and “having a lot of dollars”. And it is the meaning of the quantifier “most” which eventually decides if “Most Americans voted Kerry” or “Most Americans voted Bush” (as it...

Bringing together the two seemingly unrelated concepts, fuzzy logic and chaos theory, is primarily motivated by the concept of soft computing (SC), initiated by Lotfi A. Zadeh, the founder of fuzzy set theory. The principal constituents of SC are fuzzy logic (FL), neural network theory (NN) and probabilistic reasoning (PR), with the latter...

"The book presents a systematic theory … oriented primarily to senior undergraduate students, as well as to graduate students and researchers in the area of fuzzy optimization and related topics. Special attention is devoted to various approaches to fuzzy linear and quadratic programming...

Simulating Fuzzy Systems demonstrates how many systems naturally become fuzzy systems and shows how regular (crisp) simulation can be used to estimate the alpha-cuts of the fuzzy numbers used to analyze the behavior of the fuzzy system. This monograph presents a concise introduction to fuzzy sets, fuzzy logic, fuzzy estimation,...

This research monograph presents basic foundational aspects for a theory of statistics with fuzzy data, together with a set of practical applications. Fuzzy data are modeled as observations from random fuzzy sets. Theories of fuzzy logic and of random closed sets are used as basic ingredients in building statistical concepts and procedures in the...

"The purpose of this book is to present an up to date account of fuzzy subgroups of a group, it is the first book dedicated entirely to the rapidly growing field of fuzzy group theory. … The book represents a major contribution to the literature on fuzzy groups. It is...