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.

    • COLT '91

      • 1st Edition
      • May 23, 2014
      • COLT
      • English
      • Paperback
        9 7 8 1 5 5 8 6 0 2 1 3 7
      • eBook
        9 7 8 1 4 8 3 2 9 9 1 4 3
      COLT '91: Proceedings of the Fourth Annual Workshop on Computational Learning Theory covers the papers presented at the Fourth Workshop on Computational Learning Theory, held at the University of California at Santa Cruz on August 5-7, 1991. The book focuses on quantitative theories of machine learning. The selection first offers information on the role of learning in autonomous robots; tracking drifting concepts using random examples; investigating the distribution assumptions in the PAC learning model; and simultaneous learning of concepts and simultaneous estimation of probabilities.The text then examines the calculation of the learning curve of Bayes optimal classification algorithm for learning a perceptron with noise and a geometric approach to threshold circuit complexity. The manuscript takes a look at learning curves in large neural networks, learnability of infinitary regular sets, and learning monotone DNF with an incomplete membership oracle. Topics include monotone DNF learning algorithm, difficulties in learning infinitary regular sets, learning of a perception rule, and annealed approximation. The book also examines the fast identification of geometric objects with membership queries and a loss bound model for on-line stochastic prediction strategies. The selection is a valuable source of information for researchers interested in the computational learning theory.
    • Interoperable Database Systems (DS-5)

      • 1st Edition
      • Volume 25
      • May 23, 2014
      • D.K. Hsiao + 2 more
      • English
      • Paperback
        9 7 8 0 4 4 4 8 9 8 7 9 1
      • eBook
        9 7 8 1 4 8 3 2 9 8 4 7 4
      The proliferation of databases within organizations have made it imperative to allow effective sharing of information from these disparate database systems. In addition, it is desirable that the individual systems must maintain a certain degree of autonomy over their data in order to continue to provide for their existing applications and to support controlled access to their information. Thus it becomes necessary to develop new techniques and build new functionality to interoperate these autonomous database systems and to integrate them into an overall information system. Research into interoperable database systems has advanced substantially over recent years in response to this need.The papers presented in this volume cover a wide spectrum of both theoretical and pragmatic issues related to the semantics of interoperable database systems. Topics covered include techniques to support the translation between database schema and between database languages; object oriented frameworks for supporting interoperability of heterogeneous databases, knowledge base integration and techniques for overcoming schematic discrepancies in interoperable databases. In addition, there are papers addressing issues of security transaction processing, data modelling and object identification in interoperable database systems. It is hoped the publication will represent a valuable collective contribution to research and development in the field for database researchers, implementors, designers, application builders and users alike.
    • Software for Computer Control 1986

      • 1st Edition
      • May 23, 2014
      • D. Florian + 1 more
      • English
      • Paperback
        9 7 8 1 4 9 3 3 0 5 3 6 0
      • eBook
        9 7 8 1 4 8 3 2 9 8 8 6 3
      This volume studies the advances of software for computers, their development, applications and management. Topics covered include software project management, real time languages and their uses, and computer aided design techniques. The book also discusses how far artificial intelligence is integrated with business and industry to give a complete overview of the role of computer systems today.
    • Artificial Intelligence in Design '91

      • 1st Edition
      • May 23, 2014
      • J. S. Gero
      • English
      • eBook
        9 7 8 1 4 8 3 1 6 4 8 0 9
      Artificial Intelligence in Design '91 is a collection of 47 papers from the First International Conference on Artificial Intelligence in Design held at Edinburgh in June 1991. The papers in this book are grouped into 13 headings, starting with a background of AI design systems and to which extent AI that results from being used as planning tool be applied to quality-oriented design processes in architecture. A constraint-driven approach to object-oriented design is also shown on real-world objects. The use of CADSYN in the structural design of buildings is examined, along with design-dependent knowledge and design-independent knowledge. Discussions on empowering designers with integrated design environments are given whereby design objects may be retrieved from catalogues without requiring users to form queries. Mention is given to automated adjustment of parameter values frequently used in computer routine applications. The book also introduces the Computer Aided Design (CAD) as applied to architecture. Design representation using data models, non-monotonic reasoning in design, and the cognitive aspects of design using empirical studies are discussed. Topics of the industrial applications of AI in design, such as the needed steps to develop a successful AI-based tool, and a review of the Castlemain Project and telecommunication distribution networks follow. This book is suitable for programmers, computer science students, and architects and engineers who use computers in their line of work.
    • Machine Learning Proceedings 1993

      • 1st Edition
      • May 23, 2014
      • Lawrence A. Birnbaum
      • English
      • Paperback
        9 7 8 1 5 5 8 6 0 3 0 7 3
      • eBook
        9 7 8 1 4 8 3 2 9 8 6 2 7
      Machine Learning: Proceedings of the Tenth International Conference covers the papers presented at the Tenth International Conference on Machine Learning, held at Amherst, Massachusetts in June 27-29, 1993. The book focuses on the advancements of techniques, practices, approaches, and methodologies in machine learning. The selection first offers information on automatic algorithm/model class selection, using decision trees to improve case-based learning, GALOIS, and multitask learning. Discussions focus on multitask connectionist learning in more detail; multitask decision trees; an algorithm for the incremental determination of the concept lattice; and empirical evaluation of GALOIS as a learning system. The text then examines the use of qualitative models to guide inductive learning; automation of path analysis for building causal models from data; and construction of hidden variables in Bayesian networks via conceptual clustering. The book ponders on synthesis of abstraction hierarchies for constraint satisfaction by clustering approximately equivalent objects; efficient domain-independent experimentation; learning search control knowledge for deep space network scheduling; and learning procedures from interactive natural language instructions. The selection is a dependable reference for researchers wanting to explore the field of machine learning.
    • Machine Learning Proceedings 1990

      • 1st Edition
      • May 23, 2014
      • Bruce Porter + 1 more
      • English
      • Paperback
        9 7 8 1 5 5 8 6 0 1 4 1 3
      • eBook
        9 7 8 1 4 8 3 2 9 8 5 8 0
      Machine Learning: Proceedings of the Seventh International Conference (1990) covers the research results from 12 disciplines of machine learning represented at the Seventh International Conference on Machine Learning, held on June 21-23, 1990 at the University of Texas in Austin. The book focuses on the progress in the interest in machine learning, including methodologies, approaches, and techniques. The selection first offers information on knowledge acquisition from examples using maximal representation learning, performance analysis of a probabilistic inductive learning system, and a comparative study of ID3 and backpropagation for English text-to-speech mapping. The text then examines learning from data with bounded inconsistency, improving fit-and-split algorithms, and an incremental method for finding multivariate splits for decision trees. Topics include issues for decision-tree induction, learning and approximation, conceptual-set-cover... algorithm, bounded inconsistency, implementation, and examples of incremental processes. The publication ponders on incremental induction of topologically minimal trees, rational analysis of categorization, search control, utility, and concept induction, graph clustering and model learning by data compression, and an analysis of representation shift in concept learning. Learning procedures by environment-driven constructive induction and improving the performance of genetic algorithms in automated discovery of parameters are also discussed. The selection is a valuable source of data for researchers interested in machine learning.
    • Software Defined Networks

      • 1st Edition
      • May 23, 2014
      • Paul Goransson + 1 more
      • English
      • Paperback
        9 7 8 0 1 2 4 1 6 6 7 5 2
      • eBook
        9 7 8 0 1 2 4 1 6 6 8 4 4
      Software Defined Networks discusses the historical networking environment that gave rise to SDN, as well as the latest advances in SDN technology. The book gives you the state of the art knowledge needed for successful deployment of an SDN, including: How to explain to the non-technical business decision makers in your organization the potential benefits, as well as the risks, in shifting parts of a network to the SDN model How to make intelligent decisions about when to integrate SDN technologies in a network How to decide if your organization should be developing its own SDN applications or looking to acquire these from an outside vendor How to accelerate the ability to develop your own SDN application, be it entirely novel or a more efficient approach to a long-standing problem
    • Approximate Reasoning in Intelligent Systems, Decision and Control

      • 1st Edition
      • May 23, 2014
      • E. Sanchez + 1 more
      • English
      • Paperback
        9 7 8 1 4 9 3 3 0 5 2 8 5
      • eBook
        9 7 8 1 4 8 3 2 9 4 3 8 4
      Documents realistic applications of approximate reasoning techniques, with emphasis placed on operational systems. The papers presented explore new areas of practical decision-making and control systems by considering important aspects of fuzzy logic theory and the latest developments in the field of expert systems. Specific fields of application covered include modelling and control, management, planning, diagnostics, finance and software. Contains 12 papers.
    • Real Time Programming 1986

      • 1st Edition
      • May 23, 2014
      • J. Szlanko
      • English
      • Paperback
        9 7 8 1 4 9 3 3 0 5 2 1 6
      • eBook
        9 7 8 1 4 8 3 2 9 8 0 4 7
      The 1986 IFAC/IFIP Workshop on real-time programming represents the 14th meeting of this workshop since it was first organized in 1971. Traditionally a meeting of a small number of experts, the papers presented at this meeting concentrate on the topics of real-time environment and executives, software development tools and languages, and special real-time applications. The continuing progress being made in this field of programming is amply reflected by the papers and should be of interest to anyone wishing to be kept up to date in the field.
    • Computer Hardware Description Languages and their Applications

      • 1st Edition
      • Volume 32
      • May 21, 2014
      • D. Agnew + 2 more
      • English
      • Paperback
        9 7 8 0 4 4 4 8 1 6 4 1 2
      • eBook
        9 7 8 1 4 8 3 2 9 8 0 2 3
      Hardware description languages (HDLs) have established themselves as one of the principal means of designing electronic systems. The interest in and usage of HDLs continues to spread rapidly, driven by the increasing complexity of systems, the growth of HDL-driven synthesis, the research on formal design methods and many other related advances.This research-oriented publication aims to make a strong contribution to further developments in the field. The following topics are explored in depth: BDD-based system design and analysis; system level formal verification; formal reasoning on hardware; languages for protocol specification; VHDL; HDL-based design methods; high level synthesis; and text/graphical HDLs. There are short papers covering advanced design capture and recent work in high level synthesis and formal verification. In addition, several invited presentations on key issues discuss and summarize recent advances in real time system design, automatic verification of sequential circuits and languages for protocol specification.