Skip to main content

Books in Computer science

The Computing collection presents a range of foundational and applied content across computer and data science, including fields such as Artificial Intelligence; Computational Modelling; Computer Networks, Computer Organization & Architecture, Computer Vision & Pattern Recognition, Data Management; Embedded Systems & Computer Engineering; HCI/User Interface Design; Information Security; Machine Learning; Network Security; Software Engineering.

  • Knowledge Acquisition from Text and Pictures

    • 1st Edition
    • Volume 58
    • H. Mandl + 1 more
    • English
    Media-didactics have recently become more firmly grounded on cognitive theory, with an increasing concern for the internal processes of knowledge representation and acquisition. With this cognitive aspect in mind, an international group of researchers held a meeting in Tübingen, Federal Republic of Germany, to present and discuss the theoretical approaches to and empirical investigations of knowledge acquisition from text and pictures. This volume contains the revised contributions resulting from that meeting.
  • An Introduction to Ray Tracing

    • 1st Edition
    • Andrew S. Glassner
    • English
    The creation of ever more realistic 3-D images is central to the development of computer graphics. The ray tracing technique has become one of the most popular and powerful means by which photo-realistic images can now be created. The simplicity, elegance and ease of implementation makes ray tracing an essential part of understanding and exploiting state-of-the-art computer graphics.An Introduction to Ray Tracing develops from fundamental principles to advanced applications, providing "how-to" procedures as well as a detailed understanding of the scientific foundations of ray tracing. It is also richly illustrated with four-color and black-and-white plates. This is a book which will be welcomed by all concerned with modern computer graphics, image processing, and computer-aided design.
  • Practical Planning

    Extending the Classical AI Planning Paradigm
    • 1st Edition
    • David E. Wilkins
    • English
    Planning, or reasoning about actions, is a fundamental element of intelligent behavior--and one that artificial intelligence has found very difficult to implement. The most well-understood approach to building planning systems has been under refinement since the late 1960s and has now reached a level of maturity where there are good prospects for building working planners.Practical Planning is an in-depth examination of this classical planning paradigm through an intensive case study of SIPE, a significantly implemented planning system. The author, the developer of SIPE, defines the planning problem in general, explains why reasoning about actions is so complex, and describes all parts of the SIPE system and the algorithms needed to achieve efficiency. Details are discussed in the context of problems and important issues in building a practical planner; discussions of how other systems address these issues are also included.Assuming only a basic background in AI, Practical Planning will be of great interest to professionals interested in incorporating planning capabilities into AI systems.
  • Probabilistic Reasoning in Intelligent Systems

    Networks of Plausible Inference
    • 1st Edition
    • Judea Pearl
    • English
    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 logic.The author distinguishes syntactic and semantic approaches to uncertainty--and offers techniques, based on belief networks, that provide a mechanism for making semantics-based systems operational. Specifically, network-propagation techniques serve as a mechanism for combining the theoretical coherence of probability theory with modern demands of reasoning-systems technology: modular declarative inputs, conceptually meaningful inferences, and parallel distributed computation. Application areas include diagnosis, forecasting, image interpretation, multi-sensor fusion, decision support systems, plan recognition, planning, speech recognition--in short, almost every task requiring that conclusions be drawn from uncertain clues and incomplete information.Probabil... Reasoning in Intelligent Systems will be of special interest to scholars and researchers in AI, decision theory, statistics, logic, philosophy, cognitive psychology, and the management sciences. Professionals in the areas of knowledge-based systems, operations research, engineering, and statistics will find theoretical and computational tools of immediate practical use. The book can also be used as an excellent text for graduate-level courses in AI, operations research, or applied probability.
  • Cognition and Action in Skilled Behaviour

    • 1st Edition
    • Volume 55
    • A.M. Colley + 1 more
    • English
    This book contains a number of chapters on the control and execution of skilled movements, as well as more general chapters on theoretical issues in skilled performance. The contributors have summarised their most recent research, and general themes and issues are presented in discussion chapters at the end of each section, thus providing a good general summary of the kind of research and theoretical frameworks developing in this area.The first section is concerned with the theoretical issues of programming and co-ordination. Issues raised in the second section are basic to much of the research reviewed in the volume. This section summarises the various theoretical positions in the recent debates on the role of cognitive processes in motor control and the usefulness of the ``psychomotor'' approach, and contains chapters based on individual papers which present relevant empirical findings. The third section deals with the learning and performance of skilled movements, containing papers with practical implications for everyday skills. The final section contains chapters on cognitive processes in skilled performance.
  • Constructivism in Mathematics, Vol 1

    • 1st Edition
    • Volume 121
    • A.S. Troelstra + 1 more
    • English
    These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov's constructivism and Martin-Lof's type theory with its operational semantics. A detailed exposition of the basic features of constructive mathematics, with illustrations from analysis, algebra and topology, is provided, with due attention to the metamathematical aspects. Volume 1 is a self-contained introduction to the practice and foundations of constructivism, and does not require specialized knowledge beyond basic mathematical logic. Volume 2 contains mainly advanced topics of a proof-theoretical and semantical nature.
  • Advances in Computers

    • 1st Edition
    • Volume 27
    • English