Springer us dez 1992 (5 Ergebnisse)

Buch. Zustand: Neu. Neuware - 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 learning techniques that enable computers to routinely improve their performance through experience, the impact would be enormous. The result would be an explosion of new computer applications that would suddenly become economically feasible (e. g. , personalized computer assistants that automatically tune themselves to the needs of individual users), and a dramatic improvement in the quality of current computer applications (e. g. , imagine an airline scheduling program that improves its scheduling method based on analyzing past delays). And while the potential economic impact ofsuccessful learning methods is sufficient reason to invest in research into machine learning, there is a second significant reason: studying machine learning helps us understand our own human learning abilities and disabilities, leading to the possibility of improved methods in education. While many open questions remain aboutthe methods by which machines and humans might learn, significant progress has been made.…

Buch. Zustand: Neu. Neuware - Computer-Aided Verification is a collection of papers that begins with a general survey of hardware verification methods. Ms. Gupta starts with the issue of verification itself and develops a taxonomy of verification methodologies, focusing especially upon recent advances. Although her emphasis is hardware verification, most of what she reports applies to software verification as well. Graphical presentation is coming to be a de facto requirement for a `friendly' user interface. The second paper presents a generic format for graphical presentations of coordinating systems represented by automata. The last two papers as a pair, present a variety of generic techniques for reducing the computational cost of computer-aided verification based upon explicit computational memory: the first of the two gives a time-space trade-off, while the second gives a technique which trades space for a (sometimes predictable) probability of error. Computer-Aided Verification is an edited volume of original research. This research work has also been published as a special issue of the journal Formal Methods in System Design, 1:2-3.…

Buch. Zustand: Neu. Neuware - 1.1 Overview We are living in a decade recently declared as the 'Decade of the Brain'. Neuroscientists may soon manage to work out a functional map of the brain, thanks to technologies that open windows on the mind. With the average human brain consisting of 15 billion neurons, roughly equal to the number of stars in our milky way, each receiving signals through as many as 10,000 synapses, it is quite a view. 'The brain is the last and greatest biological frontier', says James Weston codiscoverer of DNA, considered to be the most complex piece of biological machinery on earth. After many years of research by neuroanatomists and neurophys iologists, the overall organization of the brain is well understood, but many of its detailed neural mechanisms remain to be decoded. In order to understand the functioning of the brain, neurobiologists have taken a bottom-up approach of studying the stimulus-response characteristics of single neurons and networks of neurons, while psy chologists have taken a top-down approach of studying brain func tions from the cognitive and behavioral level. While these two ap proaches are gradually converging, it is generally accepted that it may take another fifty years before we achieve a solid microscopic, intermediate, and macroscopic understanding of brain.…

Buch. Zustand: Neu. Neuware - Most queuing analyses performed in the literature are based on characterization of queueing phenomena in continuous-time items. Recently in the telecommunication industries, BISDN (broadband integrated services digital network) has received considerable attention since it can provide a common interface for future communication needs including video, data, and speech. Since information in BISDN is transported by means of dicsrete units of 53-octet ATM (asynchronous transfer mode) cells, interests in discrete-time systems have increased. Discrete-Time Models for Communication Systems Including ATM provides a general framework for queueing analyses of dicrete-time systems. After a brief look at past studies of discrete-time systems, a detailed description and analysis are presented for a generic discrete-time model with a single server, arbitrary service times and independent arrivals. The book then follows a less stringent approach and focuses more on the average statistics and on different queueing disciplines. Conventional first-in-out and last-in-first-out disciplines are discussed in terms of the average statistics. Systems with multiple classes of messages without class-dependent priorities are considered to establish a discrete-time conservation law. Multiple classes with priorities are also considered to derive performance measures of priority scheduling disciplines. Finally, a multi-queue system with cyclic service is analyzed in the context of round-robin service ordering. This is followed by analyses of discrete-time queueing systems with `more complicate' input and output processes. Specifically, single-server systems are investigated whereby either the arrivals or the server is subject to random interruptions. Results are mainly obtained in terms of generating functions and mean values of the principal performance measures. The influence of the nature of the arrival correlation and the server interruptionson the queueing behavior is discussed. Finally, the book explores queueing models directly associated with ATM switches and multiplexers. This book is a valuable reference and may be used as a text for and advanced course on the subject.…

Buch. Zustand: Neu. Neuware - Mathematical Nonlinear Image Processing deals with a fast growing research area. The development of the subject springs from two factors: (1) the great expansion of nonlinear methods applied to problems in imaging and vision, and (2) the degree to which nonlinear approaches are both using and fostering new developments in diverse areas of mathematics. Mathematical Nonlinear Image Processing will be of interest to people working in the areas of applied mathematics as well as researchers in computer vision. Mathematical Nonlinear Image Processing is an edited volume of original research. It has also been published as a special issue of the Journal of Mathematical Imaging and Vision. (Volume 2, Issue 2/3).…