Saltar al contenido principal

Libros en Ciencias de la Computación

  • Practical Neural Network Recipies in C++

    • 1 Edición
    • Masters
    • Inglés
    This text serves as a cookbook for neural network solutions to practical problems using C++. It will enable those with moderate programming experience to select a neural network model appropriate to solving a particular problem, and to produce a working program implementing that network. The book provides guidance along the entire problem-solving path, including designing the training set, preprocessing variables, training and validating the network, and evaluating its performance. Though the book is not intended as a general course in neural networks, no background in neural works is assumed and all models are presented from the ground up.The principle focus of the book is the three layer feedforward network, for more than a decade as the workhorse of professional arsenals. Other network models with strong performance records are also included.Bound in the book is an IBM diskette that includes the source code for all programs in the book. Much of this code can be easily adapted to C compilers. In addition, the operation of all programs is thoroughly discussed both in the text and in the comments within the code to facilitate translation to other languages.
  • Readings in Groupware and Computer-Supported Cooperative Work

    Assisting Human-Human Collaboration
    • 1 Edición
    • Ronald M. Baecker
    • Inglés
    This comprehensive introduction to the field represents the best of the published literature on groupware and computer-supported cooperative work (CSCW). The papers were chosen for their breadth of coverage of the field, their clarity of expression and presentation, their excellence in terms of technical innovation or behavioral insight, their historical significance, and their utility as sources for further reading. Taken as a whole, the papers and their introductions are a complete sourcebook to the field. This book will be useful for computer professionals involved in the development or purchase of groupware technology as well as for researchers and managers. It should also serve as a valuable text for university courses on CSCW, groupware, and human-computer interaction.
  • Morphogenesis

    • 1 Edición
    • Volumen 3
    • P.T. Saunders
    • Inglés
    The collected works of Turing, including a substantial amount of unpublished material, will comprise four volumes: Mechanical Intelligence, Pure Mathematics, Morphogenesis and Mathematical Logic. Alan Mathison Turing (1912-1954) was a brilliant man who made major contributions in several areas of science. Today his name is mentioned frequently in philosophical discussions about the nature of Artificial Intelligence. Actually, he was a pioneer researcher in computer architecture and software engineering; his work in pure mathematics and mathematical logic extended considerably further and his last work, on morphogenesis in plants, is also acknowledged as being of the greatest originality and of permanent importance. He was one of the leading figures in Twentieth-century science, a fact which would have been known to the general public sooner but for the British Official Secrets Act, which prevented discussion of his wartime work. What is maybe surprising about these papers is that although they were written decades ago, they address major issues which concern researchers today.
  • Artificial Intelligence, Expert Systems & Symbolic Computing

    • 1 Edición
    • E.N. Houstis + 1 más
    • Inglés
    This volume contains papers in the areas of artificial intelligence, expert systems, symbolic computing and applications to scientific computing. Together, they provide an excellent overview of the dynamic state of these closely related fields. They reveal a future where scientific computation will increasingly involve symbolic and artificial intelligence tools as these software systems become more sophisticated; also a future where systems of computational science and engineering will be problem solving environments created with components from numerical analysis, computational geometry, symbolic computing and artificial intelligence.
  • The Steiner Tree Problem

    • 1 Edición
    • Volumen 53
    • F.K. Hwang + 2 más
    • Inglés
    The Steiner problem asks for a shortest network which spans a given set of points. Minimum spanning networks have been well-studied when all connections are required to be between the given points. The novelty of the Steiner tree problem is that new auxiliary points can be introduced between the original points so that a spanning network of all the points will be shorter than otherwise possible. These new points are called Steiner points - locating them has proved problematic and research has diverged along many different avenues.This volume is devoted to the assimilation of the rich field of intriguing analyses and the consolidation of the fragments. A section has been given to each of the three major areas of interest which have emerged. The first concerns the Euclidean Steiner Problem, historically the original Steiner tree problem proposed by Jarník and Kössler in 1934. The second deals with the Steiner Problem in Networks, which was propounded independently by Hakimi and Levin and has enjoyed the most prolific research amongst the three areas. The Rectilinear Steiner Problem, introduced by Hanan in 1965, is discussed in the third part. Additionally, a forth section has been included, with chapters discussing areas where the body of results is still emerging.The collaboration of three authors with different styles and outlooks affords individual insights within a cohesive whole.
  • C4.5

    Programs for Machine Learning
    • 1 Edición
    • J. Ross Quinlan
    • Inglés
    Classifier systems play a major role in machine learning and knowledge-based systems, and Ross Quinlan's work on ID3 and C4.5 is widely acknowledged to have made some of the most significant contributions to their development. This book is a complete guide to the C4.5 system as implemented in C for the UNIX environment. It contains a comprehensive guide to the system's use , the source code (about 8,800 lines), and implementation notes. C4.5 starts with large sets of cases belonging to known classes. The cases, described by any mixture of nominal and numeric properties, are scrutinized for patterns that allow the classes to be reliably discriminated. These patterns are then expressed as models, in the form of decision trees or sets of if-then rules, that can be used to classify new cases, with emphasis on making the models understandable as well as accurate. The system has been applied successfully to tasks involving tens of thousands of cases described by hundreds of properties. The book starts from simple core learning methods and shows how they can be elaborated and extended to deal with typical problems such as missing data and over hitting. Advantages and disadvantages of the C4.5 approach are discussed and illustrated with several case studies. This book should be of interest to developers of classification-based intelligent systems and to students in machine learning and expert systems courses.
  • Physically-Based Modeling for Computer Graphics

    A Structured Approach
    • 1 Edición
    • Ronen Barzel + 1 más
    • Inglés
    Physically-Based Modeling for Computer Graphics: A Structured Approach addresses the challenge of designing and managing the complexity of physically-based models. This book will be of interest to researchers, computer graphics practitioners, mathematicians, engineers, animators, software developers and those interested in computer implementation and simulation of mathematical models.
  • Advances in Computers

    • 1 Edición
    • Volumen 35
    • Inglés
  • Transaction Processing

    Concepts and Techniques
    • 1 Edición
    • Jim Gray + 1 más
    • Inglés
    The key to client/server computing.Transactio... processing techniques are deeply ingrained in the fields ofdatabases and operating systems and are used to monitor, control and updateinformation in modern computer systems. This book will show you how large,distributed, heterogeneous computer systems can be made to work reliably.Using transactions as a unifying conceptual framework, the authors show howto build high-performance distributed systems and high-availabilityapp... with finite budgets and risk.The authors provide detailed explanations of why various problems occur aswell as practical, usable techniques for their solution. Throughout the book,examples and techniques are drawn from the most successful commercial andresearch systems. Extensive use of compilable C code fragments demonstratesthe many transaction processing algorithms presented in the book. The bookwill be valuable to anyone interested in implementing distributed systemsor client/server architectures.
  • Artificial Intelligence in Engineering Design

    Volume III: Knowledge Acquisition, Commercial Systems, And Integrated Environments
    • 1 Edición
    • Christopher Tong + 1 más
    • Inglés
    Artificial Intelligence in Engineering Design is a three volume edited collection of key papers from the field of artificial intelligence and design, aimed at providing a description of the field, and focusing on how ideas and methods from artifical intelligence can help engineers in the design of physical artifacts and processes. The book surveys a wide variety of applications in the areas of civil, mechanical, chemical, VLSI, electrical, and computer engineering. The contributors are from leading academic computer-aided design centers as well as from industry.
  • Pattern Recognition and Machine Learning

    • 1 Edición
    • Y. Anzai
    • Inglés
    This is the first text to provide a unified and self-contained introduction to visual pattern recognition and machine learning. It is useful as a general introduction to artifical intelligence and knowledge engineering, and no previous knowledge of pattern recognition or machine learning is necessary. Basic for various pattern recognition and machine learning methods. Translated from Japanese, the book also features chapter exercises, keywords, and summaries.
  • Advances in Computers

    • 1 Edición
    • Volumen 34
    • Inglés
  • Fourth Czechoslovakian Symposium on Combinatorics, Graphs and Complexity

    • 1 Edición
    • Volumen 51
    • J. Nešetril + 1 más
    • Inglés
    This volume in the Annals of Discrete Mathematics brings together contributions by renowned researchers in combinatorics, graphs and complexity. The conference on which this book is based was the fourth in a series which began in 1963, which was the first time specialists from East and West were able to come together. The 1990 meeting attracted 170 mathematicians and computer scientists from around the world, so this book represents an international, detailed view of recent research.
  • A Guide to RISC Microprocessors

    • 2 Edición
    • Florence Slater
    • Inglés
    A Guide to RISC Microprocessors provides a comprehensive coverage of every major RISC microprocessor family. Independent reviewers with extensive technical backgrounds offer a critical perspective in exploring the strengths and weaknesses of all the different microprocessors on the market. This book is organized into seven sections and comprised of 35 chapters. The discussion begins with an overview of RISC architecture intended to help readers understand the technical details and the significance of the new chips, along with instruction set design and design issues for next-generation processors. The chapters that follow focus on the SPARC architecture, SPARC chips developed by Cypress Semiconductor in collaboration with Sun, and Cypress's introduction of redesigned cache and memory management support chips for the SPARC processor. Other chapters focus on Bipolar Integrated Technology's ECL SPARC implementation, embedded SPARC processors by LSI Logic and Fujitsu, the MIPS processor, Motorola 88000 RISC chip set, Intel 860 and 960 microprocessors, and AMD 29000 RISC microprocessor family. This book is a valuable resource for consumers interested in RISC microprocessors.
  • Fundamentals of Spatial Information Systems

    • 1 Edición
    • Robert Laurini + 1 más
    • Inglés
    The study and application of spatial information systems have been developed primarily from the use of computers in the geosciences. These systems have the principle functions of capturing, storing, representing, manipulating, and displaying data in 2-D and 3-D worlds. This book approaches its subject from the perspectives of informatics and geography, presenting methods of conceptual modeling developed in computer science that provide valuable aids for resolving spatial problems. This book is an essential textbook for both students and practitioners. It is indispensable for academic geographers, computer scientists, and the GIS professional.
  • Dictionary of Information Science and Technology

    • 1 Edición
    • Carolyn Watters
    • Inglés
    Information science is the study of information phenomena, including the acquisition, storage, and manipulation of data, information, and knowledge. It is by nature an interdisciplinary field. Researchers, managers, system users, and students need access to tools, terms, and techniques that are spread out over a large literature in a number of different disciplines: information retrieval, database management, office information systems, information technology, communication and networking, relevant computer hardware, and artificial intelligence.This work facilitates the cross-use terms from the various contributing sub-areas of information science. With definitions of one-thousand terms, in alphabetical order, the volume provides a unified, integrated, and concise guide to the field. Each term is annotated by one or more references to the literature. Where possible, the first reference directs the user to a basic or seminal discussion of the term and subsequent references show its usage in an information science-related application. This work will be an indispensable reference for students, researchers, and professionals.
  • Matrix Logic and Mind

    A Probe into a Unified Theory of Mind and Matter
    • 1 Edición
    • A. Stern
    • Inglés
    In this revolutionary work, the author sets the stage for the science ofthe 21st Century, pursuing an unprecedented synthesis of fields previouslyconsidered unrelated. Beginning with simple classical concepts, he endswith a complex multidisciplinary theory requiring a high level ofabstraction. The work progresses across the sciences in severalmultidiscipli... directions: Mathematical logic, fundamental physics,computer science and the theory of intelligence. Extraordinarily enough,the author breaks new ground in all these fields.In the field offundamental physics the author reaches the revolutionary conclusion thatphysics can be viewed and studied as logic in a fundamental sense, ascompared with Einstein's view of physics as space-time geometry. This opensnew, exciting prospects for the study of fundamental interactions. Aformulation of logic in terms of matrix operators and logic vector spacesallows the author to tackle for the first time the intractable problem ofcognition in a scientific manner. In the same way as the findings ofHeisenberg and Dirac in the 1930s provided a conceptual and mathematicalfoundati... for quantum physics, matrix operator logic supports an importantbreakthroug... in the study of the physics of the mind, which is interpretedas a fractal of quantum mechanics. Introducing a concept of logic quantumnumbers, the author concludes that the problem of logic and theintelligence code in general can be effectively formulated as eigenvalueproblems similar to those of theoretical physics. With this important leapforward in the study of the mechanism of mind, the author concludes thatthe latter cannot be fully understood either within classical or quantumnotions. A higher-order covariant theory is required to accommodate thefundamental effect of high-level intelligence. The landmark resultsobtained by the author will have implications and repercussions for thevery foundations of science as a whole. Moreover, Stern's Matrix Logic issuitable for a broad spectrum of practical applications in contemporarytechnolo...
  • Classical Recursion Theory

    The Theory of Functions and Sets of Natural Numbers
    • 1 Edición
    • Volumen 125
    • P. Odifreddi
    • Inglés
    1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles.Among the subjects covered are: various equivalent approaches to effective computability and their relations with computers and programming languages; a discussion of Church's thesis; a modern solution to Post's problem; global properties of Turing degrees; and a complete algebraic characterization of many-one degrees. Included are a number of applications to logic (in particular Gödel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation.
  • Practical Parallel Programming

    • 1 Edición
    • Barr E. Bauer
    • Inglés
    This is the book that will teach programmers to write faster, more efficient code for parallel processors. The reader is introduced to a vast array of procedures and paradigms on which actual coding may be based. Examples and real-life simulations using these devices are presented in C and FORTRAN.
  • Pure Mathematics

    • 1 Edición
    • Volumen 2
    • J.L. Britton
    • Inglés
    The collected works of Turing, including a substantial amount of unpublished material, will comprise four volumes: Mechanical Intelligence, Pure Mathematics, Morphogenesis and Mathematical Logic. Alan Mathison Turing (1912-1954) was a brilliant man who made major contributions in several areas of science. Today his name is mentioned frequently in philosophical discussions about the nature of Artificial Intelligence. Actually, he was a pioneer researcher in computer architecture and software engineering; his work in pure mathematics and mathematical logic extended considerably further and his last work, on morphogenesis in plants, is also acknowledged as being of the greatest originality and of permanent importance. He was one of the leading figures in Twentieth-century science, a fact which would have been known to the general public sooner but for the British Official Secrets Act, which prevented discussion of his wartime work. What is maybe surprising about these papers is that although they were written decades ago, they address major issues which concern researchers today.
  • Mechanical Intelligence

    • 1 Edición
    • Volumen 1
    • D.C. Ince
    • Inglés
    The collected works of Turing, including a substantial amount of unpublished material, will comprise four volumes: Mechanical Intelligence, Pure Mathematics, Morphogenesis and Mathematical Logic. Alan Mathison Turing (1912-1954) was a brilliant man who made major contributions in several areas of science. Today his name is mentioned frequently in philosophical discussions about the nature of Artificial Intelligence. Actually, he was a pioneer researcher in computer architecture and software engineering; his work in pure mathematics and mathematical logic extended considerably further and his last work, on morphogenesis in plants, is also acknowledged as being of the greatest originality and of permanent importance. He was one of the leading figures in Twentieth-century science, a fact which would have been known to the general public sooner but for the British Official Secrets Act, which prevented discussion of his wartime work. What is maybe surprising about these papers is that although they were written decades ago, they address major issues which concern researchers today.
  • The Art of Programming Embedded Systems

    • 1 Edición
    • Jack Ganssle
    • Inglés
    Embedded systems are products such as microwave ovens, cars, and toys that rely on an internal microprocessor. This book is oriented toward the design engineer or programmer who writes the computer code for such a system. There are a number of problems specific to the embedded systems designer, and this book addresses them and offers practical solutions.
  • Decentralized A.I., 2

    • 1 Edición
    • Y. Demazeau + 1 más
    • Inglés
    The purpose of this proceedings is to stimulate exchange and discussion of research in the field of multi-agent systems. A multi-agent system consists of at least two agents that are engaged in some task that may require coordination, cooperation and/or competition. An autonomous agent has its own goals, capabilities and knowledge. The actions of an agent occur in the context of other agents that may have structures and strategies different from the agent's own. Multi-agent problems arise when several autonomous agents share a common environment. These problems may result from limited resources, shared or competing goals, etc. This MAAMAW workshop proceedings emphasizes multi-agent systems of all sorts from very simple to very complex agents and agent organizations.
  • 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
  • Advances in Computers

    • 1 Edición
    • Volumen 32
    • Inglés
  • 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.
  • 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.
  • 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.