Saltar al contenido principal
Elsevier

Libros en Ciencias de la Computación

  • 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.

  • Knowledge Representation

    An Approach to Artificial Intelligence
    • 1 Edición
    • T.J.M. Bench-Capon
    • Inglés
    Although many texts exist offering an introduction to artificial intelligence (AI), this book is unique in that it places an emphasis on knowledge representation (KR) concepts. It includes small-scale implementations in PROLOG to illustrate the major KR paradigms and their developments.****bac... cover copy:**Knowledge representation is at the heart of the artificial intelligence enterprise: anyone writing a program which seeks to work by encoding and manipulating knowledge needs to pay attention to the scheme whereby he will represent the knowledge, and to be aware of the consequences of the choices made.****The book's distinctive approach introduces the topic of AI through a study of knowledge representation issues. It assumes a basic knowledge of computing and a familiarity with the principles of elementary formal logic would be advantageous.****Kno... Representation: An Approach to Artificial Intelligence develops from an introductory consideration of AI, knowledge representation and logic, through search technique to the three central knowledge paradigms: production rules, structured objects, and predicate calculus. The final section of the book illustrates the application of these knowledge representation paradigms through the Prolog Programming language and with an examination of diverse expert systems applications. The book concludes with a look at some advanced issues in knowledge representation.****T... text provides an introduction to AI through a study of knowledge representation and each chapter contains exercises for students. Experienced computer scientists and students alike, seeking an introduction to AI and knowledge representations will find this an invaluable text.

  • Readings in Artificial Intelligence and Databases

    • 1 Edición
    • John Mylopoulos + 1 más
    • Inglés
    The interaction of database and AI technologies is crucial to such applications as data mining, active databases, and knowledge-based expert systems. This volume collects the primary readings on the interactions, actual and potential, between these two fields. The editors have chosen articles to balance significant early research and the best and most comprehensive articles from the 1980s. An in-depth introduction discusses basic research motivations, giving a survey of the history, concepts, and terminology of the interaction. Major themes, approaches and results, open issues and future directions are all discussed, including the results of a major survey conducted by the editors of current work in industry and research labs. Thirteen sections follow, each with a short introduction.Topics examined include semantic data models with emphasis on conceptual modeling techniques for databases and information systems and the integration of data model concepts in high-level data languages, definition and maintenance of integrity constraints in databases and knowledge bases, natural language front ends, object-oriented database management systems, implementation issues such as concurrency control and error recovery, and representation of time and knowledge incompleteness from the viewpoints of databases, logic programming, and AI.

  • Representation and Understanding

    Studies in Cognitive Science
    • 1 Edición
    • Jerry Bobrow
    • Inglés
    Language, Thought, and Culture: Advances in the Study of Cognition: Representation and Understanding: Studies in Cognitive Science focuses on the principles, processes, and methodologies involved in artificial intelligence. The selection first offers information on the dimensions of representation, foundations for semantic networks, and reflections on the formal description of behavior. Discussions focus on relativity of behavioral description, hierarchical organization of processes, problems in knowledge representation, and inference, access, and self-awareness. The text then takes a look at the synthesis, analysis, and contingent knowledge in specialized understanding systems, some principles of memory schemata, and representing knowledge for recognition. The book examines frame representations and declarative/procedur... controversy, schema for stories, and structure of episodes in memory. Topics include long-term memory, conceptual dependency, understanding paragraphs, simple story grammar, and first attempt at synthesis. The publication then ponders on concepts for representing mundane reality in plans and multiple representations of knowledge for tutorial reasoning. The selection is highly recommended for researchers interested in exploring artificial intelligence.

  • Uncertainty in Artificial Intelligence 2

    • 1 Edición
    • Volumen 5
    • L.N. Kanal + 1 más
    • Inglés
    This second volume is arranged in four sections: Analysis contains papers which compare the attributes of various approaches to uncertainty. Tools provides sufficient information for the reader to implement uncertainty calculations. Papers in the Theory section explain various approaches to uncertainty. The Applications section describes the difficulties involved in, and the results produced by, incorporating uncertainty into actual systems.

  • Natural and Artificial Intelligence

    Misconceptions about Brains and Neural Networks
    • 1 Edición
    • A. de Callataÿ
    • Inglés
    How does the mind work? How is data stored in the brain? How does the mental world connect with the physical world? The hybrid system developed in this book shows a radically new view on the brain. Briefly, in this model memory remains permanent by changing the homeostasis rebuilding the neuronal organelles. These transformations are approximately abstracted as all-or-none operations. Thus the computer-like neural systems become plausible biological models. This illustrated book shows how artificial animals with such brains learn invariant methods of behavior control from their repeated actions. These robots can make decisions in any circumstances and reason by analogy whenever possible.This new and expanded edition includes a prologue exploring the problems which have stopped the development of fully fledged brain models. The causes of these deadlocks are listed as potential misconceptions about brain principles, neural networks, nervous systems, robotics, programming and decision logic.

  • Parallel Processing from Applications to Systems

    • 1 Edición
    • Dan I. Moldovan
    • Inglés
    This text provides one of the broadest presentations of parallelprocessing available, including the structure of parallelprocessors and parallel algorithms. The emphasis is on mappingalgorithms to highly parallel computers, with extensive coverage ofarray and multiprocessor architectures. Early chapters provideinsightful coverage on the analysis of parallel algorithms andprogram transformations, effectively integrating a variety ofmaterial previously scattered throughout the literature. Theory andpractice are well balanced across diverse topics in this concisepresentation. For exceptional clarity and comprehension, the authorpresents complex material in geometric graphs as well as algebraicnotation. Each chapter includes well-chosen examples, tablessummarizing related key concepts and definitions, and a broad rangeof worked exercises.

  • Artificial Neural Networks

    • 1 Edición
    • K. Mäkisara + 3 más
    • Inglés
    This two-volume proceedings compiles a selection of research papers presented at the ICANN-91. The scope of the volumes is interdisciplinary, ranging from mathematics and engineering to cognitive sciences and biology. European research is well represented. Volume 1 contains all the orally presented papers, including both invited talks and submitted papers. Volume 2 contains the plenary talks and the poster presentations.

  • Uncertainty in Artificial Intelligence

    Proceedings of the Seventh Conference on Uncertainty in Artificial Intelligence, UCLA, at Los Angeles, July 13-15, 1991
    • 1 Edición
    • Bruce D'Ambrosio + 2 más
    • Inglés
    Uncertainty in Artificial Intelligence: Proceedings of the Seventh Conference (1991) covers the papers presented at the Seventh Conference on Uncertainty in Artificial Intelligence, held on July 13-15, 1991 at the University of California at Los Angeles (UCLA). The book focuses on the processes, technologies, developments, and approaches involved in artificial intelligence. The selection first offers information on combining multiple-valued logics in modular expert systems; constraint propagation with imprecise conditional probabilities; and Bayesian networks applied to therapy monitoring. The text then examines some properties of plausible reasoning; theory refinement on Bayesian networks; combination of upper and lower probabilities; and a probabilistic analysis of marker-passing techniques for plan-recognition. The publication ponders on symbolic probabilistic inference (SPI) with continuous variables, SPI with evidence potential, and local expression languages for probabilistic dependence. Topics include local expression languages for probabilistic knowledge, evidence potential algorithm, symbolic inference with evidence potential, and SPI with continuous variables algorithm. The manuscript also takes a look at the compatibility of quantitative and qualitative representations of belief and a method for integrating utility analysis into an expert system for design evaluation under uncertainty. The selection is a valuable source of data for researchers interested in artificial intelligence.

  • Pattern Recognition and Artificial Intelligence, Towards an Integration

    Proceedings of an International Workshop held in Amsterdam, May 18-20, 1988
    • 1 Edición
    • Volumen 7
    • L.N. Kanal + 1 más
    • Inglés
    This volume brings together the results of research into the methodology and applications of pattern recognition, with particular emphasis given to the incorporation of artificial intelligence methodologies into pattern recognition systems.The first part of this volume covers image analysis and processing software, systems and algorithms. Pattern analysis and classifier design are dealt with in part two, while the last part deals with model based and expert systems, including uncertainty calculus methods in pattern analysis and object recognition. A number of specific application areas are considered, including such diverse topics as fingerprinting, astronomy, molecular biology and pathology.

  • Safety of Computer Control Systems 1990 (SAFECOMP'90)

    Proceedings of the IFAC/EWICS/SARS Symposium Gatwick, UK, 30 October - 2 November 1990
    • 1 Edición
    • B.K. Daniels
    • Inglés
    The market for safe, secure and reliable computer systems is expanding continuously and these Proceedings provide an opportunity to review the growth during the last decade and identify skills and technologies required for continued development in the area. The papers cover the experiences gained from specifying, creating, operating, and licensing computers in safety, security and reliability related applications. There are reviews of guidelines and industrial applications, with a section covering methods and tools used in designing, documenting, analysing, testing and assessing systems dependent on the SAFECOMP factors.

  • Operational Expert System Applications in Canada

    • 1 Edición
    • Ching Y. Suen + 1 más
    • Inglés
    This book is part of a new series on operational expert systems worldwide. Expert systems are now widely used in different parts of the world for various applications. The past four years have witnessed a steady growth in the development and deployment of expert systems in Canada. Research in this field has also gained considerable momentum during the past few years. However, the field of expert systems is still young in Canada. This book contains 13 chapters contributed by 31 experts from both universities and industries across Canada covering a wide range of applications related to electric power and circuit boards, health and medicine, the legal field, transportation and decision making.

  • 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.

  • Scientific Computing

    An Introduction with Parallel Computing
    • 1 Edición
    • Gene H. Golub + 1 más
    • Inglés
    This book introduces the basic concepts of parallel and vector computing in the context of an introduction to numerical methods. It contains chapters on parallel and vector matrix multiplication and solution of linear systems by direct and iterative methods. It is suitable for advanced undergraduate and beginning graduate courses in computer science, applied mathematics, and engineering. Ideally, students will have access to a parallel or Vector computer, but the material can be studied profitably in any case.

  • 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.

  • 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.

  • COLT '91

    Proceedings of the Fourth Annual Workshop, UC Santa Cruz, California, August 5-7, 1991
    • 1 Edición
    • COLT
    • Inglés
    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.

  • IT Perspectives Conference

    The Future of Information Technology
    • 1 Edición
    • Sam Stuart
    • Inglés
    IT Perspectives Conference is a documentation of the top-level conference sponsored by the publishers of Computer Weekly, which aims to examine the issues that concern computer professionals and to provide at least some of the answers while indicating the directions which IT may be expected to take moving on to the 1990s. Leading figures from the IT industry and from major computer users show how they are tackling the transition from the limited task based approach of traditional computing to the more wide-ranging strategic issues implicit in the concept of information as a resource to be managed, used competitively, and even sold. In looking towards a future characterized by transaction-oriented systems, online databases, and distributed processing, the significance of tools such as fourth generation languages and computer-assisted software engineering is described and the vital role of communications at all levels from local area networks to the development of international standards is examined. This book will be useful to anyone wishing to discern the main trends in IT development and computer systems implementation as they set out to develop the systems of the 1990s.

  • Distributed Artificial Intelligence

    Volume II
    • 1 Edición
    • Robin Gasser + 1 más
    • Inglés
    Research Notes in Artificial Intelligence: Distributed Artificial Intelligence, Volume II focuses on the growing interest in Distributed Artificial Intelligence (DAI). The selection first offers information on a unified theory of communication and social structure and boundary objects and heterogeneous distributed problem solving. Discussions focus on types of boundary objects, heterogeneous problem solving and boundary objects, social structures and social groups, and social cooperation and communication. The text then examines representing and using organizational knowledge in DAI systems, dynamics of computational ecosystems, and communication-free interactions among rational agents. The publication takes a look at conflict-resolution strategies for nonhierarchical distributed agents, constraint-directed negotiation of resource reallocations, and plans for multiple agents. Topics include plan verification, generation, and execution, negotiation operators, representation, network management problem, and conflict-resolution paradigms. The manuscript then elaborates on negotiating task decomposition and allocation using partial global planning and mechanisms for assessing nonlocal impact of local decisions in distributed planning. The selection is a valuable source of information for researchers interested in distributed artificial intelligence.

  • Software Defined Networks

    A Comprehensive Approach
    • 1 Edición
    • Paul Goransson + 1 más
    • Inglés
    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

  • 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.

  • 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.

  • 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.

  • Systems Engineering in Public Administration

    Proceedings of the IFIP TC8/WG8.5 Working Conference on Systems Engineering in Public Administration, Luneburg, Germany, 3-5 March 1993
    • 1 Edición
    • Volumen 36
    • H.E.G. Bonin
    • Inglés
    The complexity of large systems in public administration progresses in terms of both quality and quantity year after year. Mastering complex systems is therefore assuming an increasing dominance in this area. Learning to master evolving systems needs at least a foundation in science and engineering know-how. The relationship between the professionals, such as system engineers viewing from the outside and the beneficiaries, such as public administration officials using the computer systems on the inside is therefore of prime importance if the many problems are to be solved.This book does not attempt to provide definitive answers but rather aims to give shape to our visions and ideas and to stimulate further discussion and research.

  • Real Time Programming 1988

    Proceedings of the 15thIFAC/IFIP Workshop, Valencia, Spain, 25-27 May 1988
    • 1 Edición
    • A. Crespo + 1 más
    • Inglés
    Digital computers are now used routinely in on-line control systems. As applications become more complex and costs of developing software rise, the need for good software tools becomes vital. This volume presents 14 papers on the most recent developments within real-time programming - languages for real-time programming, software development tools and the application of real-time systems within industry.

  • Artificial Intelligence in Design '91

    • 1 Edición
    • J. S. Gero
    • Inglés
    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.

  • Distributed Computer Control Systems 1994

    • 1 Edición
    • J.A. De La Puente + 1 más
    • Inglés
    One of the most important issues in the development of distributed computer control systems is the ability to build software and hardware which is both reliable and time deterministic; this is an area where control engineering and computer science naturally meet.This publication brings together the latest key papers on research and development in this field, allowing cross-fertilization between the two engineering disciplines involved and allowing both academics and industrial practitioners to find new insights and learn from each other's views.

  • 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.

  • Approximate Reasoning in Intelligent Systems, Decision and Control

    • 1 Edición
    • E. Sanchez + 1 más
    • Inglés
    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.

  • Analysis, Design and Evaluation of Man-Machine Systems 1989

    Selected Papers from the Fourth IFAC/IFIP/IFORS/IEA Conference, Xi'an, PRC, 12-14 September 1989
    • 1 Edición
    • B. Hu
    • Inglés
    The twenty-seven papers cover recent advances in both empirical and theoretical aspects of man-machine interaction with special emphasis on the subjects of man-automation and man-computer interaction. They provide information on a subject which has grown rapidly in importance during recent years.

  • Data Communication Systems and Their Performance

    Proceedings of the IFIP TC6 Fourth International Conference on Data Communication Systems and Their Performance, Barcelona, Spain, 20-22 June, 1990
    • 1 Edición
    • G. Pujolle + 1 más
    • Inglés
    The research papers in this volume describe recent, original developments in techniques, tools and applications in the area of communication system performance. Involved in the project are researchers from the world's leading universities, research institutes and companies.

  • 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.

  • Integrated Broadband Communication Networks and Services

    Proceedings of the IFIP TC6/ICCC International Conference on Integrated Broadband Communication Networks and Services, Copenhagen, Denmark, 20-23 April, 1993
    • 1 Edición
    • Volumen 18
    • V.B. Iversen
    • Inglés
    The importance of Broadband Communications in shaping the future telecommunication network has achieved world-wide recognition. This volume validates the huge significance of the field and explores key items concerning research, development and applications. The ideas and experiences presented will be of great interest to operators and users, for research and development, from both a technical and a commercial perspective.

  • Computer Hardware Description Languages and their Applications

    Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93 Sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993
    • 1 Edición
    • Volumen 32
    • D. Agnew + 2 más
    • Inglés
    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.

  • Students' Guide to Business Computing

    • 1 Edición
    • Norman Stang + 1 más
    • Inglés
    Students' Guide to Business Computing discusses topics concerning the use of computers in business. The book is comprised of nine chapters that define systems requirements and discuss the issues in designing a system. Chapter 1 covers the business enterprise, while Chapter 2 tackles business computers. Chapter 3 talks about initiating the systems development life cycle, and then Chapter 4 deals with determining system requirements. The book also covers systems design and choosing and using a programming language. Applications software and systems testing and implementation are also discussed. The last chapter talks about selecting business computing hardware and software. The text will be useful to entrepreneurs who want to integrate information technology into their business.

  • Using Networking and Communications Software in Business

    • 1 Edición
    • P.K. McBride
    • Inglés
    Using Networking and Communications Software in Business covers the importance of networks in a business firm, the benefits of computer communications within a firm, and the cost-benefit in putting up networks in businesses. The book is divided into six parts. Part I looks into the nature and varieties of networks, networking standards, and network software. Part II discusses the planning of a networked system, which includes analyzing the requirements for the network system, the hardware for the network, and network management. The installation of the network system and the network management, which covers password and security, backing up of files, managing the print server, and performing good network practices, are considered in Part III. Part IV describes the application and suitable software that concerns the database management and accounting systems, spreadsheets, and word processing. Communications and on-line services are dealt with in Part V. The last part of the book presents appendices on multi-user alternative, the Data Protection Act, SageNet, Tapestry II, and Product Suppliers for reference. The text is invaluable for computer engineers and people in business firms involved in data and systems management.

  • Interactive Computing in BASIC

    An Introduction to Interactive Computing and a Practical Course in the BASIC Language
    • 1 Edición
    • Peter C. Sanderson
    • Inglés
    Interactive Computing in BASIC: An Introduction to Interactive Computing and a Practical Course in the BASIC Language provides a general introduction to the principles of interactive computing and a comprehensive practical guide to the programming language Beginners All-purpose Symbolic Instruction Code (BASIC). The book starts by providing an introduction to computers and discussing the aspects of terminal usage, programming languages, and the stages in writing and testing a program. The text then discusses BASIC with regard to methods in writing simple arithmetical programs, control statements in the BASIC language, loops and subscripted variables, the RND function and subroutines, and further printing facilities and character manipulation. The matrix instructions and the different versions of BASIC are also considered. The book concludes by describing the transition from BASIC to FORTRAN. Computer programmers, scientists, engineers, statisticians, and other research workers who wish to acquire knowledge of computer programming will find this book invaluable.

  • The Basics of Information Security

    Understanding the Fundamentals of InfoSec in Theory and Practice
    • 2 Edición
    • Jason Andress
    • Inglés
    As part of the Syngress Basics series, The Basics of Information Security provides you with fundamental knowledge of information security in both theoretical and practical aspects. Author Jason Andress gives you the basic knowledge needed to understand the key concepts of confidentiality, integrity, and availability, and then dives into practical applications of these ideas in the areas of operational, physical, network, application, and operating system security. The Basics of Information Security gives you clear-non-technical explanations of how infosec works and how to apply these principles whether you're in the IT field or want to understand how it affects your career and business. The new Second Edition has been updated for the latest trends and threats, including new material on many infosec subjects.

  • Theory and Application of Digital Control

    Proceedings of the IFAC Symposium, New Delhi, India, 5-7 January 1982
    • 1 Edición
    • A. K. Mahalanabis
    • Inglés
    Theory and Application of Digital Control contains the proceedings of the IFAC Symposium held at New Delhi, India on January 5-7, 1982. This book particularly presents the texts of the five plenary talks and the 110 papers of the symposium. This book organizes the papers into 109 chapters, with nearly one-third of the papers focus on digital control, particularly, software and hardware of control using microcomputers; computer-aided design; and adaptive control and modeling for digital control. Another set of papers deal with several applications of digital control techniques in solving interesting problems of socio economic systems, electrical power systems, bio systems, and artificial satellites. The reader will benefit hugely from the topics in this book that span several important theoretical and applied areas of the fast-changing topic of digital control.

  • UKSC 84

    Proceedings of the 1984 UKSC Conference on Computer Simulation
    • 1 Edición
    • D.J. Murray-Smith
    • Inglés
    UKSC 84 contains the proceedings of the 1984 United Kingdom Simulation Council Conference on Computer Simulation held at the University of Bath, England. The papers describe computer simulation techniques and their applications and cover topics ranging from simulation methodology and software to the various applications of computer simulation in areas such as policy decision-making and planning, biology and medicine, and education. This book is comprised of 52 chapters divided into nine sections and begins by describing an advanced continuous-system simulation language called ESL (ESA Simulation Language), an initiative of the European Space Agency. The papers that follow explore other simulation software, such as MANIP, SYSMOD, COSMOS, Ada, SDL (Simulation Development Language), and SPIRO (Suite of Programs for the Investigation of Recondite Objects). The discussion then turns to a methodology based on artificial intelligence for the design and development of large-scale computer simulations; a formalism for specifying continuous or fixed time-step simulation models that is a straightforward extension of the block-oriented languages, with emphasis on superblocks and tesselations; and simulation of manufacturing and control systems. This book concludes with a chapter that describes a highly efficient compactor for a radar digital database. This monograph will be of interest to students and professionals working in the field of computer simulation.

  • Archives and the computer

    • 2 Edición
    • Michael J. Cook
    • Inglés
    Archives and the Computer deals with the use of the computer and its systems and programs in archiving data and other related materials. The book covers topics such as the scope of automated systems in archives; systems for records management, archival description, and retrieval; and machine-readable archives. The selection also features examples of archives from different institutions such as the University of Liverpool, Berkshire County Record Office, and the National Maritime Museum.The text is recommended for archivists who would like to know more about the use of computers in archiving of records and other related information.

  • Logical Design for Computers and Control

    • 1 Edición
    • K. N. Dodd
    • Inglés
    Logical Design for Computers and Control Logical Design for Computers and Control gives an introduction to the concepts and principles, applications, and advancements in the field of control logic. The text covers topics such as logic elements; high and low logic; kinds of flip-flops; binary counting and arithmetic; and Boolean algebra, Boolean laws, and De Morgan's theorem. Also covered are topics such as electrostatics and atomic theory; the integrated circuit and simple control systems; the conversion of analog to digital systems; and computer applications and control. The book is recommended for engineering students who are in need of an introductory material to control logic and its applications on computers.

Temas relacionados