Categories
 
Authors
A B C D
E F G H
I J K L
M N O P
Q R S T
U V W X
Y Z
Theory of Computing
All Items
Optimization Based Data Mining: Theory and Applications

Optimization Based Data Mining: Theory and Applications


Yong Shi, G. Kou, J. Li, Y. Peng, Y. Tian



From the Back Cover Optimization techniques have been widely adopted to implement various data mining algorithms. In addi...
Wavelet Theory and Its Application to Pattern Recognition, Second Edition (Series in Machine Perception and Artificial Intelligence)

Wavelet Theory and Its Application to Pattern Recognition, Second Edition (Series in Machine Perception and Artificial Intelligence)


Yuan Yan Tang



Wavelet Theory and Its Application to Pattern Recognition, Second Edition (Series in Machine Perception and Artificial Intelligence)...
Ontology Theory, Management and Design: Advanced Tools and Models

Ontology Theory, Management and Design: Advanced Tools and Models


Faiez Gargouri, Wassim Jaziri



About the Author Faïez Gargouri is Professor at the Institut Supérieur dInformatique et de Multim&#...
The Allure of Machinic Life: Cybernetics, Artificial Life, and the New AI

The Allure of Machinic Life: Cybernetics, Artificial Life, and the New AI


John Johnston



Review "John Johnston is to be applauded for his engaging and eminently readable assessment of the new, int...
DNA Computing and Molecular Programming - DNA 16

DNA Computing and Molecular Programming - DNA 16


Yasubumi Sakakibara, Yongli Mi



From the Back Cover This book constitutes the thoroughly refereed post-conference proceedings of the 16th International ...
Handbook of Nature-Inspired and Innovative Computing: Integrating Classical Models with Emerging Technologies

Handbook of Nature-Inspired and Innovative Computing: Integrating Classical Models with Emerging Technologies


Albert Y. Zomaya



Review From the reviews: “Handbook contains 22 chapters, written in a ‘workshop style’ … . I...
Technological Innovation for Sustainability - DoCEIS 2011

Technological Innovation for Sustainability - DoCEIS 2011




From the Back Cover This book constitutes the refereed proceedings of the Second IFIP WG 5.5/SOCOLNET Doctoral Confe...
Multi-Agent-Based Simulation XI

Multi-Agent-Based Simulation XI


Armando Geller, Catholijn M. Jonker, Tibor Bosse



Multi-Agent-Based Simulation XI...
First Course on Fuzzy Theory and Applications (Advances in Intelligent and Soft Computing 27)

First Course on Fuzzy Theory and Applications (Advances in Intelligent and Soft Computing 27)


Kwang Hyung Lee



Review From the reviews: “This book is published under the Springer series Advances in Soft Computing, which co...
Ludics, Dialogue and Interaction

Ludics, Dialogue and Interaction


Alain Lecomte, Samuel Tronçon



From the Back Cover This volume contains the key contributions to workshops and meetings that were held within the contex...
Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and ... Computer Science and General Issues)

Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and ... Computer Science and General Issues)


Gilles Barthe



From the Back Cover This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 20...
Uncertainty, Rationality, and Agency

Uncertainty, Rationality, and Agency


Wiebe Van Der Hoek



From the Back Cover This book is about Rational Agents, which can be humans, players in a game, software programs or inst...
Rough Set Theory: A True Landmark in Data Analysis (Studies in Computational Intelligence)

Rough Set Theory: A True Landmark in Data Analysis (Studies in Computational Intelligence)


Ajith Abraham



From the Back Cover Along the years, rough set theory has earned a well-deserved reputation as a sound methodology for de...
Computing with Instinct: Rediscovering Artificial Intelligence

Computing with Instinct: Rediscovering Artificial Intelligence


Yang Cai



Computing with Instinct: Rediscovering Artificial Intelligence...
35 Years of Fuzzy Set Theory: Celebratory Volume Dedicated to the Retirement of Etienne E. Kerre

