Time is ubiquitous in information systems. Almost every enterprise faces the problem of its data becoming out of date. However, such data is often valu able, so it should be archived and some means to access it ...
详细信息
ISBN:
(数字)9781461556435
ISBN:
(纸本)9780792381297;9781461375821
Time is ubiquitous in information systems. Almost every enterprise faces the problem of its data becoming out of date. However, such data is often valu able, so it should be archived and some means to access it should be provided. Also, some data may be inherently historical, e.g., medical, cadastral, or ju dicial records. Temporal databases provide a uniform and systematic way of dealing with historical data. Many languages have been proposed for tem poral databases, among others temporal logic. Temporal logic combines ab stract, formal semantics with the amenability to efficient implementation. This chapter shows how temporal logic can be used in temporal database applica tions. Rather than presenting new results, we report on recent developments and survey the field in a systematic way using a unified formal framework [GHR94; Ch094]. The handbook [GHR94] is a comprehensive reference on mathematical foundations of temporal logic. In this chapter we study how temporal logic is used as a query and integrity constraint language. Consequently, model-theoretic notions, particularly for mula satisfaction, are of primary interest. Axiomatic systems and proof meth ods for temporal logic [GHR94] have found so far relatively few applications in the context of information systems. Moreover, one needs to bear in mind that for the standard linearly-ordered time domains temporal logic is not re cursively axiomatizable [GHR94]' so recursive axiomatizations are by necessity incomplete.
Most machine learning research has been concerned with the development of systems that implememnt one type of inference within a single representational paradigm. Such systems, which can be called;learning systems, ...
详细信息
ISBN:
(数字)9781461532026
ISBN:
(纸本)9780792393740;9781461364054
Most machine learning research has been concerned with the development of systems that implememnt one type of inference within a single representational paradigm. Such systems, which can be called;learning systems, include those for empirical induction of decision trees or rules, explanation-based generalization, neural net learning from examples, genetic algorithm-based learning, and others. Monostrategy learning systems can be very effective and useful if learning problems to which they are applied are sufficiently narrowly defined.;Many real-world applications, however, pose learning problems that go beyond the capability of monostrategy learning methods. In view of this, recent years have witnessed a growing interest in developing;, which integrate two or more inference types and/or paradigms within one learning system. Such multistrategy systems take advantage of the complementarity of different inference types or representational mechanisms. Therefore, they have a potential to be more versatile and more powerful than monostrategy systems. On the other hand, due to their greater complexity, their development is significantly more difficult and represents a new great challenge to the machine learning community.;contains contributions characteristic of the current research in this area.
This book summarizes the results of our modeling-from-reality (MFR) project which took place over the last decade or so. The goal of this project is to develop techniques for modeling real objects and/or environments ...
详细信息
ISBN:
(数字)9781461507970
ISBN:
(纸本)9780792375159
This book summarizes the results of our modeling-from-reality (MFR) project which took place over the last decade or so. The goal of this project is to develop techniques for modeling real objects and/or environments into geometric and photometric models through computer vision techniques. By developing such techniques, time consuming modeling process, currently un dertaken by human programmers, can be (semi-)automatically performed, and, as a result, we can drastically shorten the developing time of such virtual reality systems, reduce their developing cost, and widen their application areas. Originally, we began to develop geometric modeling techniques that acquire shape information of objects/environments for object recognition. Soon, this effort evolved into an independent modeling project, virtual-reality modeling, with the inclusion of photometric modeling aspects that acquire appearance information, such as color, texture, and smoothness. Over the course of this development, it became apparent that environmental modeling techniques were necessary when applying our techniques to mixed realities that seamlessly combine generated virtual models with other real/virtual images. The material in his book covers these aspects of development.
describes circuit strategies resulting in efficient and functional adaptive resonance theory (ART) hardware systems. While ART algorithms have been developed in software by their creators, this is the first book th...
详细信息
ISBN:
(数字)9781441987105
ISBN:
(纸本)9780792382317;9781461346722
describes circuit strategies resulting in efficient and functional adaptive resonance theory (ART) hardware systems. While ART algorithms have been developed in software by their creators, this is the first book that addresses efficient VLSI design of ART systems. All systems described in the book have been designed and fabricated (or are nearing completion) as VLSI microchips in anticipation of the impending proliferation of ART applications to autonomous intelligent systems. To accommodate these systems, the book not only provides circuit design techniques, but also validates them through experimental measurements. The book also includes a chapter tutorially describing four ART architectures (ART1, ARTMAP, Fuzzy-ART and Fuzzy-ARTMAP) while providing easily understandable MATLAB code examples to implement these four algorithms in software. In addition, an entire chapter is devoted to other potential applications for real-time data clustering and category learning.
discusses both single and two-stage architectures. Opamps with constant-;input stage are designed and their excellent performance over the rail-to-rail input common mode range is demonstrated.;The first set of CMOS...
详细信息
ISBN:
(数字)9781461522676
ISBN:
(纸本)9780792395072;9781461359562
discusses both single and two-stage architectures. Opamps with constant-;input stage are designed and their excellent performance over the rail-to-rail input common mode range is demonstrated.;The first set of CMOS constant-;input stages was introduced by a group from Technische Universiteit, Delft and Universiteit Twente, the Netherlands. These earlier versions of circuits are discussed, along with new circuits developed at the Ohio State University. The design, fabrication (MOSIS Tiny Chips), and characterization of the new circuits are now complete.;Basic analog integrated circuit design concepts should be understood in order to fully appreciate the work presented. However, the topics are presented in a logical order and the circuits are explained in great detail, so that;can be read and enjoyed by those without much experience in analog circuit design.;It is an invaluable reference book, and may be used as a text for advanced courses on the subject.
In recent years, tremendous research has been devoted to the design of database systems for real-time applications, called real-time database systems (RTDBS), where transactions are associated with deadlines on the...
详细信息
ISBN:
(数字)9780306469886
ISBN:
(纸本)9780792372189;9781475784022
In recent years, tremendous research has been devoted to the design of database systems for real-time applications, called real-time database systems (RTDBS), where transactions are associated with deadlines on their completion times, and some of the data objects in the database are associated with temporal constraints on their validity. Examples of important applications of RTDBS include stock trading systems, navigation systems and computer integrated manufacturing.;Different transaction scheduling algorithms and concurrency control protocols have been proposed to satisfy transaction timing data temporal constraints. Other design issues important to the performance of a RTDBS are buffer management, index accesses and I/O scheduling.;summarizes important research results in this area, and serves as an excellent reference for practitioners, researchers and educators of real-time systems and database systems.
The broadband wireless communications field is growing at an explosive rate, stimulated by a host of important emerging applications ranging from 3G, 4G and wireless LAN. Wideband CDMA and CDMA2000 will be used for 3G...
详细信息
ISBN:
(数字)9780306469992
ISBN:
(纸本)9780792373919;9781475775341
The broadband wireless communications field is growing at an explosive rate, stimulated by a host of important emerging applications ranging from 3G, 4G and wireless LAN. Wideband CDMA and CDMA2000 will be used for 3G. OFDM+CDMA might be a good choice for 4G, CDMA overlay will possibly be used for new-generation broadband wireless LAN. For system planners and designers, the projections of rapidly escalating demand for such wireless services present major challenges and meeting these challenges will require sustained technical innovation on many fronts. The text of this book has been developed through years of research by the author and his graduate students at the University of Hong Kong. The aim of this book is to provide a R&D perspective on the field of broadband wireless communications by describing the recent research developments in this area and also by identifying key directions in which further research is needed. As a background, I presume that the reader has a thorough understanding of digital communications and spread spectrum/CDMA. The book is arranged into 13 chapters. In chapter 1, some key specifications of 3G WCDMA are described and discussed. These techniques include channel coding, rate matching, modulation and spreading, power control, cell search, transmit diversity, soft-handoff, and so son. In Chapter 2, the coherent RAKE reception of Wideband CDMA signals with complex spreading is considered. A dedicated pilot channel, which is separate from data channels, is used for the purpose of channel estimation.
暂无评论