Saltar al contenido principal
Elsevier

Libros en Ciencias de la Computación

  • Advances in Electronics and Electron Physics

    • 1 Edición
    • Volumen 81
    • Inglés

  • Advances in Electronics and Electron Physics

    • 1 Edición
    • Volumen 80
    • Inglés

  • Paradigms of Artificial Intelligence Programming

    Case Studies in Common Lisp
    • 1 Edición
    • Peter Norvig
    • Inglés
    Paradigms of AI Programming is the first text to teach advanced Common Lisp techniques in the context of building major AI systems. By reconstructing authentic, complex AI programs using state-of-the-art Common Lisp, the book teaches students and professionals how to build and debug robust practical programs, while demonstrating superior programming style and important AI concepts. The author strongly emphasizes the practical performance issues involved in writing real working programs of significant size. Chapters on troubleshooting and efficiency are included, along with a discussion of the fundamentals of object-oriented programming and a description of the main CLOS functions. This volume is an excellent text for a course on AI programming, a useful supplement for general AI courses and an indispensable reference for the professional programmer.

  • Advances in Computers

    • 1 Edición
    • Volumen 33
    • Inglés

  • Nonlinear Equations in the Applied Sciences

    • 1 Edición
    • Volumen 185
    • W. F. Ames
    • Inglés

  • Differential Equations and Mathematical Physics: Proceedings of the International Conference held at the University of Alabama at Birmingham, March 15-21, 1990

    • 1 Edición
    • Volumen 186
    • Bennewitz
    • Inglés

  • Advances in Computers

    • 1 Edición
    • Volumen 32
    • Inglés

  • Machine Learning

    A Theoretical Approach
    • 1 Edición
    • Balas K. Natarajan
    • Inglés
    This is the first comprehensive introduction to computational learning theory. The author's uniform presentation of fundamental results and their applications offers AI researchers a theoretical perspective on the problems they study. The book presents tools for the analysis of probabilistic models of learning, tools that crisply classify what is and is not efficiently learnable. After a general introduction to Valiant's PAC paradigm and the important notion of the Vapnik-Chervonenkis dimension, the author explores specific topics such as finite automata and neural networks. The presentation is intended for a broad audience--the author's ability to motivate and pace discussions for beginners has been praised by reviewers. Each chapter contains numerous examples and exercises, as well as a useful summary of important results. An excellent introduction to the area, suitable either for a first course, or as a component in general machine learning and advanced AI courses. Also an important reference for AI researchers.

  • The KBMT Project

    A Case Study in Knowledge-Based Machine Translation
    • 1 Edición
    • Kenneth Goodman + 1 más
    • Inglés
    Machine translation of natural languages is one of the most complex and comprehensive applications of computational linguistics and artificial intelligence. This is especially true of knowledge-based machine translation (KBMT) systems, which require many knowledge resources and processing modules to carry out the necessary levels of analysis, representation and generation of meaning and form. The number of real-world problems, tasks, and solutions involved in developing any realistic-size knowledge-based machine translation system is enormous. It is thus difficult for researchers in the field to learn what a system "really does".This book fills that need with a detailed case study of a KBMT system implemented at the Center for Machine Translation at Carnegie Mellon University. The research consists in part of the creation of a system for translation between English and Japanese. The corpora used in the project were manuals for installing and maintaining IBM personal computers (sponsorship by IBM, through its Tokyo Research Laboratory) Individual chapters describe the interlingua texts used in knowledge-based machine translation, the grammar formalism embodied in the system, the grammars and lexicons and their roles in the translation process, the process of source language analysis, an augmentation module that interactively and automatically resolves ambiguities remaining after source language analysis, and the generator, which produces target language sentences. Detailed appendices illustrate the process from analysis through generation.This book is intended for developers, researchers and advanced students in natural language processing and computational linguistics, including all those who have an interest in machine translation and machine-aided translation.

  • Computational Intelligence, III

    • 1 Edición
    • G. Valle + 2 más
    • Inglés
    In recent years AI has been experiencing a deep internal debate on the appropriateness of the symbolic-based paradigm and all of its consequences. While various symbolic representation schemes, as well as their integration, have been proposed, their limitations have continuously pushed researchers for improved versions or entirely new ones. New viewpoints such as the complex dynamic-based approach with neural nets can be regarded simply as new problem solving techniques with specific properties.Under this perspective, what seems to be important is the ability to combine heterogeneous representation and problem-solving techniques. Research on heterogeneous, intelligent systems goes hand in hand with research on specific problem solving methods and paradigms, therefore representing their conceptual and practical glueing element. The papers contained in this proceedings are just one instance of such awareness activity in the international scientific community.

  • Artificial Intelligence and Computer Vision

    • 1 Edición
    • Y.A. Feldman + 1 más
    • Inglés
    Current research in artificial intelligence and computer vision presented at the Israeli Symposium are combined in this volume to present an invaluable resource for students, industry and research organizations. Papers have been contributed from researchers worldwide, showing the growing interest of the international community in the work done in Israel. The papers selected are varied, reflecting the most contemporary research trends.

  • High-Speed Analog-to-Digital Conversion

    • 1 Edición
    • Michael J. Demler
    • Inglés
    This book covers the theory and applications of high-speed analog-to-digital conversion. An analog-to-digital converter takes real-world inputs (such as visual images, temperature readings, and rates of speed) and transforms them into digital form for processing by computer. This book discusses the design and uses of such circuits, with particular emphasis on improving the speed of the conversion process and the accuracy of its output--how well the output is a corresponding digital representation of the output*b1input signal. As computers become increasingly interfaced to the outside world, "ADC" techniques will become ever more important.

  • Computer Numerical Control of Machine Tools

    • 2 Edición
    • G E THYER
    • Inglés
    This is a comprehensive textbook catering for BTEC students at NIII and Higher National levels, advanced City and Guilds courses, and the early years of degree courses. It is also ideal for use in industrial retraining and post-experience programmes.

  • Self-Modifying Systems in Biology and Cognitive Science

    A New Framework for Dynamics, Information and Complexity
    • 1 Edición
    • Volumen 6
    • G. Kampis
    • Inglés
    The theme of this book is the self-generation of information by the self-modification of systems. The author explains why biological and cognitive processes exhibit identity changes in the mathematical and logical sense. This concept is the basis of a new organizational principle which utilizes shifts of the internal semantic relations in systems. There are mathematical discussions of various classes of systems (Turing machines, input-output systems, synergetic systems, non-linear dynamics etc), which are contrasted with the author's new principle. The most important implications of this include a new conception on the nature of information and which also provides a new and coherent conceptual view of a wide class of natural systems. This book merits the attention of all philosophers and scientists concerned with the way we create reality in our mathematical representations of the world and the connection those representations have with the way things really are.

  • Language in Action

    Categories, Lambdas and Dynamic Logic
    • 1 Edición
    • Volumen 130
    • J. van Benthem
    • Inglés
    This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical paradigm which has close analogies with Lambda Calculus and Type Theory. The technical theory presented here stems from the interface between Logic and Linguistics and, in particular, the theory of generalized quantification. A categorical framework with lambda calculus-oriented semantics is a convenient vehicle for generalizing semantic insights (obtained in various corners of natural language) into one coherent theory.The book aims to demonstrate to fellow logicians that the resulting applied lambda calculus has intrinsic logical interest. In the final analysis, the idea is not just to `break the syntactic code' of natural languages but to understand the cognitive functioning of the human mind.

  • Parallel and Distributed Processing

    • 1 Edición
    • K. Boyanov
    • Inglés
    The aim of this volume is to present discussion of the main problems in the theory of parallel and distributed architectures. It covers a wide range of basic topics, most of the papers being theoretical, though some cover application areas with the possibility of direct implementation.

  • Decentralized Control of Complex Systems

    • 1 Edición
    • Volumen 184
    • S?iljak
    • Inglés

  • Perception and Artistic Style

    • 1 Edición
    • Volumen 73
    • D.M. Parker + 1 más
    • Inglés
    Perception and Artistic Style explores the role of visual processes in the creation and perception of painting and drawing. By looking at the relationship between perception and representation evidence is provided that purely visual processes are a richer source of artistic inspiration than is commonly realised. Many of the obvious variations in artistic style are firmly rooted in visual perception and visual cognition. This book looks at a range of fundamental visual processes and investigates their contribution to major stylistic features of works of art. A wide selection of pictures is considered; ancient, medieval, renaissance, nineteenth and twentieth century and primitive, and both well known and relatively obscure works are examined.The volume includes 86 figures, 13 grey-scale illustrations of artworks and 43 line drawings. This book will be of value to students of perception, students of art and art history, and, since the more technical aspects have been confined to the notes, the general reader who wishes to increase his/her appreciation and understanding of pictorial art.

  • Handbook of VLSI Microlithography

    Principles, Technology and Applications
    • 1 Edición
    • William B. Glendinning + 1 más
    • Inglés
    This handbook gives readers a close look at the entire technology of printing very high resolution and high density integrated circuit (IC) patterns into thin resist process transfer coatings-- including optical lithography, electron beam, ion beam, and x-ray lithography. The book's main theme is the special printing process needed to achieve volume high density IC chip production, especially in the Dynamic Random Access Memory (DRAM) industry. The book leads off with a comparison of various lithography methods, covering the three major patterning parameters of line/space, resolution, line edge and pattern feature dimension control. The book's explanation of resist and resist process equipment technology may well be the first practical description of the relationship between the resist process and equipment parameters. The basics of resist technology are completely covered -- including an entire chapter on resist process defectivity and the potential yield limiting effect on device production. Each alternative lithographic technique and testing method is considered and evaluated: basic metrology including optical, scanning-electron-mi... (SEM) techniques and electrical test devices, along with explanations of actual printing tools and their design, construction and performance. The editor devotes an entire chapter to today's sophisticated, complex electron-beam printers, and to the emerging x-ray printing technology now used in high-density CMOS devices. Energetic ion particle printing is a controllable, steerable technology that does not rely on resist, and occupies a final section of the handbook.

  • Aging and Cognition

    Mental Processes, Self-Awareness and Interventions
    • 1 Edición
    • Volumen 72
    • E.A. Lovelace
    • Inglés
    Presented in this volume is a discussion of current literature and theoretical issues relating to three aspects of late-life age-related cognitive change. Firstly, evidence regarding aging and the basic mental processes of attention, motor control, memory, language, problem-solving, and intelligence are presented. Secondly, the role of personal traits such as personality and self-efficacy in the aging of cognitive function are developed, along with self-awareness of cognitive processes and age changes in the monitoring of these processes. Thirdly, consideration is given to the study of interventions to delay or remediate the cognitive declines of aging.

  • Parallelism and Programming in Classifier Systems

    • 1 Edición
    • Stephanie Forrest
    • Inglés
    Parallelism and Programming in Classifier Systems deals with the computational properties of the underlying parallel machine, including computational completeness, programming and representation techniques, and efficiency of algorithms. In particular, efficient classifier system implementations of symbolic data structures and reasoning procedures are presented and analyzed in detail. The book shows how classifier systems can be used to implement a set of useful operations for the classification of knowledge in semantic networks. A subset of the KL-ONE language was chosen to demonstrate these operations. Specifically, the system performs the following tasks: (1) given the KL-ONE description of a particular semantic network, the system produces a set of production rules (classifiers) that represent the network; and (2) given the description of a new term, the system determines the proper location of the new term in the existing network. These two parts of the system are described in detail. The implementation reveals certain computational properties of classifier systems, including completeness, operations that are particularly natural and efficient, and those that are quite awkward. The book shows how high-level symbolic structures can be built up from classifier systems, and it demonstrates that the parallelism of classifier systems can be exploited to implement them efficiently. This is significant since classifier systems must construct large sophisticated models and reason about them if they are to be truly ""intelligent."" Parallel organizations are of interest to many areas of computer science, such as hardware specification, programming language design, configuration of networks of separate machines, and artificial intelligence This book concentrates on a particular type of parallel organization and a particular problem in the area of AI, but the principles that are elucidated are applicable in the wider setting of computer science.

  • Advances in Computers

    • 1 Edición
    • Volumen 31
    • Inglés

  • Advances in Electronics and Electron Physics

    • 1 Edición
    • Volumen 79
    • Inglés

  • Formal Models and Semantics

    • 1 Edición
    • Volumen B
    • Bozzano G Luisa
    • Inglés
    The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.

  • Introduction to Statistical Pattern Recognition

    • 2 Edición
    • Keinosuke Fukunaga
    • Inglés
    This completely revised second edition presents an introduction to statistical pattern recognition. Pattern recognition in general covers a wide range of problems: it is applied to engineering problems, such as character readers and wave form analysis as well as to brain modeling in biology and psychology. Statistical decision and estimation, which are the main subjects of this book, are regarded as fundamental to the study of pattern recognition. This book is appropriate as a text for introductory courses in pattern recognition and as a reference book for workers in the field. Each chapter contains computer projects as well as exercises.

  • Embedded Controller Forth For The 8051 Family

    • 1 Edición
    • William H. Payne
    • Inglés
    The purpose of this book is to present the technology requied to develop hardware and software for embedded controller systems at a fraction of the cost of traditional methods. Included in the book are hardware schematics of 8051 family development systems (single board and bussed 8051 microcontroller). Source code for both the 8086 and 805 family FORTH operating systems is published in the book. Binary images of the opeating systems can be generated from teh source code using the metacompiler also contained in the book. The book can be seen as a "toolbox" includingg all the necessary hardware and software information to be used in constructing 8051-based controller systems.

  • Algorithms and Complexity

    • 1 Edición
    • Volumen A
    • Bozzano G Luisa
    • Inglés
    This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation in many recognized sub-disciplines of Theoretical Computer Science.

  • Advances in Electronics and Electron Physics

    • 1 Edición
    • Volumen 78
    • Inglés

  • Advances in Computers

    • 1 Edición
    • Volumen 30
    • Inglés

  • Minimalist Mobile Robotics

    • 1 Edición
    • Jonathan H. Connell
    • Inglés
    Rather than using traditional artificial intelligence techniques, which are ineffective when applied to the complexities of real-world robot navigaiton, Connell describes a methodology of reconstructing intelligent robots with distributed, multiagent control systems. After presenting this methodology, hte author describes a complex, robust, and successful application-a mobile robot "can collection machine" which operates in an unmodified offifce environment occupied by moving people.

  • Decentralized A.I

    • 1 Edición
    • Y. Demazeau + 1 más
    • Inglés
    Much research in Artificial Intelligence deals with a single agent having complete control over the world. A variation of this is Distributed AI (DAI), which is concerned with the collaborative solution of global problems by a distributed group of entities. This book deals with Decentralized AI (DzAI), which is concerned with the activity of an autonomous agent in a multi-agent world. The word ``agent'' is used in a broad sense, to designate an intelligent entity acting rationally and intentionally with respect to its goals and the current state of its knowledge. A number of these agents coexist and may collaborate with other agents in a common world; each agent may accomplish its own tasks, or cooperate with other agents to perform a personal or global task. The agents have imperfect knowledge about each other and about their common world, which they can update either through perception of the world, or by communication with each other.The papers were originally presented at a workshop held at King's College, Cambridge, and have been revised for this book.

  • Intelligent Mathematical Software Systems

    • 1 Edición
    • E.N. Houstis + 2 más
    • Inglés
    Most of the well-known mathematical software systems are batch oriented, though in the past few years there have been attempts to incorporate ``knowledge'' or ``expertise'' into these systems. A number of developments have helped in making the systems more powerful and user-friendly: algorithm/parameter selection for the solution of well-defined mathematical engineering problems; parallel computing; computer graphics technology; interface development tools; and of course the years of experience with these systems and the increase in available computing power have made it practical to fulfill the potential seen in the early years of their development.This book covers four main areas of the subject: Application Oriented Expert Systems, Advisory Systems, Knowledge Manipulation Issues, and User Interfaces.

  • Matrix Perturbation Theory

    • 1 Edición
    • G. W. Stewart + 1 más
    • Inglés
    This book is a comprehensive survey of matrix perturbation theory, a topic of interest to numerical analysts, statisticians, physical scientists, and engineers. In particular, the authors cover perturbation theory of linear systems and least square problems, the eignevalue problem, and the generalized eignevalue problem as wellas a complete treatment of vector and matrix norms, including the theory of unitary invariant norms.

  • Model Theory

    • 3 Edición
    • Volumen 73
    • C.C. Chang + 1 más
    • Inglés
    Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model theories for a host of nonfirst order logics. Model theoretic methods have also had a major impact on set theory, recursion theory, and proof theory.This new edition has been updated to take account of these changes, while preserving its usefulness as a first textbook in model theory. Whole new sections have been added, as well as new exercises and references. A number of updates, improvements and corrections have been made to the main text.

  • Computational Intelligence, II

    • 1 Edición
    • G. Mauri + 2 más
    • Inglés
    The focus of this volume is ``Heterogeneous Knowledge and Problem Solving Integration'', i.e. the combined use of different knowledge representation and problem solving paradigms.This is a central topic for the design and implementation of problem solving systems, since, from a pragmatic and engineering standpoint, the solution of a large class of problems cannot take place within one single representation language or problem solving paradigm. Heterogeneous systems represent not only a pragmatic answer, but also a theoretical alternative to the homogeneous paradigms.

  • Advances in Electronics and Electron Physics

    • 1 Edición
    • Volumen 77
    • Inglés

  • Cache and Memory Hierarchy Design

    A Performance Directed Approach
    • 1 Edición
    • Steven A. Przybylski
    • Inglés
    An authoritative book for hardware and software designers. Caches are by far the simplest and most effective mechanism for improving computer performance. This innovative book exposes the characteristics of performance-optimal single and multi-level cache hierarchies by approaching the cache design process through the novel perspective of minimizing execution times. It presents useful data on the relative performance of a wide spectrum of machines and offers empirical and analytical evaluations of the underlying phenomena. This book will help computer professionals appreciate the impact of caches and enable designers to maximize performance given particular implementation constraints.

  • Readings in Speech Recognition

    • 1 Edición
    • Alexander Waibel + 1 más
    • Inglés
    After more than two decades of research activity, speech recognition has begun to live up to its promise as a practical technology and interest in the field is growing dramatically. Readings in Speech Recognition provides a collection of seminal papers that have influenced or redirected the field and that illustrate the central insights that have emerged over the years. The editors provide an introduction to the field, its concerns and research problems. Subsequent chapters are devoted to the main schools of thought and design philosophies that have motivated different approaches to speech recognition system design. Each chapter includes an introduction to the papers that highlights the major insights or needs that have motivated an approach to a problem and describes the commonalities and differences of that approach to others in the book.

  • Computers and Conversation

    • 1 Edición
    • Paul Luff + 2 más
    • Inglés
    In the past few years a branch of sociology, conversation analysis, has begun to have a significant impact on the design of human*b1computer interaction (HCI). The investigation of human*b1human dialogue has emerged as a fruitful foundation for interactive system design.****This book includes eleven original chapters by leading researchers who are applying conversation analysis to HCI. The fundamentals of conversation analysis are outlined, a number of systems are described, and a critical view of their value for HCI is offered.****Computer... and Conversation will be of interest to all concerned with HCI issues--from the advanced student to the professional computer scientist involved in the design and specification of interactive systems.

  • Stimulus-Response Compatibility

    An Integrated Perspective
    • 1 Edición
    • Volumen 65
    • R.W. Proctor + 1 más
    • Inglés
    Stimulus-response compatibility refers to the finding that certain mappings of stimuli to responses produce faster and more accurate responding than do others. The present volume surveys compatibility research which falls into four broad categories: (a) mental representation and coding (b) neurophysiological mechanisms (c) motor performance (d) human factors applications. The major findings and models within each of the categories are summarized, and an integrated perspective is provided. The research indicates that compatibility effects reflect basic cognitive processes that bear on a range of issues in cognitive science and that have applied implications for human factors specialists.

  • Nonlinear Boundary Value Problems in Science and Engineering

    • 1 Edición
    • Volumen 183
    • C. Rogers + 1 más
    • Inglés
    Overall, our object has been to provide an applications-oriente... text that is reasonably self-contained. It has been used as the basis for a graduate-level course both at the University of Waterloo and at the Centro Studie Applicazioni in Tecnologie Avante, Bari, Italy. The text is aimed, in the main, at applied mathematicians with a strong interest in physical applications or at engineers working in theoretical mechanics.

  • Advances in Computers

    • 1 Edición
    • Volumen 29
    • Inglés

  • Advances in Electronics and Electron Physics

    • 1 Edición
    • Volumen 76
    • Inglés

  • Advances in Electronics and Electron Physics

    • 1 Edición
    • Volumen 75
    • Inglés

  • Connectionism in Perspective

    • 1 Edición
    • R. Pfeifer + 3 más
    • Inglés
    An evaluation of the merits, potential, and limits of Connectionism, this book also illustrates current research programs and recent trends.Connectionism (also known as Neural Networks) is an exciting new field which has brought together researchers from different areas such as artificial intelligence, computer science, cognitive science, neuroscience, physics, and complex dynamics. These researchers are applying the connectionist paradigm in an interdisciplinary way to the analysis and design of intelligent systems.In this book, researchers from the above-mentioned fields not only report on their most recent research results, but also describe Connectionism from the perspective of their own field, looking at issues such as: - the effects and the utility of Connectionism for their field - the potential and limitations of Connectionism - can it be combined with other approaches?

  • Advances in Computers

    • 1 Edición
    • Volumen 28
    • Inglés

  • Computability, Complexity, Logic

    • 1 Edición
    • Volumen 128
    • E. Börger
    • Inglés
    The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the solution of precisely described questions and problems.The book is a unified introduction to the modern theory of these concepts, to the way in which they developed first in mathematical logic and computability theory and later in automata theory, and to the theory of formal languages and complexity theory. Apart from considering the fundamental themes and classical aspects of these areas, the subject matter has been selected to give priority throughout to the new aspects of traditional questions, results and methods which have developed from the needs or knowledge of computer science and particularly of complexity theory.It is both a textbook for introductory courses in the above-mentioned disciplines as well as a monograph in which further results of new research are systematically presented and where an attempt is made to make explicit the connections and analogies between a variety of concepts and constructions.

  • Knowledge Acquisition from Text and Pictures

    • 1 Edición
    • Volumen 58
    • H. Mandl + 1 más
    • Inglés
    Media-didactics have recently become more firmly grounded on cognitive theory, with an increasing concern for the internal processes of knowledge representation and acquisition. With this cognitive aspect in mind, an international group of researchers held a meeting in Tübingen, Federal Republic of Germany, to present and discuss the theoretical approaches to and empirical investigations of knowledge acquisition from text and pictures. This volume contains the revised contributions resulting from that meeting.

  • Advances in Electronics and Electron Physics

    • 1 Edición
    • Volumen 73
    • Inglés

  • Advances in Electronics and Electron Physics

    • 1 Edición
    • Volumen 72
    • Inglés

Temas relacionados