Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
CompTIA Security+: Get Certified Get Ahead: SY0-301 Study Guide
CompTIA Security+: Get Certified Get Ahead: SY0-301 Study Guide

CompTIA Security+: Get Certified Get Ahead: SY0-301 Study Guide is an update to the top-selling SY0-201 guide, which helped thousands of readers pass the exam the first time they took it. The SY0-301 version covers every aspect of the SY0-301 exam, and includes the same elements readers raved about in the previous version.

...

Hierarchical Voronoi Graphs: Spatial Representation and Reasoning for Mobile Robots
Hierarchical Voronoi Graphs: Spatial Representation and Reasoning for Mobile Robots

Voronoi graphs and their hierarchical extensions have become a widely used tool for deriving abstract spatial representations from environmental data. They are currently being studied and applied in several subfields of computer science such as AI and robotics, computational geometry, and geoinformatics.

This book investigates the...

Modeling and Reasoning with Bayesian Networks
Modeling and Reasoning with Bayesian Networks

Bayesian networks have received a lot of attention over the last few decades from both scientists and engineers, and across a number of fields, including artificial intelligence (AI), statistics, cognitive science, and philosophy.

Perhaps the largest impact that Bayesian networks have had is on the field of AI, where they were...

Reason in Action (Collected Essays, Vol. 1)
Reason in Action (Collected Essays, Vol. 1)

Reason in Action collects John Finnis' work on the theory of practical reason and moral philosophy. The essays in the volume range from foundational issues of meta-ethics to the practical application of natural law theory to ethical problems such as nuclear deterrence, obscenity and free speech, and abortion and cloning.
...

Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 11th European Conference
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 11th European Conference

This book constitutes the refereed proceedings of the 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2011, held in Belfast, UK, in June/July 2011. The 60 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 108 submissions. The papers are...

The Haskell Road to Logic, Maths and Programming (Texts in Computing S.)
The Haskell Road to Logic, Maths and Programming (Texts in Computing S.)
Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply “There is no royal road to mathematics.” Where there was no shortcut for Alexander, there is no shortcut for us. Still, the fact that we have access to computers and mature programming languages means that there...
Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia
Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia
The growing complexity of agent systems calls for models and technologies that allow for system predictability and enable feature discovery and verification. Formal methods and declarative technologies have recently attracted a growing interest as a means for dealing with such issues.

This book presents revised and extended versions of 11...

Modeling Semantic Web Services: The Web Service Modeling Language
Modeling Semantic Web Services: The Web Service Modeling Language
Semantic Web services promise to automate tasks such as discovery, mediation, selection, composition, and invocation of services, enabling fully flexible automated e-business. Their usage, however, still requires a significant amount of human intervention due to the lack of support for a machine-processable description.

In this book, Jos de...

Concurrency: State Models & Java Programs
Concurrency: State Models & Java Programs

Concurrent Programs are notoriously difficult to get right. This book provides a systematic and practical approach to designing, analyzing and implementing concurrent programs. Concurrency concepts and techniques are introduced and illustrated using both state models and Java programs. The design models enable concurrent behavior to be...

Knowledge-Based Intelligent System Advancements: Systemic and Cybernetic Approaches
Knowledge-Based Intelligent System Advancements: Systemic and Cybernetic Approaches

Since the first part of the twentieth century, cybernetics and systems research have been developed as scientific disciplines. Investigations, launched in the area of cybernetics, previously dealt with control and information processing. In a more narrow sense, they consisted in the consideration of analogies of the control and the...

Integration of World Knowledge for Natural Language Understanding (Atlantis Thinking Machines)
Integration of World Knowledge for Natural Language Understanding (Atlantis Thinking Machines)

This book concerns non-linguistic knowledge required to perform computational natural language understanding (NLU). The main objective of the book is to show that inference-based NLU has the potential for practical large scale applications. First, an introduction to research areas relevant for NLU is given. We review approaches to linguistic...

New Trends in Databases and Information Systems (Advances in Intelligent Systems and Computing)
New Trends in Databases and Information Systems (Advances in Intelligent Systems and Computing)
Database and information systems technologies have been rapidly evolving in several directions over the past years. New types and kinds of data, new types of applications and information systems to support them raise diverse challenges to be addressed. The so-called big data challenge, streaming data management and processing, social networks...
Result Page: 33 32 31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 
©2019 LearnIT (support@pdfchm.net) - Privacy Policy