Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.

Download links will be available after you disable the ad blocker and reload the page.
Showing: 41-50 results of 8457

This book is a text for a one-semester course for upper-level undergraduates and beginning graduate students in engineering, science, and mathematics. Prerequisites are a first course in the theory of ODEs and a survey course in numerical analysis, in addition to specific programming experience, preferably in MATLAB, and knowledge of elementary matrix theory. Professionals will also find that this useful concise reference contains reviews of technical... more...

Time-dependent scheduling involves problems in which the processing times of jobs depend on when those jobs are started. This book is a comprehensive study of complexity results and optimal and suboptimal algorithms concerning time-dependent scheduling in single-, parallel- and dedicated-machine environments. In addition to complexity issues and exact or heuristic algorithms which are typically presented in scheduling books, the author also includes... more...

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques... more...

This book provides a broad-ranging, but detailed overview of the basics of Fuzzy Logic. The fundamentals of Fuzzy Logic are discussed in detail, and illustrated with various solved examples. The book also deals with applications of Fuzzy Logic, to help readers more fully understand the concepts involved. Solutions to the problems are programmed using MATLAB 6.0, with simulated results. The MATLAB Fuzzy Logic toolbox is provided for easy reference.

In this work, we provide a treatment of the relationship between two models that have been widely used in the implementation of autonomous agents: the Belief DesireIntention (BDI) model and Markov Decision Processes (MDPs). We start with an informal description of the relationship, identifying the common features of the two approaches and the differences between them. Then we hone our understanding of these differences through an empirical analysis of... more...


Probabilistic Reasoning in Intelligent Systems is a complete and accessible account of the theoretical foundations and computational methods that underlie plausible reasoning under uncertainty. The author provides a coherent explication of probability as a language for reasoning with partial belief and offers a unifying perspective on other AI approaches to uncertainty, such as the Dempster-Shafer formalism, truth maintenance systems, and nonmonotonic... more...

The three-volume set LNCS 8673, 8674, and 8675 constitutes the refereed proceedings of the 17th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2014, held in Boston, MA, USA, in September 2014. Based on rigorous peer reviews, the program committee carefully selected 253 revised papers from 862 submissions for presentation in three volumes. The 100 papers included in the second volume have been organized in... more...

This two volume set (CCIS 610 and 611) constitute the proceedings of the 16th International Conference on Information processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016, held in Eindhoven, The Netherlands, in June 2016. The 127 revised full papers presented together with four invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on fuzzy... more...

Self-organization and adaptation are concepts stemming from the nature and have been adopted in systems theory. They are considered to be the essential ingredients of any living organism and, as such, are studied intensively in biology, sociology, and organizational theory. They have also penetrated into control theory, cybernetics and the study of adaptive complex systems. Computing and communication systems are basically artificial systems. This... more...

The tenth Portuguese Conference on Arti?cial Intelligence, EPIA 2001 was held in Porto and continued the tradition of previous conferences in the series. It returned to the city in which the ?rst conference took place, about 15 years ago. The conference was organized, as usual, under the auspices of the Portuguese Association for Arti?cial Intelligence (APPIA, http://www.appia.pt). EPIA maintained its international character and continued to provide a... more...