The Springer International Series in Engineering and Computer Science – serie
Visar alla böcker i serien The Springer International Series in Engineering and Computer Science. Handla med fri frakt och snabb leverans.
236 produkter
Electromagnetic Shielding Handbook for Wired and Wireless EMC Applications
Inbunden, 1999
2152 kr
Lägg i varukorg
This single source encyclopedic volume contains the answers to numerous complex shielding problems. It integrates basic concepts with hands-on techniques and practical recommendations on a broad range of EMC and shielding-related subjects: the role and significance of the shielding discipline, …
The Annealing Algorithm
Av R.H.J.M. Otten, L.P.P.P. van Ginneken
Inbunden, 1989
1616 kr
Lägg i varukorg
The goal of the research out of which this monograph grew, was to make annealing as much as possible a general purpose optimization routine. At first glance this may seem a straight-forward task, for the formulation of its concept suggests applicability to any combinatorial optimization problem. …
Machine Learning, Meta-Reasoning and Logics
Av Pavel B. Brazdil, Kurt Konolige
Inbunden, 1989
1664 kr
Lägg i varukorg
This book contains a selection of papers presented at the International Workshop Machine Learning, Meta-Reasoning and Logics held in Hotel de Mar in Sesimbra, Portugal, 15-17 February 1988. All the papers were edited afterwards. The Workshop encompassed several fields of Artificial Intelligence: …
Introduction to Analog VLSI Design Automation
Av Mohammed Ismail, José E. Franca
Inbunden, 1990
1079 kr
Lägg i varukorg
Very large scale integration (VLSI) technologies are now maturing with a current emphasis toward submicron structures and sophisticated applications combining digital as well as analog circuits on a single chip. Abundant examples are found on today's advanced systems for telecom munications, …
Learning with Nested Generalized Exemplars
Inbunden, 1990
1112 kr
Lägg i varukorg
Machine Learning is one of the oldest and most intriguing areas of Ar tificial Intelligence. From the moment that computer visionaries first began to conceive the potential for general-purpose symbolic computa tion, the concept of a machine that could learn by itself has been an ever present …
Understanding Editorial Text: A Computer Model of Argument Comprehension
Inbunden, 1990
1664 kr
Lägg i varukorg
by Michael G. Dyer Natural language processing (NLP) is an area of research within Artificial Intelligence (AI) concerned with the comprehension and generation of natural language text. Comprehension involves the dynamic construction of conceptual representations, linked by causal relationships and …
Symbolic Analysis for Automated Design of Analog Integrated Circuits
Av Georges Gielen, Willy M.C. Sansen
Inbunden, 1991
1616 kr
Lägg i varukorg
It is a great honor to provide a few words of introduction for Dr. Georges Gielen's and Prof. Willy Sansen's book "Symbolic analysis for automated design of analog integrated circuits". The symbolic analysis method presented in this book represents a significant step forward in the area of analog …
Foundations of Real-Time Computing: Formal Specifications and Methods
Av André M. van Tilborg, Gary M. Koob
Inbunden, 1991
1664 kr
Lägg i varukorg
This volume contains a selection of papers that focus on the state-of the-art in formal specification and verification of real-time computing systems. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by the Office of Naval …
Adaptive Parsing
Self-Extending Natural Language Interfaces
Inbunden, 1991
1112 kr
Lägg i varukorg
As the computer gradually automates human-oriented tasks in multiple environ ments, the interface between computers and the ever-wider population of human users assumes progressively increasing importance. In the office environment, for instance, clerical tasks such as document filing and …
Connectionist Approaches to Language Learning
Inbunden, 1991
1112 kr
Lägg i varukorg
arise automatically as a result of the recursive structure of the task and the continuous nature of the SRN's state space. Elman also introduces a new graphical technique for study ing network behavior based on principal components analysis. He shows that sentences with multiple levels of …
Reinforcement Learning
Inbunden, 1992
2216 kr
Lägg i varukorg
Reinforcement learning is the learning of a mapping from situations to actions so as to maximize a scalar reward or reinforcement signal. The learner is not told which action to take, as in most forms of machine learning, but instead must discover which actions yield the highest reward by trying …
The SECD Microprocessor
A Verification Case Study
Inbunden, 1992
1079 kr
Lägg i varukorg
This is a milestone in machine-assisted microprocessor verification. Gordon [20] and Hunt [32] led the way with their verifications of sim ple designs, Cohn [12, 13] followed this with the verification of parts of the VIPER microprocessor. This work illustrates how much these, and other, pioneers …
VHDL for Simulation, Synthesis and Formal Proofs of Hardware
Av Jean Mermet
Inbunden, 1992
2152 kr
Lägg i varukorg
The emergence of VHDL, as a standard for hardware description languages helped disseminate the use of such languages among IC designers. The creation of the standard however does not mean that all work has ceased. Research continues in the use of the language and on improvements of the standard. …
Foundations of Knowledge Acquisition
Cognitive Models of Complex Learning
Av Susan Chipman, Alan L. Meyrowitz
Inbunden, 1992
1664 kr
Lägg i varukorg
One of the most intriguing questions about the new computer technology that has appeared over the past few decades is whether we humans will ever be able to make computers learn. As is painfully obvious to even the most casual computer user, most current computers do not. Yet if we could devise …
Foundations of Knowledge Acquisition
Machine Learning
Av Alan L. Meyrowitz, Susan Chipman
Inbunden, 1993
1664 kr
Lägg i varukorg
One of the most intriguing questions about the new computer technology that has appeared over the past few decades is whether we humans will ever be able to make computers learn. As is painfully obvious to even the most casual computer user, most current computers do not. Yet if we could devise …
Integrated Circuit Defect-Sensitivity: Theory and Computational Models
Inbunden, 1992
1079 kr
Lägg i varukorg
The history of this book begins way back in 1982. At that time a research proposal was filed with the Dutch Foundation for Fundamental Research on Matter concerning research to model defects in the layer structure of integrated circuits. It was projected that the results may be useful for yield …
Petri Nets in Flexible and Agile Automation
Av MengChu Zhou
Inbunden, 1995
2152 kr
Lägg i varukorg
Over the past two decades, research in the theory of Petri nets and the development of graphical tools has yielded a powerful methodology. The contributions in this book present both the theoretical development of Petri nets and industrial applications in areas such as discrete-event control …
Input/Output in Parallel and Distributed Computer Systems
Av Ravi Jain, John Werth m. fl.
Inbunden, 1996
2216 kr
Lägg i varukorg
It has become apparent that input/output performance, rather than CPU performance, may be the key limiting factor in the performance of future systems. This I/O bottleneck is caused by the increasing speed mismatch between processing units and storage devices, the use of multiple processors …
Multiaccess, Mobility and Teletraffic for Personal Communications
Av Bijan Jabbari, Philippe Godlewski m. fl.
Inbunden, 1996
1616 kr
Lägg i varukorg
The success of first and second generation wireless systems has paved the way for further research opportunities towards the next generation systems. The two standards GSM and IS-95 based on TDMA and CDMA respectively, have deeply influenced our system-level understanding, bringing new perspectives …
Adaptive Filters: Structures, Algorithms and Applications
Av M.L. Honig, David G. Messerschmitt
Inbunden, 1984
2151 kr
Lägg i varukorg
Logic Minimization Algorithms for VLSI Synthesis
Av Robert K. Brayton, Gary D. Hachtel m. fl.
Inbunden, 1984
2151 kr
Lägg i varukorg
The roots of the project which culminates with the writing of this book can be traced to the work on logic synthesis started in 1979 at the IBM Watson Research Center and at University of California, Berkeley. During the preliminary phases of these projects, the impor tance of logic minimization …
Perceptual Organization and Visual Recognition
Av D. Lowe
Inbunden, 1985
1111 kr
Lägg i varukorg
COMPUTER VISION is a field of research that encompasses many objectives. A primary goal has been to construct visual sensors that can provide general-purpose robots with the same information about their surroundings as we receive from our own visual senses. This book takes an important step towards …
The Bounding Approach to VLSI Circuit Simulation
Inbunden, 1986
1615 kr
Lägg i varukorg
This book proposes a new approach to circuit simulation that is still in its infancy. The reason for publishing this work as a monograph at this time is to quickly distribute these ideas to the research community for further study. The book is based on a doctoral dissertation undertaken at MIT …
Multi-Level Simulation for VLSI Design
Av D.D. Hill, D.R. Coelho
Inbunden, 1986
1079 kr
Lägg i varukorg
AND BACKGROUND 1. 1 CAD, Specification and Simulation Computer Aided Design (CAD) is today a widely used expression referring to the study of ways in which computers can be used to expedite the design process. This can include the design of physical systems, architectural environments, …
An Artificial Intelligence Approach to Test Generation
Inbunden, 1987
1111 kr
Lägg i varukorg
I am indebted to my thesis advisor, Michael Genesereth, for his guidance, inspiration, and support which has made this research possible. As a teacher and a sounding board for new ideas, Mike was extremely helpful in pointing out Haws, and suggesting new directions to explore. I would also like to …
Relaxation Techniques for the Simulation of VLSI Circuits
Av Jacob K. White, Alberto L. Sangiovanni-Vincentelli
Inbunden, 1986
1079 kr
Lägg i varukorg
Circuit simulation has been a topic of great interest to the integrated circuit design community for many years. It is a difficult, and interesting, problem be cause circuit simulators are very heavily used, consuming thousands of computer hours every year, and therefore the algorithms must be …
Three-Dimensional Machine Vision
Av Takeo Kanade
Inbunden, 1987
3320 kr
Lägg i varukorg
Arobotmustperceivethethree-dimensionalworldifitistobeeffective there. Yet recovering 3-D information from projected images is difficult, and still remains thesubjectofbasic research. Alternatively, onecan use sensorsthatcanprovidethree-dimensionalrangeinformationdirectly. The technique ofprojecting …
Finite Fields for Computer Scientists and Engineers
Inbunden, 1986
2151 kr
Lägg i varukorg
This book developed from a course on finite fields I gave at the University of Illinois at Urbana-Champaign in the Spring semester of 1979. The course was taught at the request of an exceptional group of graduate students (includ ing Anselm Blumer, Fred Garber, Evaggelos Geraniotis, Jim Lehnert, …
