This landmark volume represents the culmination of over 40 years of research in the use of logic as a basis for representing and manipulating problems in the field of artificial intelligence. The use of logic as a ...
ISBN:
(纸本)9780792372240
This landmark volume represents the culmination of over 40 years of research in the use of logic as a basis for representing and manipulating problems in the field of artificial intelligence. The use of logic as a basis for commonsense reasoning was started by John McCarthy in 1959. The collection consists of both original research and surveys of almost every subject that uses logic in AI, contributed by leading scientists, and grew out of preliminary work presented at the Workshop on Logic-Based Artificial Intelligence held in Washington, DC, June 1999. All papers have been extensively refereed and revised. The introductory article presents background on research that has transpired since 1959 and discusses the significance of each chapter in this context. The topics covered in the book are commonsense reasoning, knowledge representation, nonmonotonic reasoning, logic for causation and actions, planning and problem solving, cognitive robotics, logic for agents and actions, inductive reasoning, possibilistic logic, logic and beliefs, logic and language, computational logic, knowledge base system implementations, and applications of theorem proving and logic programming. Logic-Based Artificial Intelligence is invaluable to graduate students and researchers in artificial intelligence, and advanced methods for database and knowledge base systems. Logic-Based Artificial Intelligence will also be of interest to those applying theorem proving methods to problems in program and hardware verification, to those who deal with large knowledge base systems, those developing cognitive robotics, and for those interested in the solution of McCarthy's 1959 "oldest planning problem in AI: getting from home to the airport".
From the Publisher: An important aspect of wireless networks is the deployment of their infrastructure. In this book, the Editors have invited a number of experts from industry to write on a variety of topics associat...
ISBN:
(数字)9780306473319
ISBN:
(纸本)9780792379027
From the Publisher: An important aspect of wireless networks is the deployment of their infrastructure. In this book, the Editors have invited a number of experts from industry to write on a variety of topics associated with deployment of digital wireless networks. The first part of the book consists of an overview of systems design and engineering integration, comparison of polarization and space diversity antenna systems, and the performance of deploying smart antenna architectures in cellular and PCS networks. The second part addresses deployment of CDMA networks, based on IS-95 standards. Here the authors discuss issues related to optimization of overlaid dual model CDMA networks, embedding microcells to improve hot-spot capacity, and mitigation of intermodulation distortion in handsets. Part III deals with deployment of TDMA- based networks. The issues presented include developing hierarchical systems, reconfigurable transceivers, and deploying the GSM frequency hopping feature for enhancing existing traffic capacity. The last part, on Wireless Data Networks, is comprised of issues related to the performance of GPRS systems deployed as an upgrade on current networks and deployment of wireless LANs. Critical issues for deploying an IEEE 802.11-based WLAN are examined. Wireless Network Deployments provides practical engineering guidance for wireless and cellular engineers, researchers, technicians, and managers working in second and third generation digital wireless networks.
CMOS Data Converters for Communications distinguishes itself from other data converter books by emphasizing system-related aspects of the design and frequency-domain measures. It explains in detail how to derive da...
ISBN:
(数字)9780306473050
ISBN:
(纸本)9780792377801
CMOS Data Converters for Communications distinguishes itself from other data converter books by emphasizing system-related aspects of the design and frequency-domain measures. It explains in detail how to derive data converter requirements for a given communication system (baseband, passband, and multi-carrier systems). The authors also review CMOS data converter architectures and discuss their suitability for communications. The rest of the book is dedicated to high-performance CMOS data converter architecture and circuit design. Pipelined ADCs, parallel ADCs with an improved passive sampling technique, and oversampling ADCs are the focus for ADC architectures, while current-steering DAC modeling and implementation are the focus for DAC architectures. The principles of the switched-current and the switched-capacitor techniques are reviewed and their applications to crucial functional blocks such as multiplying DACs and integrators are detailed. The book outlines the design of the basic building blocks such as operational amplifiers, comparators, and reference generators with emphasis on the practical aspects. To operate analog circuits at a reduced supply voltage, special circuit techniques are needed. Low-voltage techniques are also discussed in this book. CMOS Data Converters for Communications can be used as a reference book by analog circuit designers to understand the data converter requirements for communication applications. It can also be used by telecommunication system designers to understand the difficulties of certain performance requirements on data converters. It is also an excellent resource to prepare analog students for the new challenges ahead.
The advent of the internet age has produced enormous demand for in creased storage capacity and for the consequent increases in the amount of information that can be stored in a small space. While physical and m...
详细信息
ISBN:
(数字)9781461545651
ISBN:
(纸本)9780792377177;9781461370611
The advent of the internet age has produced enormous demand for in creased storage capacity and for the consequent increases in the amount of information that can be stored in a small space. While physical and media improvements have driven the majority of improvement in modern storage systems, signal processing and coding methods have increasing ly been used to augment those improvements. Run-length-limited codes and partial-response detection methods have come to be the norm in an industry that once rejected any sophistication in the read or write pro cessing circuits. VLSI advances now enable increasingly sophisticated signal processing methods for negligible cost and complexity, a trend sure to continue even as disk access speeds progress to billions of bits per second and terabits per square inch in the new millennium of the in formation age. This new book representing the Ph. D. dissertation work of Stanford's recent graduate Dr. Zining Wu is an up-to-date and fo cused review of the area that should be of value to those just starting in this area and as well those with considerable expertise. The use of saturation recording, i. e. the mandated restriction of two-level inputs, creates interesting twists on the use of communica tion/transmission methods in recording.
provides a link between the technology and the application worlds. As speech recognition technology is now good enough for a number of applications and the core technology is well established around hidden Markov m...
详细信息
ISBN:
(数字)9780306470271
ISBN:
(纸本)9780792378730;9781475773408
provides a link between the technology and the application worlds. As speech recognition technology is now good enough for a number of applications and the core technology is well established around hidden Markov models many of the differences between systems found in the field are related to implementation variants. We distinguish between embedded systems and PC-based applications. Embedded applications are usually cost sensitive and require very simple and optimized methods to be viable.;reviews the problems of robust speech recognition, summarizes the current state of the art of robust speech recognition while providing some perspectives, and goes over the complementary technologies that are necessary to build an application, such as dialog and user interface technologies.;is divided into five chapters. The first one reviews the main difficulties encountered in automatic speech recognition when the type of communication is unknown. The second chapter focuses on environment-independent/adaptive speech recognition approaches and on the mainstream methods applicable to noise robust speech recognition. The third chapter discusses several critical technologies that contribute to making an application usable. It also provides some design recommendations on how to design prompts, generate user feedback and develop speech user interfaces. The fourth chapter reviews several techniques that are particularly useful for embedded systems or to decrease computational complexity. It also presents some case studies for embedded applications and PC-based systems. Finally, the fifth chapter provides a future outlook for robust speech recognition, emphasizing the areas that the author sees as the most promising for the future.;serves as a valuable reference and although not intended as a formal University textbook, contains some material that can be used for a course at the graduate or undergraduate level. It is a good complement for the book entitled;co
Current database technology and computer hardware allow us to gather, store, access, and manipulate massive volumes of raw data in an efficient and inexpensive manner. In addition, the amount of data collected and ...
ISBN:
(数字)9780306469916
ISBN:
(纸本)9780792372431
Current database technology and computer hardware allow us to gather, store, access, and manipulate massive volumes of raw data in an efficient and inexpensive manner. In addition, the amount of data collected and warehoused in all industries is growing every year at a phenomenal rate. Nevertheless, our ability to discover critical, non-obvious nuggets of useful information in data that could influence or help in the decision making process, is still limited. Knowledge discovery (KDD) and Data Mining (DM) is a new, multidisciplinary field that focuses on the overall process of information discovery from large volumes of data. The field combines database concepts and theory, machine learning, pattern recognition, statistics, artificial intelligence, uncertainty management, and high-performance computing. To remain competitive, businesses must apply data mining techniques such as classification, prediction, and clustering using tools such as neural networks, fuzzy logic, and decision trees to facilitate making strategic decisions on a daily basis. Knowledge Discovery for Business Information Systems contains a collection of 16 high quality articles written by experts in the KDD and DM field from the following countries: Austria, Australia, Bulgaria, Canada, China (Hong Kong), Estonia, Denmark, Germany, Italy, Poland, Singapore and USA.
From the Publisher: Function Architecture Co-Design is a new paradigm for the design and implementation of embedded systems. Function/Architecture Optimization and Co-Design of Embedded Systems presents the authors...
详细信息
ISBN:
(纸本)0792379853
From the Publisher: Function Architecture Co-Design is a new paradigm for the design and implementation of embedded systems. Function/Architecture Optimization and Co-Design of Embedded Systems presents the authors' work in developing a function/architecture optimization and co-design formal methodology and framework for control-dominated embedded systems. The approach incorporates both data flow and control optimizations performed on a suitable novel intermediate design task representation. The aim is not only to enhance productivity of the designer and system developer, but also to improve quality of the final synthesis outcome. Function/Architecture Optimization and Co-Design of Embedded Systems discusses the proposed function/architecture co-design methodology, focusing on design representation, optimization, validation, and synthesis. Throughout the text, the difference between behavior specification and implementation is emphasized. The current need in co-design to move from synthesis-based technology to compiler-based technology is pointed out. The authors describe and show how performing data flow and control optimizations at the high abstraction level can lead to significant size and performance improvements in both the synthesized hardware and software. The work builds on bodies of research in the silicon and software compilation domains. The aforementioned techniques are specialized to the embedded systems domain. It is recognized that guided optimization can be applied on the internal design representation, no matter what the abstraction level, and need not be restricted to the final stages of software assembly code generation, or hardware synthesis. Function/Architecture Optimization and Co-Design of Embedded Systems will be of primary interest to researchers, developers, and professionals in the field of embedded systems design.
暂无评论