Learn IT - Books tags reasoning

Data Mining With Ontologies: Implementations, Findings and Frameworks (Premier Reference)

Idea Group Publishing, 2007

Data mining, also referred to as knowledge discovery in databases (KDD), is a process of finding new, interesting, previously unknown, potentially useful, and ultimately understandable patterns from very large volumes of data. Data mining is a discipline which brings together database systems, statistics, artificial intelligence, machine learning,...

Data Streams: Algorithms and Applications (Foundations and Trends in Theoretical Computer Science)

Now Publishers, 2005

Data stream algorithms as an active research agenda emerged only over the past few years, even though the concept of making few passes over the data for performing computations has been around since the early days of Automata Theory. The data stream agenda now pervades many branches of Computer Science including databases, networking, knowledge...

Introduction to Mathematical Statistics and Its Applications, An (4th Edition)

Prentice Hall, 2005

Noted for its integration of real-world data and case studies, this guide offers sound coverage of the theoretical aspects of mathematical statistics. It demonstrates how and when to use statistical methods, while reinforcing the calculus that readers have already mastered. Presents standard statistical techniques in a mathematical context,...

Concrete Semantics: With Isabelle/HOL

Springer, 2014

Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle’s structured proof language. Part II is an introduction to the semantics of imperative languages with an emphasis on...

Information, Interaction, and Agency

Springer, 2005

Contemporary epistemological and cognitive studies, as well as recent trends in computer science and game theory have revealed an increasingly important and intimate relationship between Information, Interaction, and Agency. Agents perform actions based on the available information and in the presence of other interacting agents. From this...

Advanced Methods for Knowledge Discovery from Complex Data

Springer, 2005

This book brings together research articles by active practitioners and leading researchers reporting recent advances in the field of knowledge discovery. An overview of the field, looking at the issues and challenges involved is followed by coverage of recent trends in data mining. This provides the context for the subsequent chapters on methods...

Advances in Case-Based Reasoning: 9th European Conference, ECCBR 2008

Springer, 2008

This volume contains the papers presented at the 9th European Conference on Case-Based Reasoning (ECCBR 2008).

Case-based reasoning (CBR) is an artificial intelligence approach whereby new problems are solved by remembering, adapting and reusing solutions to a previously solved, similar problem. The collection of previously solved...

Fusion of Neural Networks, Fuzzy Systems and Genetic Algorithms: Industrial Applications

CRC Press, 1998

Artificial neural networks can mimic the biological information-processing mechanism in - a very limited sense. Fuzzy logic provides a basis for representing uncertain and imprecise knowledge and forms a basis for human reasoning. Neural networks display genuine promise in solving problems, but a definitive theoretical basis does not yet exist for...

Logic and Language Models for Computer Science

Prentice Hall, 2002

So you are a computer science (CS) major and you are sitting down to see what this book is about. It has been assigned, the course is required, you have no choice. Still you chose your institution, your major. Maybe your instructor made a good choice. Let's hope so.

Okay, you are not a computer science major, perhaps not even a...

Human-Centric Interfaces for Ambient Intelligence

Academic Press, 2009

To create truly effective human-centric ambient intelligence systems both engineering and computing methods are needed. This is the first book to bridge data processing and intelligent reasoning methods for the creation of human-centered ambient intelligence systems. Interdisciplinary in nature, the book covers topics such as multi-modal...

Explanation and Proof in Mathematics: Philosophical and Educational Perspectives

Springer, 2009

In the four decades since Imre Lakatos declared mathematics a "quasi-empirical science," increasing attention has been paid to the process of proof and argumentation in the field -- a development paralleled by the rise of computer technology and the mounting interest in the logical underpinnings of mathematics. Explanantion...

An Introduction to Fuzzy Sets: Analysis and Design (Complex Adaptive Systems)

MIT Press, 1998

The concept of fuzzy sets is one of the most fundamental and influential tools in computational intelligence. Fuzzy sets can provide solutions to a broad range of problems of control, pattern classification, reasoning, planning, and computer vision. This book bridges the gap that has developed between theory and practice. The authors explain...

Result Page: 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1