Saltar al contenido principal

Libros en Ciencias de la Computación

  • Alpha Architecture Reference Manual

    • 1 Edición
    • Alpha Architecture Committee
    • Inglés
    This is the authoritative reference on Digital Equipment Corporation's new 64-bit RISC Alpha architecture. Written by the designers of the internal Digital specifications, this book contains complete descriptions of the common architecture required for all implementations and the interfaces required to support the OSF/1 and OpenVMS operating systems.
  • Computer Programming and Architecture

    The Vax
    • 2 Edición
    • Henry Levy + 1 más
    • Inglés
    Takes a unique systems approach to programming and architecture of the VAXUsing the VAX as a detailed example, the first half of this book offers a complete course in assembly language programming. The second describes higher-level systems issues in computer architecture. Highlights include the VAX assembler and debugger, other modern architectures such as RISCs, multiprocessing and parallel computing, microprogramming, caches and translation buffers, and an appendix on the Berkeley UNIX assembler.
  • Digital Guide To Developing International Software

    • 1 Edición
    • Grou
    • Inglés
    Already in use by hundreds of independent vendors and developers, here at your fingertips are the groundbreaking packaging and design guidelines that Digital recommends and uses for products headed overseas.
  • Analysis, Design & Evaluation of Man-Machine Systems

    Proceedings of the 2nd IFAC/IFIP/IFORS/IEA Conference, Verese, Italy, 10-12 September 1985
    • 1 Edición
    • G. Mancini + 2 más
    • Inglés
    Provides a valuable overview of human-machine interaction in technological systems, with particular emphasis on recent advances in theory, experimental and analytical research, and applications related to man-machine systems. Topics covered include: Automation and Operator - task analysis, decision support, task allocation, management decision support, supervisory control, artificial intelligence, training and teaching, expert knowledge; System Concept and Design - software ergonomics, fault diagnosis, safety, design concepts; Man-machine Interface - interface design, graphics and vision, user adaptive interfaces; Systems Operation - process industry, electric power, aircraft, surface transport, prostheses and manual control. Contains 53 papers and three discussion sessions.
  • Local Area Networks

    An Introduction to the Technology
    • 1 Edición
    • John McNamara
    • Inglés
    This concise book provides an objective introduction to local area networks - how they work, what they do, and how you can benefit from them. It outlines the pros and cons of the most common configurations so you can evaluate them in light of your own needs. You'll also learn about network software, with special emphasis on the ISO layered model of communications protocols.
  • MIT Project Athena

    A Model for Distributed Campus Computing
    • 1 Edición
    • Bozzano G Luisa
    • Inglés
    A hands-on account of the design, implementation, and performance of Project Athena.Based on thousands of pages of reports and the author's own experience, this important book lets you in on the design, implementation, and performance of Project Athena - now a production system of networked workstations that is replacing time-sharing (which MIT also pioneered) as the preferred model of computing at MIT. The book is organized in four parts, covering management, pedagogy, technology, and administration. Appendixes describe deployment of Project Athena systems at five other schools, provide guidelines for installation, and recommend end-user policies.
  • Machine Learning Proceedings 1989

    • 1 Edición
    • Alberto Maria Segre
    • Inglés
    Proceedings of the Sixth International Workshop on Machine Learning covers the papers presented at the Sixth International Workshop of Machine Learning, held at Cornell University, Ithaca, New York (USA) on June 26-27, 1989. The book focuses on the processes, methodologies, techniques, and approaches involved in machine learning. The selection first offers information on unifying themes in empirical and explanation-based learning; integrated learning of concepts with both explainable and conventional aspects; conceptual clustering of explanations; and tight integration of deductive and inductive learning. The text then examines multi-strategy learning in nonhomogeneous domain theories; description of preference criterion in constructive learning; and combining case-based reasoning, explanation-based learning, and learning from instruction. Discussions focus on causal explanation of actions, constructive learning, learning in a weak theory domain, learning problem, and individual criteria and their relationships. The book elaborates on learning from plausible explanations, augmenting domain theory for explanation-based generalization, reducing search and learning goal preferences, and using domain knowledge to improve inductive learning algorithms for diagnosis. The selection is a dependable reference for researchers interested in the dynamics of machine learning.
  • Virtual Reality Systems

    • 1 Edición
    • R. A. Earnshaw
    • Inglés
    This volume brings together a number of the leading practitioners and exponents in the field of virtual reality (VR), and explores some of the main issues in the area and its associated hardware and software technology. The main components of the current generation of virtual reality systems are outlined, and major developments of VR systems are discussed.
  • Uncertainty in Artificial Intelligence

    Proceedings of the Tenth Conference on Uncertainty in Artificial Intelligence, University of Washington, Seattle, July 29-31, 1994
    • 1 Edición
    • MKP
    • Inglés
    Uncertainty in Artificial Intelligence: Proceedings of the Tenth Conference (1994) covers the papers accepted for presentation at the Tenth Annual Conference on Uncertainty in Artificial Intelligence, held in Seattle, Washington on July 29-31, 1994. The book focuses on the processes, methodologies, and approaches involved in artificial intelligence, including approximations, computational methods, Bayesian networks, and probabilistic inference. The selection first offers information on ending-based strategies for part-of-speech tagging; an evaluation of an algorithm for inductive learning of Bayesian belief networks using simulated data sets; and probabilistic constraint satisfaction with non-Gaussian noise. The text then examines Laplace's method approximations for probabilistic inference in belief networks with continuous variables; computational methods, bounds, and applications of counterfactual probabilities; and approximation algorithms for the loop cutset problem. The book takes a look at learning in multi-level stochastic games with delayed information; properties of Bayesian belief network learning algorithms; and the relation between kappa calculus and probabilistic reasoning. The manuscript also elaborates on intercausal independence and heterogeneous factorization; evidential reasoning with conditional belief functions; and state-space abstraction for anytime evaluation of probabilistic networks. The selection is a valuable reference for researches interested in artificial intelligence.
  • Computer Hardware Description Languages and their Applications

    Proceedings of the IFIP WG 10.2 Tenth International Symposium on Computer Hardware Description Languages and their Applications, Marseille, France, 22-24 April 1991
    • 1 Edición
    • D. Borrione + 1 más
    • Inglés
    The topic areas presented within this volume focus on design environments and the applications of hardware description and modelling – including simulation, verification by correctness proofs, synthesis and test. The strong relationship between the topics of CHDL'91 and the work around the use and re-standardization of the VHDL language is also explored. The quality of this proceedings, and its significance to the academic and professional worlds is assured by the excellent technical programme here compiled.
  • Uncertainty in Artificial Intelligence

    • 1 Edición
    • Volumen 4
    • L.N. Kanal + 1 más
    • Inglés
    How to deal with uncertainty is a subject of much controversy in Artificial Intelligence. This volume brings together a wide range of perspectives on uncertainty, many of the contributors being the principal proponents in the controversy.Some of the notable issues which emerge from these papers revolve around an interval-based calculus of uncertainty, the Dempster-Shafer Theory, and probability as the best numeric model for uncertainty. There remain strong dissenting opinions not only about probability but even about the utility of any numeric method in this context.
  • Analysis, Design and Evaluation of Man-Machine Systems 1988

    Selected Papers from the Third IFAC/IFIP/IEA/IFORS Conference, Oulu, Finland, 14-16 June 1988
    • 1 Edición
    • J. Ranta
    • Inglés
    This volume provides a state-of-the-art review of the development and future use of man-machine systems in all aspects of business and industry. The papers cover such topics as human-computer interaction, system design, and the impact of automation in general, and also by the use of case studies describe a wide range of applications in such areas as office automation, transportation, power plants, machinery and manufacturing processes and defence systems. Contains 73 papers.
  • Computer Risk Manager

    A Manual for EDP Contingency Planning
    • 1 Edición
    • K.R. Pursall
    • Inglés
    Please note this is a Short Discount publication.A comprehensive guide to EDP contingency planning and disaster recovery.Thoroughly revised and updated from the last edition [published 1989], this best selling management guide has been re–written to reflect the latest thinking on contingency planning.The new third edition follows the same step–by–step practical guidance as the last edition – presenting an immediate source of reference for anyone wanting to develop their own contingency plan BEFORE a systems disaster. As well as a useful check for those assessing the security of their present systems.Who should read it:★ IT Managers★ Operations Managers★ Computer Security Managers★ MIS Managers★ Technical Support Managers★ Computer Manufacturers and Suppliers★ Computer Auditors★ General Managers
  • High Performance Servers

    • 1 Edición
    • Architecture Technology Architecture Technology Corpor
    • Inglés
    Please note this is a Short Discount publication.LANs have gone through stages. Early LANs connected asychronous terminals to minicomputers. With the advent of the IBM PC the focus on technology changed to that of PCs connected to some type of 'file server'. After a number of years, the battle over file servers turned into a battle of network operating systems. With the advent of the client server model, and high performance workstations, one direction the battle has been taking is to develop a high performance server engine.The general strategy in this arena is to attempt to remove bottlenecks in the processing of service requests to the various networks operating. Several consortiums of venture capitalists have poured amounts of money in the range of $20m into developing the ultimate high performance server. With Novell shipping thousands of copies of NetWare 386 per month, this lucrative market is about to undergo intense long term competition.This report describes the general approaches that can be used to develop a high performance server and several of the key products in the area including products from several start up ventures.
  • Personal Computer Local Networks Report

    • 1 Edición
    • Architecture Technology Architecture Technology Corpor
    • Inglés
    Please note this is a Short Discount publication.Since the first microcomputer local networks of the late 1970's and early 80's, personal computer LANs have expanded in popularity, especially since the introduction of IBMs first PC in 1981. The late 1980s has seen a maturing in the industry with only a few vendors maintaining a large share of the market.This report is intended to give the reader a thorough understanding of the technology used to build these systems ... from cable to chips ... to ... protocols to servers. The report also fully defines PC LANs and the marketplace, with in–depth details on products, configurations, features, pricing, and service, plus lists of system components and features and vendor contact.
  • NETBIOS Report and Reference

    1991 Edition
    • 1 Edición
    • Architecture Technology Architecture Technology Corpor
    • Inglés
    Please note this is a Short Discount publication.NETBIOS Report and Reference is essential reading for managers, implementors and serious users of PC local area networks. It covers NETBIOS and related technology issues.The report beings with a history and conceptual view of NETBIOS, and its relationship to the OSI Reference Model, continues with the command and packet structure of NETBIOS, details the server message block protocols, looks at various NETBIOS products from several vendors, and closes with a chapter on NETBIOS standards efforts.
  • Production Software That Works

    A Guide To The Concurrent Development Of Realtime Manufacturing Systems
    • 1 Edición
    • Ann Courtright + 2 más
    • Inglés
    This useful reference addresses the key tasks that are integral to realtime software development in manufacturing plants: managing the design of the system, setting up and coordinating a development organization, and implementing tools for successfulcompletion and management. Both new and experienced project managers will discover how to use concurrent methodologies to create realtime systems in half the time it usually takes.
  • Computational Morphology

    A Computational Geometric Approach to the Analysis of Form
    • 1 Edición
    • Volumen 6
    • G.T. Toussaint
    • Inglés
    Computational Geometry is a new discipline of computer science that deals with the design and analysis of algorithms for solving geometric problems. There are many areas of study in different disciplines which, while being of a geometric nature, have as their main component the extraction of a description of the shape or form of the input data. This notion is more imprecise and subjective than pure geometry. Such fields include cluster analysis in statistics, computer vision and pattern recognition, and the measurement of form and form-change in such areas as stereology and developmental biology.This volume is concerned with a new approach to the study of shape and form in these areas. Computational morphology is thus concerned with the treatment of morphology from the computational geometry point of view. This point of view is more formal, elegant, procedure-oriented, and clear than many previous approaches to the problem and often yields algorithms that are easier to program and have lower complexity.
  • Minisupercomputers

    • 1 Edición
    • Architecture Technology Architecture Technology Corpor
    • Inglés
    Please note this is a Short Discount publication.A new category of product has been developed which needs to be considered by any purchaser of a high performance machine: minisupercomputers. Thoroughly revised and updated this years report compares in–depth, these computers to parallel processors, supercomputers, mainframe, superminicomputers and workstations. With an explosion of manufacturers announcing such computers, the choice and usage of these high performance systems is a key issue for the potential user.As the computer market continues to become more competitive, users continue their search for cost effective solutions to the point that most manufacturers are now providing alternative architectures for consideration by customers. The minisupercomputer technology is an international one with vendors such as BBN, Convex, IPS, AMT, and NCube filling market needs.Thoroughly revised and updated, this year's report is essential reading for any purchaser, or potential purchaser, of a high performance machine. By discussing the rapid increase in the use of minisupercomputers, as well as technology and market size, this report presents all the necessary information for a thorough understanding of these computer systems.
  • Data Protection and Security for Personal Computers

    A manager's guide to improving the confidentiality, availability and integrity of data on Personal Computers and Local Area Networks
    • 1 Edición
    • R. Schifreen
    • Inglés
    Learn how to improve the confidentiality, availability and integrity of information on your PC's and LAN's – easily and effectively.Written by the renowned international expert on PC security, Robert Schifreen, this unique management guide is written for every security conscious manager in an organization.Practic... comprehensive and easy to read, this guide will ensure that the reader is aware of everything concerned with maintaining the confidentiality, availability and integrity of data on personal computers and local area networks.UNIQUE FEATURES INCLUDE:– Totally PC and LAN specific– Practical tips and guidance– Comprehensive coverage of the topic– Unique action sheets for immediate implementation– Step–by– step coverage, easy to read, with limited technical jargonWHO SHOULD READ THIS GUIDE:– PC support managers, security managers, IT managers, sales and marketing managers, personnel officers, financial directors and all those responsible for corporate data.– Senior managers who wish to ensure that data on their employees PC's is safe at all times.– Managers with little computing or security experience who wish to implement a security policy throughout an organization.Please note this is a Short Discount publication.
  • Supercomputers

    • 1 Edición
    • Architecture Technology Architecture Technology Corpor
    • Inglés
    Please note this is a Short Discount publication.Thorough... revised and updated, this year's report contains invaluable information investigating the impact of supercomputing technology on data processing in the near term and its influence for the next five years.The information and data in this report are critical in supplying: information on the size of each of the technical computing segments, what percentage of each is comprised of vector and parallel systems now, and what that percentage will be by 1995.For each technical computing segments, the report gives dollar volumes, units shipped, user industries, applications, operating system requirements, vector shares of market and installations. Find out which computing segments and vectors show the greatest promise for growth and profitability.The technical aspects influencing the development of supercomputing architectures and the features driving their user acceptance are analyzed. The report also provides immediate market opportunities by discussing types of applications that will benefit most from supercomputing technology.
  • Computer Interfacing

    • 1 Edición
    • Graham Dixey
    • Inglés
    This book explains how computers interact with the world around them and therefore how to make them a useful tool. Topics covered include descriptions of all the components that make up a computer, principles of data exchange, interaction with peripherals, serial communication, input devices, recording methods, computer-controlled motors, and printers.In an informative and straightforward manner, Graham Dixey describes how to turn what might seem an incomprehensible 'black box' PC into a powerful and enjoyable tool that can help you in all areas of your work and leisure. With plenty of handy tips and clear illustrations this book can improve your computer system, and even shows new uses for old kit such as motor control.
  • Progress in Pattern Recognition 1

    • 1 Edición
    • L.N. Kanal + 1 más
    • Inglés
    Progress in Pattern Recognition, Volume 1 focuses on the processes, techniques, and approaches involved in pattern recognition, including conceptual clustering, cross-correlation, syntax, software, data structures, and distance transforms. The selection first tackles progress in syntactic pattern recognition and clustering objects into classes characterized by conjunctive concepts. Discussions focus on an overview of clustering problems, conjunctive conceptual clustering, primitive selection and pattern grammars, high dimensional grammars for pattern description, syntactic pattern recognition using stochastic languages, and syntactic approach to shape and texture analysis. The text then elaborates on database representations in hierarchical scene analysis and medium level vision. The book examines image processing software and analysis and synthesis of image patterns by spatial interaction models. Topics include synopsis of discrete spatial interaction models, nonrecursive models over infinite lattices, finite lattice models, and the MSFC image processing package. The text also reviews the mathematical aspects of image reconstruction from projection and recognition of stereo-image cross-correlation errors. The selection is a highly recommended source of data for researchers interested in the process of pattern recognition.
  • Computer Security in Financial Organizations

    • 1 Edición
    • J. Essinger
    • Inglés
    This book provides a unique in–depth focus on how financial organizations and suppliers of computer security are currently addressing – in strategic terms – the problem of computer security.Written in an easy to read, non technical style the book is essential reading for all those involved in the management of this sensitive area, from computer security managers, financial directors and managers to analysts and designers in financial software houses.The report analyses the computer security requirements of a wide variety of organizations in the financial services sector, ranging from retail, commercial and investment banks to financial trading and investment management organizations.
  • Reliable Computer Systems

    Design and Evaluatuion
    • 2 Edición
    • Daniel Siewiorek + 1 más
    • Inglés
    Enhance your hardware/software reliabilityEnhanceme... of system reliability has been a major concern of computer users and designers ¦ and this major revision of the 1982 classic meets users' continuing need for practical information on this pressing topic. Included are case studies of reliablesystems from manufacturers such as Tandem, Stratus, IBM, and Digital, as well as coverage of special systems such as the Galileo Orbiter fault protection system and AT&T telephone switching processors.
  • Introduction to Knowledge Systems

    • 1 Edición
    • Mark Stefik
    • Inglés
    Focusing on fundamental scientific and engineering issues, this book communicates the principles of building and using knowledge systems from the conceptual standpoint as well as the practical. Previous treatments of knowledge systems have focused on applications within a particular field, or on symbol-level representations, such as the use of frame and rule representations. Introduction to Knowledge Systems presents fundamentals of symbol-level representations including representations for time, space, uncertainty, and vagueness. It also compares the knowledge-level organizations for three common knowledge-intensive tasks: classification, configuration, and diagnosis. The art of building knowledge systems incorporates computer science theory, programming practice, and psychology. The scope of this book is appropriately broad, ranging from the design of hierarchical search algorithms to techniques for acquiring the task-specific knowledge needed for successful applications. Each chapter proceeds from concepts to applications, and closes with a brief tour of current research topics and open issues. Readers will come away with a solid foundation that will enable them to create real-world knowledge systems using whatever tools and programming languages are most current and appropriate.
  • Computing Perspectives

    • 1 Edición
    • Maurice V. Wilkes
    • Inglés
    In this insightful collection of essays, Maurice Wilkes shares his unique perspective on the development of computers and the current state of the art. These enlightening essays discuss the foundational ideas behind modern computing and provide a solid grounding for the appreciation of emerging computer technologies.Wilkes, one of the founders of computing, has provided enormous contributions to the development of computers, including the design and construction of the EDSAC computer and early development of programming for a stored program computer. He was responsible for the concept of microprogramming. Wilkes also wrote the first paper to appear on cache memories and was an early worker in the field of wide bandwidth local area networks. In 1992 he was awarded the prestigious Kyoto Prize for Advanced Technology.These essays will be of interest to everyone involved with computers and how they arrived at their present state. Wilkes presents his perspectives with keen historical sensibility and engineering practicality. Readers are invited to consider these observations and form their own perspectives on the present state of the computer art.
  • Introduction to Machine Learning

    • 1 Edición
    • Yves Kodratoff
    • Inglés
    A textbook suitable for undergraduate courses in machine learningand related topics, this book provides a broad survey of the field.Generous exercises and examples give students a firm grasp of theconcepts and techniques of this rapidly developing, challenging subject.Introduction to Machine Learning synthesizes and clarifiesthe work of leading researchers, much of which is otherwise availableonly in undigested technical reports, journals, and conference proceedings.Beginnin... with an overview suitable for undergraduate readers, Kodratoffestablishes a theoretical basis for machine learning and describesits technical concepts and major application areas. Relevant logicprogramming examples are given in Prolog.Introduction to Machine Learning is an accessible and originalintroduction to a significant research area.
  • Readings in Computer Vision

    Issues, Problem, Principles, and Paradigms
    • 1 Edición
    • Martin A. Fischler + 1 más
    • Inglés
    The field of computer vision combines techniques from physics, mathematics, psychology, artificial intelligence, and computer science to examine how machines might construct meaningful descriptions of their surrounding environment. The editors of this volume, prominent researchers and leaders of the SRI International AI Center Perception Group, have selected sixty papers, most published since 1980, with the viewpoint that computer vision is concerned with solving seven basic problems:Reconstruct... 3D scenes from 2D imagesDecomposing images into their component partsRecognizing and assigning labels to scene objectsDeducing and describing relations among scene objectsDetermining the nature of computer architectures that can support the visual functionRepresenting abstractions in the world of computer memoryMatching stored descriptions to image representationEach chapter of this volume addresses one of these problems through an introductory discussion, which identifies major ideas and summarizes approaches, and through reprints of key research papers. Two appendices on crucial assumptions in image interpretation and on parallel architectures for vision applications, a glossary of technical terms, and a comprehensive bibliography and index complete the volume.
  • Constraints, Language and Computation

    • 1 Edición
    • M. A. Rosner + 2 más
    • Inglés
    Constraint-based linguistics is intersected by three fields: logic, linguistics, and computer sciences. The central theme that ties these different disciplines together is the notion of a linguistic formalism or metalanguage. This metalanguage has good mathematical properties, is designed to express descriptions of language, and has a semantics that can be implemented on a computer. Constraints, Language and Computation discusses the theory and practice of constraint-based computational linguistics. The book captures both the maturity of the field and some of its more interesting future prospects during a particulary important moment of development in this field.
  • Readings in Human-Computer Interaction

    Toward the Year 2000
    • 1 Edición
    • Ronald M. Baecker
    • Inglés
    The effectiveness of the user-computer interface has become increasingly important as computer systems have become useful tools for persons not trained in computer science. In fact, the interface is often the most important factor in the success or failure of any computer system. Dealing with the numerous subtly interrelated issues and technical, behavioral, and aesthetic considerations consumes a large and increasing share of development time and a corresponding percentage of the total code for any given application. A revision of one of the most successful books on human-computer interaction, this compilation gives students, researchers, and practitioners an overview of the significant concepts and results in the field and a comprehensive guide to the research literature. Like the first edition, this book combines reprints of key research papers and case studies with synthesizing survey material and analysis by the editors. It is significantly reorganized, updated, and enhanced; over 90% of the papers are new. An invaluable resource for systems designers, cognitive scientists, computer scientists, managers, and anyone concerned with the effectiveness of user-computer interfaces, it is also designed for use as a primary or supplementary text for graduate and advanced undergraduate courses in human-computer interaction and interface design.
  • Artificial Intelligence Planning Systems

    Proceedings of the First Conference (AIPS 92)
    • 1 Edición
    • James Hendler
    • Inglés
    Artificial Intelligence Planning Systems documents the proceedings of the First International Conference on AI Planning Systems held in College Park, Maryland on June 15-17, 1992. This book discusses the abstract probabilistic modeling of action; building symbolic primitives with continuous control routines; and systematic adaptation for case-based planning. The analysis of ABSTRIPS; conditional nonlinear planning; and building plans to monitor and exploit open-loop and closed-loop dynamics are also elaborated. This text likewise covers the modular utility representation for decision-theoretic planning; reaction and reflection in tetris; and planning in intelligent sensor fusion. Other topics include the resource-bounded adaptive agent, critical look at Knoblock's hierarchy mechanism, and traffic laws for mobile robots. This publication is beneficial to students and researchers conducting work on AI planning systems.
  • COLT '89

    Proceedings of the Second Annual Workshop, UC Santa Cruz, California, July 31 - August 2 1989
    • 1 Edición
    • COLT
    • Inglés
    Computational Learning Theory presents the theoretical issues in machine learning and computational models of learning. This book covers a wide range of problems in concept learning, inductive inference, and pattern recognition. Organized into three parts encompassing 32 chapters, this book begins with an overview of the inductive principle based on weak convergence of probability measures. This text then examines the framework for constructing learning algorithms. Other chapters consider the formal theory of learning, which is learning in the sense of improving computational efficiency as opposed to concept learning. This book discusses as well the informed parsimonious (IP) inference that generalizes the compatibility and weighted parsimony techniques, which are most commonly applied in biology. The final chapter deals with the construction of prediction algorithms in a situation in which a learner faces a sequence of trials, with a prediction to be given in each and the goal of the learner is to make some mistakes. This book is a valuable resource for students and teachers.
  • Machine Learning

    An Artificial Intelligence Approach, Volume III
    • 1 Edición
    • Yves Kodratoff + 1 más
    • Inglés
    Machine Learning: An Artificial Intelligence Approach, Volume III presents a sample of machine learning research representative of the period between 1986 and 1989. The book is organized into six parts. Part One introduces some general issues in the field of machine learning. Part Two presents some new developments in the area of empirical learning methods, such as flexible learning concepts, the Protos learning apprentice system, and the WITT system, which implements a form of conceptual clustering. Part Three gives an account of various analytical learning methods and how analytic learning can be applied to various specific problems. Part Four describes efforts to integrate different learning strategies. These include the UNIMEM system, which empirically discovers similarities among examples; and the DISCIPLE multistrategy system, which is capable of learning with imperfect background knowledge. Part Five provides an overview of research in the area of subsymbolic learning methods. Part Six presents two types of formal approaches to machine learning. The first is an improvement over Mitchell's version space method; the second technique deals with the learning problem faced by a robot in an unfamiliar, deterministic, finite-state environment.
  • Channel Coding: Theory, Algorithms, and Applications

    Academic Press Library in Mobile and Wireless Communications
    • 1 Edición
    • David Declercq + 2 más
    • Inglés
    This book gives a review of the principles, methods and techniques of important and emerging research topics and technologies in Channel Coding, including theory, algorithms, and applications. Edited by leading people in the field who, through their reputation, have been able to commission experts to write on a particular topic. With this reference source you will: Quickly grasp a new area of research Understand the underlying principles of a topic and its applications Ascertain how a topic relates to other areas and learn of the research issues yet to be resolved
  • Computer System Organization

    The B5700/B6700 Series
    • 1 Edición
    • Elliott I. Organick
    • Robert L. Ashenhurst
    • Inglés
    Computer System Organization: The B5700/B6700 Series focuses on the organization of the B5700/B6700 Series developed by Burroughs Corp. More specifically, it examines how computer systems can (or should) be organized to support, and hence make more efficient, the running of computer programs that evolve with characteristically similar information structures. Comprised of nine chapters, this book begins with a background on the development of the B5700/B6700 operating systems, paying particular attention to their hardware/software architecture. The discussion then turns to the block-structured processes involved in the B6700 job, which consists of a time-invariant algorithm and a time-varying data structure which is the record of execution of that algorithm. Subsequent chapters deal with the basic data structures for B6700 algorithms; task attributes and the creation and coordination of tasks; stack structure and stack ownership; and software interrupts. Storage control strategies as well as the pros and cons of B6700 are also considered, along with some hardware details of procedure entry and return and tasking. This monograph is intended for computer center directors, other computer professionals, and serious students in computer science who have an interest in the subject of computer organization.
  • Advances in Non-volatile Memory and Storage Technology

    • 1 Edición
    • Yoshio Nishi
    • Inglés
    New solutions are needed for future scaling down of nonvolatile memory. Advances in Non-volatile Memory and Storage Technology provides an overview of developing technologies and explores their strengths and weaknesses. After an overview of the current market, part one introduces improvements in flash technologies, including developments in 3D NAND flash technologies and flash memory for ultra-high density storage devices. Part two looks at the advantages of designing phase change memory and resistive random access memory technologies. It looks in particular at the fabrication, properties, and performance of nanowire phase change memory technologies. Later chapters also consider modeling of both metal oxide and resistive random access memory switching mechanisms, as well as conductive bridge random access memory technologies. Finally, part three looks to the future of alternative technologies. The areas covered include molecular, polymer, and hybrid organic memory devices, and a variety of random access memory devices such as nano-electromechanic... ferroelectric, and spin-transfer-torque magnetoresistive devices. Advances in Non-volatile Memory and Storage Technology is a key resource for postgraduate students and academic researchers in physics, materials science, and electrical engineering. It is a valuable tool for research and development managers concerned with electronics, semiconductors, nanotechnology, solid-state memories, magnetic materials, organic materials, and portable electronic devices.
  • Cloud Networking

    Understanding Cloud-based Data Center Networks
    • 1 Edición
    • Gary Lee
    • Inglés
    Cloud Networking: Understanding Cloud-Based Data Center Networks explains the evolution of established networking technologies into distributed, cloud-based networks. Starting with an overview of cloud technologies, the book explains how cloud data center networks leverage distributed systems for network virtualization, storage networking, and software-defined networking. The author offers insider perspective to key components that make a cloud network possible such as switch fabric technology and data center networking standards. The final chapters look ahead to developments in architectures, fabric technology, interconnections, and more. By the end of the book, readers will understand core networking technologies and how they’re used in a cloud data center.
  • Bridging UX and Web Development

    Better Results through Team Integration
    • 1 Edición
    • Jack Moffett
    • Inglés
    The divide between UX and Web development can be stifling. Bridging UX and Web Development prepares you to break down those walls by teaching you how to integrate with your team’s developers. You examine the process from their perspective, discovering tools and coding principles that will help you bridge the gap between design and implementation. With these tried and true approaches, you’ll be able to capitalize on a more productive work environment. Whether you’re a novice UX professional finding your place in the software industry and looking to nail down your technical skills, or a seasoned UI designer looking for practical information on how to integrate your team with development, this is the must-have resource for your UX library.
  • Principles of Knowledge Representation and Reasoning

    Proceedings of the Fourth International Conference (KR '94)
    • 1 Edición
    • Jon Doyle + 2 más
    • Inglés
    Principles of Knowledge Representation and Reasoning contains the proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR '94) held in Bonn, Germany, on May 24-27, 1994. The conference provided a forum for reviewing the theory and principles underlying knowledge representation and reasoning. Topics covered range from reasoning about mental states and spatial reasoning with propositional logics to default logic as a query language. Comprised of 60 chapters, this book begins with a description of a formal language for representing and reasoning about time and action before turning to proof in context and how it can replace the most common uses of reflection principles. The reader is then introduced to reasoning with minimal models; belief ascription and mental-level modeling; and a unified framework for class-based representation formalisms. A general approach to specificity in default reasoning is also described, together with an ontology for engineering mathematics and the use of abduction to generate tests. The book concludes by considering the use of natural language for knowledge representation and reasoning. This monograph will be of interest to both students and practitioners in the fields of artificial intelligence and computer science.
  • Economics-Driven Software Architecture

    • 1 Edición
    • Ivan Mistrik + 3 más
    • Inglés
    Economics-driven Software Architecture presents a guide for engineers and architects who need to understand the economic impact of architecture design decisions: the long term and strategic viability, cost-effectiveness, and sustainability of applications and systems. Economics-driven software development can increase quality, productivity, and profitability, but comprehensive knowledge is needed to understand the architectural challenges involved in dealing with the development of large, architecturally challenging systems in an economic way. This book covers how to apply economic considerations during the software architecting activities of a project. Architecture-centric approaches to development and systematic evolution, where managing complexity, cost reduction, risk mitigation, evolvability, strategic planning and long-term value creation are among the major drivers for adopting such approaches. It assists the objective assessment of the lifetime costs and benefits of evolving systems, and the identification of legacy situations, where architecture or a component is indispensable but can no longer be evolved to meet changing needs at economic cost. Such consideration will form the scientific foundation for reasoning about the economics of nonfunctional requirements in the context of architectures and architecting.
  • Museum Documentation Systems

    Developments and Applications
    • 1 Edición
    • Richard B. Light + 2 más
    • Inglés
  • Machine Learning Proceedings 1990

    Proceedings of the Seventh International Conference on Machine Learning, University of Texas, Austin, Texas, June 21-23 1990
    • 1 Edición
    • Bruce Porter + 1 más
    • Inglés
    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.
  • Interoperable Database Systems (DS-5)

    Proceedings of the IFIP WG2.6 Database Semantics Conference on Interoperable Database Systems (DS-5) Lorne, Victoria, Australia, 16-20 November, 1992
    • 1 Edición
    • Volumen 25
    • D.K. Hsiao + 2 más
    • Inglés
    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

    Selected Papers from the Fourth IFAC/IFIP Symposium, Graz, Austria, 20-23 May 1986
    • 1 Edición
    • D. Florian + 1 más
    • Inglés
    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.
  • Machine Learning Proceedings 1993

    Proceedings of the Tenth International Conference on Machine Learning, University of Massachusetts, Amherst, June 27-29, 1993
    • 1 Edición
    • Lawrence A. Birnbaum
    • Inglés
    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.
  • Real Time Programming 1986

    Proceedings of the 14th IFAC/IFIP Workshop, Lake Balaton, Hungary, 26-28 May 1986
    • 1 Edición
    • J. Szlanko
    • Inglés
    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 Applications in Biotechnology

    • 1 Edición
    • A. Munack + 1 más
    • Inglés
    The 6th Computer Applications in Biotechnology (CAB6) conference was a continuation of 2 series of events: the IFAC symposia on Modelling and Control of Biotechnical Processes and the International Conferences on Computer Applications in Fermentation Technology. This conference provided the opportunity for both sides, leading researchers and industrial practitioners, in this interdisciplinary field to exchange new ideas and technology; concepts and solutions. This postprint volume contains all those papers which were presented at the conference.
  • Machine Learning Proceedings 1988

    • 1 Edición
    • John Laird
    • Inglés
    Proceedings of the Fifth International Conference on Machine Learning provides careful theoretical analyses that make clear contact with traditional problems in machine learning. This book discusses the key role of learning in cognition. Organized into 10 parts encompassing 49 chapters, this book begins with an overview of the OTIS induction system that learns concepts from positive and negative examples by searching through the space of possible concept descriptions. This text then reviews the methods to selecting examples, and explores the ramifications of one in detail. Other chapters consider a reported phenomenon in machine concept learning wherein concept descriptions can be simplified with little ill-effect on classification accuracy. This book discusses as well an implemented system that learns structural models of shape from noisy image data. The final chapter provides a discussion of the relationship between learning and forgetting. This book is a valuable resource for psychologists, scientists, theorists, and research workers.
  • Higher Order Logic Theorem Proving and its Applications

    Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgium, 21-24 September 1992
    • 1 Edición
    • Volumen 20
    • L.J.M. Claesen + 1 más
    • Inglés
    The HOL system is a higher order logic theorem proving system implemented at Edinburgh University, Cambridge University and INRIA. Its many applications, from the verification of hardware designs at all levels to the verification of programs and communication protocols are considered in depth in this volume. Other systems based on higher order logic, namely Nuprl and LAMBDA are also discussed. Features given particular consideration are: novel developments in higher order logic and its implementations in HOL; formal design and verification methodologies for hardware and software; public domain availability of the HOL system. Papers addressing these issues have been divided as follows: Mathematical Logic; Induction; General Modelling and Proofs; Formalizing and Modelling of Automata; Program Verification; Hardware Description Language Semantics; Hardware Verification Methodologies; Simulation in Higher Order Logic; Extended Uses of Higher Order Logic. Academic and industrial researchers involved in formal hardware and software design and verification methods should find the publication especially interesting and it is hoped it will also provide a useful reference tool for those working at software institutes and within the electronics industries.