Computer Science

This book constitutes the proceedings of the 13th Asia-Pacific Conference APWeb 2011 held in conjunction with the APWeb 2011 Workshops XMLDM and USD, in Beijing, China, in April 2011. The 26 full pape

This book constitutes the refereed proceedings of the 9th International Conference, EGOV 2010, held in Lausanne, Switzerland, in August/September 2010. The 36 revised full papers presented were carefu

The three-volume set LNCS 6675, 6676 and 6677 constitutes the refereed proceedings of the 8th International Symposium on Neural Networks, ISNN 2011, held in Guilin, China, in May/June 2011. The total

During recent years a great deal of progress has been made in performance modelling and evaluation of the Internet, towards the convergence of multi-service networks of diverging technologies, support

This book constitutes the refereed proceedings of the 8th International Conference on Theory and Applications of Models of Computation, TAMC 2011, held in Tokyo, Japan, in May 2011. The 51 revised ful

All modern industries rely on large and complex software systems. In order toconstruct such large systems in a systematic manner, the focus of the developmentmethodologies has switched in the last two

The book aims at the identification of the organising concepts of some physical and biological phenomena, by means of an analysis of the foundations of mathematics and of physics. This is done in the

This book constitutes the refereed proceedings of the 21st International Symposium on Algorithms and Computation, ISAAC 2010, held in Jeju, South Korea in December 2010.The 77 revised full papers pres

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

In this 1991 book the author gives a broad overview of different areas of research in nonmonotonic reasoning, and presents some results and ideas based on his research. The guiding principles are: clarification of the different research activities in the area, which have sometimes been undertaken independently of each other, and appreciation of the fact that these research activities often represent different means to the same ends, namely sound theoretical foundations and efficient computation. The book begins with a discussion of the various types of nonmonotonic reasoning, their applications and their logics. Theorem proving techniques for these logics are also described. There then follow chapters dealing with formulations of nonmonotonic inheritance, and nonmonotonic reasoning based on nonmonotonic rules. The final chapter discusses the achievements in the field in the light of the famous Yale shooting example. The book will be welcomed by researchers in theoretical computer scien

The satisfiability (SAT) problem is central in mathematical logic and computing theory, representing a core of computationally intractable NP-complete problems. It is a fundamental hurdle in solving

This book constitutes the refereed proceedings of the 7th International XML Database Symposium, XSym 2010, held in Singapore, in September 2010.The 11 papers were carefully reviewed and selected from

This three volume set LNCS 6352, LNCS 6353, and LNCS 6354 constitutes the refereed proceedings of the 20th International Conference on Artificial Neural Networks, ICANN 2010, held in Thessaloniki, Gre

Weighted finite automata are classical nondeterministic finite automata in which the transitions carry weights. These weights may model, for example, the cost involved when executing a transition, the

This book constitutes the refereed proceedings of the twelfth International Conference, on Discovery Science, DS 2009, held in Porto, Portugal, in October 2009.The 35 revised full papers presented wer

Human Machine Interaction, or more commonly Human Computer Interaction, is the study of interaction between people and computers. It is an interdisciplinary field, connecting computer science with man

This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Mobile Information Technology for Emergency Response, MobileResponse 2008 held in Bonn,

This book constitutes the refereed proceedings of the 2nd International Symposium on End User Development, IS-EUD 2009, held in Siegen, Germany in March 2009.The 12 revised full papers presented toget

This volume constitutes the post-conference proceedings of the 4th International Cognitive Vision Workshop, ICVW 2008, held in Santorini, Greece, on May 12, 2008. The 11 papers presented were carefull

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer an introduction to the basics of th

This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation

This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. It contains an introduction to classical graphs. Basic and ad

Modern cryptology increasingly employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research topics in complexity theory are often motivated by questions an

This volume presents the proceedings of the International Workshop on Database Issues for Data Visualization, held in conjunction with the IEEE Visualization '93 conference in San Jose, California in

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

This thesis covers the theory and practice behind practical evaluation. It explores how programmers write programs in a highly interpretive style without paying the price in efficiency.

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.