Saltar al contenido principal
Elsevier

Libros en Ciencias de la Computación

  • Production Software That Works

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

  • Machine Learning Proceedings 1992

    Proceedings of the Ninth International Workshop (ML92)
    • 1 Edición
    • Peter Edwards + 1 más
    • Inglés
    Machine Learning: Proceedings of the Ninth International Workshop (ML92) covers the papers and posters presented at ML92, the Ninth International Machine Learning Conference, held at Aberdeen, Scotland on July 1-3, 1992. The book focuses on the advancements of practices, methodologies, approaches, and techniques in machine learning. The selection first offers information on the principal axes method for constructive induction; learning by incomplete explanations of failures in recursive domains; and eliminating redundancy in explanation-based learning. Topics include means-ends analysis search in recursive domains, description space transformation, distance metric, generating similarity matrix, and learning principal axes. The text then examines trading off consistency and efficiency in version-space induction; improving path planning with learning; finding the conservation of momentum; and learning to predict in uncertain continuous tasks. The manuscript elaborates on a teaching method for reinforcement learning, compiling prior knowledge into an explicit bias, spatial analogy and subsumption, and multistrategy learning with introspective meta-explanations. The publication also ponders on selecting typical instances in instance-based learning and temporal difference learning of backgammon strategy. The selection is a valuable source of information for researchers interested in machine learning.

  • Digital Guide To Developing International Software

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

  • Supercomputers

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

  • Artificial Intelligence V

    Methodology, Systems, Applications
    • 1 Edición
    • B. du Boulay + 1 más
    • Inglés
    Recent results and ongoing research in Artificial Intelligence are described in this book, with emphasis on fundamental questions in several key areas: machine learning, neural networks, automated reasoning, natural language processing, and logic methods in AI. There are also more applied papers in the fields of vision, architectures for KBS, expert systems and intelligent tutoring systems. One of the changes since AIMSA'90 has been the increased numbers of papers submitted in the fields of machine learning, neural networks and hybrid systems.One of the special features of the AIMSA series of conferences is their coverage of work across both Eastern and Western Europe and the former Soviet Union as well as papers from North America. AIMSA'92 is no exception and this volume provides a unique multi-cultural view of AI.

  • Digital Picture Processing

    • 2 Edición
    • Volumen 2
    • Azriel Rosenfeld
    • Inglés
    Computer Science and Applied Mathematics: Digital Picture Processing, Second Edition, Volume 2 focuses on picture or image processing, which is concerned with the manipulation and analysis of pictures by computer. This book emphasizes the three major subareas in picture processing—digitizat... and compression; enhancement, restoration, and reconstruction; and matching, description, and recognition. This volume is organized into four chapters. Chapter 9 discusses registration and matching, while Chapter 10 considers segmentation into parts. The representation of parts and geometric property measurement is elaborated in Chapter 11. The last chapter is devoted to the non-geometric properties, picture descriptions, and models for classes of pictures. This publication is suitable for specialists and professionals working in the field of digital picture processing.

  • Languages, Compilers and Run-time Environments for Distributed Memory Machines

    • 1 Edición
    • Volumen 3
    • J. Saltz + 1 más
    • Inglés
    Papers presented within this volume cover a wide range of topics related to programming distributed memory machines. Distributed memory architectures, although having the potential to supply the very high levels of performance required to support future computing needs, present awkward programming problems. The major issue is to design methods which enable compilers to generate efficient distributed memory programs from relatively machine independent program specifications. This book is the compilation of papers describing a wide range of research efforts aimed at easing the task of programming distributed memory machines.

  • Computer Programming and Architecture

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

  • Programming, The Impossible Challenge

    • 1 Edición
    • B. Walraet
    • Inglés
    In its modern form, the computer is only about 40 years old. And so is the job of the computer programmer. This book is a critical history of programming, written to give programmers and analysts in the commercial application field a more pragmatic insight into the background of their profession. It tells the story of why the technology evolved as it did, and how Fifth Generation techniques are already changing the situation.As well as charting the real advances and the passing fashions, this unusual book looks at the situation in perspective, drawing some sad and maybe surprising conclusions while discussing questions such as ``Is programming a job for human beings?'' ``Is it High Noon for the world of programming?''

  • Parallel Processing for Artificial Intelligence 1

    • 1 Edición
    • Volumen 14
    • L.N. Kanal + 3 más
    • Inglés
    Parallel processing for AI problems is of great current interest because of its potential for alleviating the computational demands of AI procedures. The articles in this book consider parallel processing for problems in several areas of artificial intelligence: image processing, knowledge representation in semantic networks, production rules, mechanization of logic, constraint satisfaction, parsing of natural language, data filtering and data mining. The publication is divided into six sections. The first addresses parallel computing for processing and understanding images. The second discusses parallel processing for semantic networks, which are widely used means for representing knowledge - methods which enable efficient and flexible processing of semantic networks are expected to have high utility for building large-scale knowledge-based systems. The third section explores the automatic parallel execution of production systems, which are used extensively in building rule-based expert systems - systems containing large numbers of rules are slow to execute and can significantly benefit from automatic parallel execution. The exploitation of parallelism for the mechanization of logic is dealt with in the fourth section. While sequential control aspects pose problems for the parallelization of production systems, logic has a purely declarative interpretation which does not demand a particular evaluation strategy. In this area, therefore, very large search spaces provide significant potential for parallelism. In particular, this is true for automated theorem proving. The fifth section considers the problem of constraint satisfaction, which is a useful abstraction of a number of important problems in AI and other fields of computer science. It also discusses the technique of consistent labeling as a preprocessing step in the constraint satisfaction problem. Section VI consists of two articles, each on a different, important topic. The first discusses parallel formulation for the Tree Adjoining Grammar (TAG), which is a powerful formalism for describing natural languages. The second examines the suitability of a parallel programming paradigm called Linda, for solving problems in artificial intelligence.Each of the areas discussed in the book holds many open problems, but it is believed that parallel processing will form a key ingredient in achieving at least partial solutions. It is hoped that the contributions, sourced from experts around the world, will inspire readers to take on these challenging areas of inquiry.

  • Advanced Neural Computers

    • 1 Edición
    • R. Eckmiller
    • Inglés
    This book is the outcome of the International Symposium on Neural Networks for Sensory and Motor Systems (NSMS) held in March 1990 in the FRG. The NSMS symposium assembled 45 invited experts from Europe, America and Japan representing the fields of Neuroinformatics, Computer Science, Computational Neuroscience, and Neuroscience.As a rapidly-published report on the state of the art in Neural Computing it forms a reference book for future research in this highly interdisciplinary field and should prove useful in the endeavor to transfer concepts of brain function and structure to novel neural computers with adaptive, dynamical neural net topologies.A feature of the book is the completeness of the references provided. An alphabetical list of all references quoted in the papers is given, as well as a separate list of general references to help newcomers to the field. A subject index and author index also facilitate access to various details.

  • Neural Networks

    Advances and Applications, 2
    • 1 Edición
    • E. Gelenbe
    • Inglés
    The present volume is a natural follow-up to Neural Networks: Advances and Applications which appeared one year previously. As the title indicates, it combines the presentation of recent methodological results concerning computational models and results inspired by neural networks, and of well-documented applications which illustrate the use of such models in the solution of difficult problems. The volume is balanced with respect to these two orientations: it contains six papers concerning methodological developments and five papers concerning applications and examples illustrating the theoretical developments. Each paper is largely self-contained and includes a complete bibliography.The methodological part of the book contains two papers on learning, one paper which presents a computational model of intracortical inhibitory effects, a paper presenting a new development of the random neural network, and two papers on associative memory models. The applications and examples portion contains papers on image compression, associative recall of simple typed images, learning applied to typed images, stereo disparity detection, and combinatorial optimisation.

  • Virtual Reality Systems

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

  • Deductive and Object-Oriented Databases

    Proceedings of the First International Conference on Deductive and Object-Oriented Databases (DOOD89) Kyoto Research Park, Kyoto, Japan, 4-6 December 1989
    • 1 Edición
    • W. Kim + 2 más
    • Inglés
    Deductive databases and object-oriented databases are at the forefront of research in next-generation intelligent database systems.Object-orien... programming and design methodologies have great potential, promising to reduce the complexity of very large software systems in such domains as computer-aided design and manufacturing, integrated office information systems, and artificial intelligence. Object-oriented database systems will enhance the programmer/user productivity of such systems. Research into deductive databases is aimed at discovering efficient schemes to uniformly represent assertions and deductive rules, and to respond to highly expressive queries against the knowledge base of assertions and rules. This area of research is strongly interacting with Logic Programming which has developed in parallel, sharing Logic as a common basis. Recently, research has aimed at integrating the object-oriented paradigm and rule-based deduction to provide a single powerful framework for intelligent database systems.The aim of this book is to present research papers and technical discussions between researchers concerned with deductive databases, object-oriented databases, and their integration.

  • Computational Morphology

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

  • Topics in Expert System Design

    Methodologies and Tools
    • 1 Edición
    • Volumen 5
    • C. Tasso + 1 más
    • Inglés
    Expert Systems are so far the most promising achievement of artificial intelligence research. Decision making, planning, design, control, supervision and diagnosis are areas where they are showing great potential. However, the establishment of expert system technology and its actual industrial impact are still limited by the lack of a sound, general and reliable design and construction methodology.This book has a dual purpose: to offer concrete guidelines and tools to the designers of expert systems, and to promote basic and applied research on methodologies and tools. It is a coordinated collection of papers from researchers in the USA and Europe, examining important and emerging topics, methodological advances and practical experience obtained in specific applications. Each paper includes a survey introduction, and a comprehensive bibliography is provided.

  • Uncertainty in Artificial Intelligence 4

    • 1 Edición
    • Volumen 9
    • T.S. Levitt + 3 más
    • Inglés
    Clearly illustrated in this volume is the current relationship between Uncertainty and AI.It has been said that research in AI revolves around five basic questions asked relative to some particular domain: What knowledge is required? How can this knowledge be acquired? How can it be represented in a system? How should this knowledge be manipulated in order to provide intelligent behavior? How can the behavior be explained? In this volume, all of these questions are addressed. From the perspective of the relationship of uncertainty to the basic questions of AI, the book divides naturally into four sections which highlight both the strengths and weaknesses of the current state of the relationship between Uncertainty and AI.

  • Computer Hardware Description Languages and their Applications

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

  • Uncertainty in Artificial Intelligence

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

  • Dynamic Modelling of Information Systems

    • 1 Edición
    • K.M. van Hee + 1 más
    • Inglés
    The use of dynamic models in the development of information systems is regarded by many researchers as a promising issue in design support. Modelling the dynamics of information systems is likely to improve the quality and the performance of the design products. Dynamic modelling as a new approach for dynamic analysis of problems within an existing situation, and design and evaluation of different solution strategies may overcome many difficulties in the design process.

  • Computer Interfacing

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

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

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

  • Uncertainty in Artificial Intelligence

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

  • Artificial Neural Networks, 2

    Proceedings of the 1992 International Conference on Artificial Neural Networks (ICANN-92) Brighton, United Kingdom, 4-7 September, 1992
    • 1 Edición
    • I. Aleksander + 1 más
    • Inglés
    This two-volume proceedings compilation is a selection of research papers presented at the ICANN-92. The scope of the volumes is interdisciplinary, ranging from the minutiae of VLSI hardware, to new discoveries in neurobiology, through to the workings of the human mind. USA and European research is well represented, including not only new thoughts from old masters but also a large number of first-time authors who are ensuring the continued development of the field.

  • Handbook of Human-Computer Interaction

    • 1 Edición
    • M.G. Helander
    • Inglés
    This Handbook is concerned with principles of human factors engineering for design of the human-computer interface. It has both academic and practical purposes; it summarizes the research and provides recommendations for how the information can be used by designers of computer systems. The articles are written primarily for the professional from another discipline who is seeking an understanding of human-computer interaction, and secondarily as a reference book for the professional in the area, and should particularly serve the following: computer scientists, human factors engineers, designers and design engineers, cognitive scientists and experimental psychologists, systems engineers, managers and executives working with systems development.The work consists of 52 chapters by 73 authors and is organized into seven sections. In the first section, the cognitive and information-processi... aspects of HCI are summarized. The following group of papers deals with design principles for software and hardware. The third section is devoted to differences in performance between different users, and computer-aided training and principles for design of effective manuals. The next part presents important applications: text editors and systems for information retrieval, as well as issues in computer-aided engineering, drawing and design, and robotics. The fifth section introduces methods for designing the user interface. The following section examines those issues in the AI field that are currently of greatest interest to designers and human factors specialists, including such problems as natural language interface and methods for knowledge acquisition. The last section includes social aspects in computer usage, the impact on work organizations and work at home.

  • Machine Learning Proceedings 1994

    Proceedings of the Eighth International Conference
    • 1 Edición
    • William W. Cohen
    • Inglés
    Machine Learning: Proceedings of the Eleventh International Conference covers the papers presented at the Eleventh International Conference on Machine Learning (ML94), held at New Brunswick, New Jersey on July 10-13, 1994. The book focuses on the processes, methodologies, and approaches involved in machine learning, including inductive logic programming, neural networks, and decision trees. The selection first offers information on learning recursive relations with randomly selected small training sets; improving accuracy of incorrect domain theories; and using sampling and queries to extract rules from trained neural networks. The text then takes a look at boosting and other machine learning algorithms; an incremental learning approach for completable planning; and learning disjunctive concepts by means of genetic algorithms. The publication ponders on rule induction for semantic query optimization; irrelevant features and the subset selection problem; and an efficient subsumption algorithm for inductive logic programming. The book also examines Bayesian inductive logic programming; a statistical approach to decision tree modeling; and an improved algorithm for incremental induction of decision trees. The selection is a dependable source of data for researchers interested in machine learning.

  • The User's Directory of Computer Networks

    • 1 Edición
    • Tracy Laquey
    • Inglés
    Your map through the network jungle.Here's how to track down virtually every network available to academics and researchers. This new book, with its detailed compilation of host- level information, provides everything you need to locate resources, send mail to colleagues and friendsworldwide, and answer questions about how to access major national and international networks. Extensively cross- referenced information on ARPANET/MILNET, BITNET, CSNET, Esnet, NSFNET, SPAN, THEnet, USENET, and loads of others is all provided. Includedare detailed lists of hosts, site contacts, administrative domains, and organizations. Plus, a tutorial chapter with handy reference tables reveals electronic mail 'secrets' that make it easier to take advantage of networking.

  • Data Protection and Security for Personal Computers

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

  • Scalable Shared-Memory Multiprocessing

    • 1 Edición
    • Daniel E. Lenoski + 1 más
    • Inglés
    Dr. Lenoski and Dr. Weber have experience with leading-edge research and practical issues involved in implementing large-scale parallel systems. They were key contributors to the architecture and design of the DASH multiprocessor. Currently, they are involved with commercializing scalable shared-memory technology.

  • Pattern Recognition in Practice IV: Multiple Paradigms, Comparative Studies and Hybrid Systems

    • 1 Edición
    • Volumen 16
    • E.S. Gelsema + 1 más
    • Inglés
    The era of detailed comparisons of the merits of techniques of pattern recognition and artificial intelligence and of the integration of such techniques into flexible and powerful systems has begun.So confirm the editors of this fourth volume of Pattern Recognition in Practice, in their preface to the book.The 42 quality papers are sourced from a broad range of international specialists involved in developing pattern recognition methodologies and those using pattern recognition techniques in their professional work. The publication is divided into six sections: Pattern Recognition, Signal and Image Processing, Probabilistic Reasoning, Neural Networks, Comparative Studies, and Hybrid Systems, giving prospective users a feeling for the applicability of the various methods in their particular field of specialization.

  • Concurrency Control in Distributed Database Systems

    • 1 Edición
    • Volumen 3
    • W. Cellary + 2 más
    • Inglés
    Distributed Database Systems (DDBS) may be defined as integrated database systems composed of autonomous local databases, geographically distributed and interconnected by a computer network.The purpose of this monograph is to present DDBS concurrency control algorithms and their related performance issues. The most recent results have been taken into consideration. A detailed analysis and selection of these results has been made so as to include those which will promote applications and progress in the field. The application of the methods and algorithms presented is not limited to DDBSs but also relates to centralized database systems and to database machines which can often be considered as particular examples of DDBSs.The first part of the book is devoted to basic definitions and models: the distributed database model, the transaction model and the syntactic and semantic concurrency control models. The second discusses concurrency control methods in monoversion DDBSs: the locking method, the timestamp ordering method, the validation method and hybrid methods. For each method the concept, the basic algorithms, a hierarchical version of the basic algorithms, and methods for avoiding performance failures are given. The third section covers concurrency control methods in multiversion DDBSs and the fourth, methods for the semantic concurrency model. The last part concerns performance issues of DDBSs.The book is intended primarily for DDBMS designers, but is also of use to those who are engaged in the design and management of databases in general, as well as in problems of distributed system management such as distributed operating systems and computer networks.

  • Reasoning About Plans

    • 1 Edición
    • James Allen + 3 más
    • Inglés
    This book presents four contributions to planning research within an integrated framework. James Allen offers a survey of his research in the field of temporal reasoning, and then describes a planning system formalized and implemented directly as an inference process in the temporal logic. Starting from the same logic, Henry Kautz develops the first formal specification of the plan recognition process and develops a powerful family of algorithms for plan recognition in complex situations. Richard Pelavin then extends the temporal logic with model operators that allow the representation to support reasoning about complex planning situations involving simultaneous interacting actions, and interaction with external events. Finally, Josh Tenenberg introduces two different formalisms of abstraction in planning systems and explores the properties of these abstraction techniques in depth.

  • Machine Learning Proceedings 1995

    Proceedings of the Twelfth International Conference on Machine Learning, Tahoe City, California, July 9-12 1995
    • 1 Edición
    • Armand Prieditis + 1 más
    • Inglés
    Machine Learning: Proceedings of the Twelfth International Conference on Machine Learning covers the papers presented at the Twelfth International Conference on Machine Learning (ML95), held at the Granlibakken Resort in Tahoe City, California on July 9-12, 1995. The book focuses on the processes, methodologies, principles, and approaches involved in machine learning, including inductive logic programming algorithms, neural networks, and decision trees. The selection first offers information on the theory and applications of agnostic PAC-learning with small decision trees; reinforcement learning with function approximation; and inductive learning of reactive action models. Discussions focus on inductive logic programming algorithm, collecting instances for learning, residual gradient algorithms, direct algorithms, and learning curves for decision trees of small depth. The text then elaborates on visualizing high-dimensional structure with the incremental grid growing neural network; empirical support for winnow and weighted-majority based algorithms; and automatic selection of split criterion during tree growing based on node location. The manuscript takes a look at learning hierarchies from ambiguous natural language data, learning with rare cases and small disjuncts, learning by observation and practice, and learning collection fusion strategies for information retrieval. The selection is a valuable source of data for mathematicians and researchers interested in machine learning.

  • A Discipline of Software Engineering

    • 1 Edición
    • B. Walraet
    • Inglés
    This comprehensive approach to the creation of software systems charts a road through system modelling techniques, allowing software engineers to create software meeting two very basic requirements:• that the software system represent a narrow emulation of the organization system that served as its model; • and that the software system display life attributes identical to those of the organization system that it automatizes.The result is a quantum leap increase in software application quality. Such benefit is achieved by the introduction of a fundamental paradigm: the office-floor metaphor which incorporates such well-balanced basic ideas as the functional normalization of tasks and information (in sharp contrast to the classic data normalization) and the principle of tenant-ownership.

  • Analysis, Design & Evaluation of Man-Machine Systems

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

  • Parallel Processing for Artificial Intelligence 2

    • 1 Edición
    • Volumen 15
    • V. Kumar + 2 más
    • Inglés
    With the increasing availability of parallel machines and the raising of interest in large scale and real world applications, research on parallel processing for Artificial Intelligence (AI) is gaining greater importance in the computer science environment. Many applications have been implemented and delivered but the field is still considered to be in its infancy.This book assembles diverse aspects of research in the area, providing an overview of the current state of technology. It also aims to promote further growth across the discipline. Contributions have been grouped according to their subject: architectures (3 papers), languages (4 papers), general algorithms (6 papers), and applications (5 papers). The internationally sourced papers range from purely theoretical work, simulation studies, algorithm and architecture proposals, to implemented systems and their experimental evaluation.Since the book is a second volume in the parallel processing for AI series, it provides a continued documentation of the research and advances made in the field. The editors hope that it will inspire readers to investigate the possiblities for enhancing AI systems by parallel processing and to make new discoveries of their own!

  • Campus Strategies for Libraries and Electronic Information

    • 1 Edición
    • Caroline Arms
    • Inglés
    A look at how ten American colleges and Universities bridged the gap between computing, administrative, and library organisationsDetaile... case studies from ten American colleges and universities will prepare you to make better plans and decisions for an electronic library, integrated information management system, or unified information resource. You'll find models and guidelines covering reference services, latest philosophies and strategies, management and organization issues, delivery mechanisms, and more.

  • Artificial Neural Networks and Statistical Pattern Recognition

    Old and New Connections
    • 1 Edición
    • Volumen 11
    • I.K. Sethi + 1 más
    • Inglés
    With the growing complexity of pattern recognition related problems being solved using Artificial Neural Networks, many ANN researchers are grappling with design issues such as the size of the network, the number of training patterns, and performance assessment and bounds. These researchers are continually rediscovering that many learning procedures lack the scaling property; the procedures simply fail, or yield unsatisfactory results when applied to problems of bigger size. Phenomena like these are very familiar to researchers in statistical pattern recognition (SPR), where the curse of dimensionality is a well-known dilemma. Issues related to the training and test sample sizes, feature space dimensionality, and the discriminatory power of different classifier types have all been extensively studied in the SPR literature. It appears however that many ANN researchers looking at pattern recognition problems are not aware of the ties between their field and SPR, and are therefore unable to successfully exploit work that has already been done in SPR. Similarly, many pattern recognition and computer vision researchers do not realize the potential of the ANN approach to solve problems such as feature extraction, segmentation, and object recognition. The present volume is designed as a contribution to the greater interaction between the ANN and SPR research communities.

  • High Performance Servers

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

  • Data Acquisition Techniques Using PC

    • 1 Edición
    • Howard Austerlitz
    • Inglés
    Data Acquisition Techniques Using Personal Computers contains all the information required by a technical professional (engineer, scientist, technician) to implement a PC-based acquisition system. Including both basic tutorial information as well as some advanced topics, this work is suitable as a reference book for engineers or as a supplemental text for engineering students. It gives the reader enough understanding of the topics to implement a data acquisition system based on commercial products. A reader can alternatively learn how to custom build hardware or write his or her own software. Featuring diverse information, this book will be useful to both the technical professional and the hobbyist.

  • Neural Networks in Bioprocessing and Chemical Engineering

    • 1 Edición
    • D. R. Baughman + 1 más
    • Inglés
    Neural networks have received a great deal of attention among scientists and engineers. In chemical engineering, neural computing has moved from pioneering projects toward mainstream industrial applications. This book introduces the fundamental principles of neural computing, and is the first to focus on its practical applications in bioprocessing and chemical engineering. Examples, problems, and 10 detailed case studies demonstrate how to develop, train, and apply neural networks. A disk containing input data files for all illustrative examples, case studies, and practice problems provides the opportunity for hands-on experience. An important goal of the book is to help the student or practitioner learn and implement neural networks quickly and inexpensively using commercially available, PC-based software tools. Detailed network specifications and training procedures are included for all neural network examples discussed in the book.

  • Psychology of System Design

    • 1 Edición
    • Volumen 17
    • D. Meister
    • Inglés
    This is a book about systems, including: systems in which humans control machines; systems in which humans interact with humans and the machine component is relatively unimportant; systems which are heavily computerized and those that are not; and governmental, industrial, military and social systems.The book deals with both traditional systems like farming, fishing and the military, and with systems just now tentatively emerging, like the expert and the interactive computer system. The emphasis is on the system concept and its implications for analysis, design and evaluation of these many different types of systems. The book attempts to make three major points: 1. System design, and particularly computer system design, must fit into and be directed by a comprehensive theory of system functioning. 2. Interactive computer design models itself upon our knowledge of how humans function. 3. Highly sophisticated interactive computer systems are presently mostly research vehicles, they are vastly different to general purpose, commercially available word processors and personal computers.The book represents an interdisciplinary approach, the author has used psychological, organizational, human factors, and engineering sources. The book is not a "how to do it" book but it is intended to stimulate thinking about the larger context in which systems, particularly computer systems of the future, should be designed and used.

  • Progress in Pattern Recognition 1

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

  • Planning and Design of Information Systems

    • 1 Edición
    • André Blokdijk
    • Inglés
    Planning and Design of Information Systems provides a theoretical base and a practical method of executing the planning of computerized information systems, and the planning and design of individual applications. The book is organized into five parts, covering the non-technical and nonimplementational part of information systems planning, design, and development. Part I gives the theoretical base for the subsequent parts of the book. It discusses modeling, techniques, notations, boundaries, quality issues and aspects, and decomposition techniques and problems. Part II discusses the needs, problems, and possible solutions for user participation. It describes user organizations, in respect of culture; maturity in the use of automation and computers; and gives a synthesis of participation, cultures, maturity, and information systems development techniques. Part III describes how to develop an Information Systems Architecture, an Information Systems Plan, and a Data Architecture. Part IV presents a structured, programmed approach to planning an application in a short period while maintaining high quality, and discusses project management of application development. Part V covers information analysis, data specification and conceptual data base design, and process and dialog design.

  • Computers and Languages

    Theory and Practice
    • 1 Edición
    • Volumen 4
    • A. Nijholt
    • Inglés
    A global introduction to language technology and the areas of computer science where language technology plays a role. Surveyed in this volume are issues related to the parsing problem in the fields of natural languages, programming languages, and formal languages.Throughout the book attention is paid to the social forces which influenced the development of the various topics. Also illustrated are the development of the theory of language analysis, its role in compiler construction, and its role in computer applications with a natural language interface between men and machine. Parts of the material in this book have been used in courses on computational linguistics, computers and society, and formal approaches to languages.

  • Adaptive Intelligent Systems

    Proceedings of the BANKAI workshop, Brussels, Belgium, 12-14 October 1992
    • 1 Edición
    • Society for Worldwide Society for Worldwide Interban
    • Inglés
    Dedicated to the consideration of advanced I.T. technologies and their financial applications, this volume contains contributions from an international group of system developers and managers from academia, the financial industry and their suppliers: all actively involved in the development and practical introduction of these technologies into banking and financial organisations.Concen... on real experience and present needs, rather than theoretical possibilities or limited prototype applications, it is hoped the publication will give a better insight into advanced I.T. practice and potential as it currently exists and motivate today's developers and researchers.In addition to the discussion of a wide range of technologies and approaches to ensure adaptivity, three other major topics are explored in the book: neural networks, classical software engineering techniques and rule-based systems.

  • Parallel Algorithms for Numerical Linear Algebra

    • 1 Edición
    • Volumen 1
    • H. van der Vorst + 1 más
    • Inglés
    This is the first in a new series of books presenting research results and developments concerning the theory and applications of parallel computers, including vector, pipeline, array, fifth/future generation computers, and neural computers.All aspects of high-speed computing fall within the scope of the series, e.g. algorithm design, applications, software engineering, networking, taxonomy, models and architectural trends, performance, peripheral devices.Papers in Volume One cover the main streams of parallel linear algebra: systolic array algorithms, message-passing systems, algorithms for parallel shared-memory systems, and the design of fast algorithms and implementations for vector supercomputers.

  • Principles of Artificial Intelligence

    • 1 Edición
    • Nils J. Nilsson
    • Inglés
    A classic introduction to artificial intelligence intended to bridge the gap between theory and practice, Principles of Artificial Intelligence describes fundamental AI ideas that underlie applications such as natural language processing, automatic programming, robotics, machine vision, automatic theorem proving, and intelligent data retrieval. Rather than focusing on the subject matter of the applications, the book is organized around general computational concepts involving the kinds of data structures used, the types of operations performed on the data structures, and the properties of the control strategies used.Principles of Artificial Intelligenceevolved from the author's courses and seminars at Stanford University and University of Massachusetts, Amherst, and is suitable for text use in a senior or graduate AI course, or for individual study.

  • Real Time Programming 1985

    Proceedings of the 13th IFAC/IFIP Workshop, Purdue University, West Lafayette, Indiana, USA, 7-8 October 1985
    • 1 Edición
    • G.M. Bull + 1 más
    • Inglés
    Examines the entire field of real-time programming, with emphasis on the most recent developments in industrial control and the design of process control systems. The topics covered include programming of statistical quality control applications, graphical languages for real-time programming, programming of personal computers and work stations for real-time applications. Contains 17 papers.

  • Motion Control for Intelligent Automation

    • 1 Edición
    • A. De Carli + 1 más
    • Inglés
    Motion Control is a rapidly evolving topic, with a wide range of applications, especially in robotics. Speed and position control of a mechanical system has always been one of the main problems in automatic control, as the demand increases for advanced levels of accuracy and dynamics. The study of motion control aims to combine theoretical approaches with the realization of mechanical systems characterized by high levels of performance. The IFAC workshop focused on the evolution of: mechanical systems modelling; control strategies; intelligent instrumentation; dedicated microprocessor devices, and new fields of application.

Temas relacionados