International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and ...
Continue reading
This volume addresses the demand for theories and applications of intelligent systems and computer engineering to meet the ...
Continue readingTrend in Neural Computation includes twenty chapters either contributed from leading experts or formed by extending well ...
Continue reading
This book is entirely about triangulations. With emphasis on computational issues, we present the basic theory necessary ...
Continue reading
This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC ...
Continue readingA major focus of Turbo-like Codes is on high speed turbo decoding, which targets applications with data rates of several ...
Continue reading
The primary purpose of TUTORIALS ON EMERGING METHODOLOGIES AND APPLICATIONS IN OPERATIONS RESEARCH is to provide a reference ...
Continue reading
This book describes new methods for building intelligent systems using type-2 fuzzy logic and soft computing techniques. ...
Continue reading
The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to ...
Continue reading
The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...
Continue reading
The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
Continue reading
Over recent years most business processes have changed in various dimensions (e. g. , ?exibility, interconnectivity, coordination ...
Continue reading
This volume provides a comprehensive view of unconstrained face recognition, especially face recognition from multiple still ...
Continue reading
This book constitutes the refereed proceedings of the Sixth International Conference on Unconventional Computation, UC 2007,organized ...
Continue reading
The Fourth International Conference on Unconventional Computation, UC 2005, organized under the auspices of EATCS by the ...
Continue reading
This book about The 5th International Conference on Unconventional Computation, UC 2006,organized under the auspices of the ...
Continue reading
The book is devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various ...
Continue reading
Nowadays, developers have to face the proliferation of hardware and software environments, the increasing demands of the ...
Continue reading
Action planning has always played a central role in Artificial Intelligence. Given a description of the current situation, ...
Continue reading
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...
Continue reading