35 Years of Fuzzy Set Theory: Celebratory Volume Dedicated to the Retirement of Etienne E. Kerre


Mike Nachtegael, Steven Schockaert, Chris Cornelis, Glad Deschrijver, Yun Shi



From the Back Cover This book is a tribute to Etienne E. Kerre on the occasion of his retirement on October 1st, 2010, af...
Theoretical and Experimental DNA Computation

Theoretical and Experimental DNA Computation


Martyn Amos



Review From the reviews: "Biomolecular computing, also known as DNA computing, has been a subject of research and ...
Advances in Neural Information Processing Systems 8

Advances in Neural Information Processing Systems 8


David S. Touretzky, Michael C. Mozer, Michael E. Hasselmo



About the Author Michael C. Mozer is a Professor in the Department of Computer Science and the Institute of Cognitive Sci...
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)

Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)


Gordon Plotkin, Mads Tofte, Colin Stirling



About the Author Gordon Plotkin is a professor in the Laboratory for Computer Science at the School of Inf...
Implementing Semantic Web Services: The SESA Framework

Implementing Semantic Web Services: The SESA Framework


Dieter Fensel, Mick Kerrigan, Michal Zaremba



From the Back Cover Service-oriented computing has become one of the predominant factors in IT research and development e...
Human-Robot Personal Relationships

Human-Robot Personal Relationships


Fons J. Verbeek, Maarten H. Lamers



From the Back Cover This book constitutes the thoroughly refereed post-conference proceedings of the Third International ...
Telerobotics, Automation, and Human Supervisory Control

Telerobotics, Automation, and Human Supervisory Control


Thomas B. Sheridan



Telerobotics, Automation, and Human Supervisory Control...
Transactions on Computational Collective Intelligence II (Lecture Notes in Computer Science Transactions on Computational Collective Intelligence)

Transactions on Computational Collective Intelligence II (Lecture Notes in Computer Science Transactions on Computational Collective Intelligence)


Ngoc Thanh Nguyen, Ryszard Kowalczyk



Transactions on Computational Collective Intelligence II (Lecture Notes in Computer Science Transactions on Computational Collective Intelligence)...
Advances in Artificial Intelligence: Theories, Models, and Applications: 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. ... Lecture Notes in Artificial Intelligence)

Advances in Artificial Intelligence: Theories, Models, and Applications: 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. ... Lecture Notes in Artificial Intelligence)


George Vouros, Vangelis Karkaletsis, Costas D. Spyropoulos, Stasinos Konstantopoulos, Stavros Perantonis



Advances in Artificial Intelligence: Theories, Models, and Applications: 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. ... Lecture Notes in Artificial Intelligence)...
ICT Innovations 2010

ICT Innovations 2010


Marjan Gusev, Pece Mitrevski



ICT Innovations 2010...
Mixed Reality and Human-Robot Interaction

Mixed Reality and Human-Robot Interaction


Xiangyu Wang



From the Back Cover MR technologies play an increasing role in different aspects of human-robot interactions. The visual ...
Recent developments in the ordered weighted averaging operators

Recent developments in the ordered weighted averaging operators


Kacprzyk J., Beliakov G., Yager R.



From the Back Cover This volume presents the state of the art of new developments, and some interesting and relevant appl...
Identification of parametric models: from experimental data

Identification of parametric models: from experimental data


Pronzato L., Walter E.



Language Notes Text: English (translation) Original Language: French ...
A recursive introduction to the theory of computation

A recursive introduction to the theory of computation


Smith C.



A recursive introduction to the theory of computation...
Pattern classification using ensemble methods

Pattern classification using ensemble methods


Rokach L.



Pattern classification using ensemble methods...
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics


Platzer A.



Review "This book offers a truly unique approach to hybrid systems verification with logic and theorem proving." (Edmund ...