Książka: » Informatyka » Bazy danych
topmenu
• Nauka
[2944077]
[1814251]
[70679]
[151074]
[16606]
[38208]
[4956]
[3123]
[13889]
[4145]
[2945]
• Komiksy
[35590]
[23169]
[611005]
• Hobby
[136031]
[1718]
[225599]
[379]
• Słowniki
[2916]
• Inne
[443741]
[1187]
[166463]
[469211]
• Religia
[506887]
[481]
• Sport
[61343]
• Sztuka
[242115]
[3348]
[219293]
• Zdrowie
[98602]
[124]
• Zabawki
[2385]
[3504]
[260]
[7151]
Bazy danych
ilość książek w kategorii: 38275
 |
Automated Mathematical Induction
ISBN: 9780792340102 / Angielski / Twarda / 1996 / 222 str. Termin realizacji zamówienia: ok. 22 dni roboczych. It has been shown how the common structure that defines a family of proofs can be expressed as a proof plan 5]. This common structure can be exploited in the search for particular proofs. A proof plan has two complementary components: a proof method and a proof tactic. By prescribing the structure of a proof at the level of primitive inferences, a tactic 11] provides the guarantee part of the proof. In contrast, a method provides a more declarative explanation of the proof by means of preconditions. Each method has associated effects. The execution of the effects simulates the application...
It has been shown how the common structure that defines a family of proofs can be expressed as a proof plan 5]. This common structure can be exploite...
|
cena:
402,53 |
 |
Resolution Proof Systems: An Algebraic Theory
ISBN: 9780792340171 / Angielski / Twarda / 1996 / 208 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Resolution Proof Systems: An Algebraic Theory presents a new algebraic framework for the design and analysis of resolution- based automated reasoning systems for a range of non-classical logics. It develops an algebraic theory of resolution proof systems focusing on the problems of proof theory, representation and efficiency of the deductive process.
A new class of logical calculi, the class of resolution logics, emerges as a second theme of the book. The logical and computational aspects of the relationship between resolution logics and resolution proof systems is explored in... Resolution Proof Systems: An Algebraic Theory presents a new algebraic framework for the design and analysis of resolution- based automated r...
|
cena:
402,53 |
 |
Parsing with Principles and Classes of Information
ISBN: 9780792341031 / Angielski / Twarda / 1996 / 246 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Parsing with Principles and Classes of Information presents a parser based on current principle-based linguistic theories for English. It argues that differences in the kind of information being computed, whether lexical, structural or syntactic, play a crucial role in the mapping from grammatical theory to parsing algorithms.
The direct encoding of homogeneous classes of information has computational and cognitive advantages, which are discussed in detail. Phrase structure is built by using a fast algorithm and compact reference tables. A quantified comparison of different... Parsing with Principles and Classes of Information presents a parser based on current principle-based linguistic theories for English. It arg...
|
cena:
402,53 |
 |
Integration of Natural Language and Vision Processing: Recent Advances Volume IV
ISBN: 9780792341147 / Angielski / Twarda / 1996 / 218 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Although there has been much progress in developing theories, models and systems in the areas of Natural Language Processing (NLP) and Vision Processing (VP) there has up to now been little progress on integrating these two subareas of Artificial Intelligence (AI). This book contains a set of edited papers on recent advances in the theories, computational models and systems of the integration of NLP and VP.
The volume includes original work of notable researchers: Alex Waibel outlines multimodal interfaces including studies in speech, gesture and points; eye-gaze, lip... Although there has been much progress in developing theories, models and systems in the areas of Natural Language Processing (NLP) and Vision Processi...
|
cena:
402,53 |
 |
One-Factorizations
ISBN: 9780792343233 / Angielski / Twarda / 1996 / 242 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book has grown out of graduate courses given by the author at Southern Illinois University, Carbondale, as well as a series of seminars delivered at Curtin University of Technology, Western Australia. The book is intended to be used both as a textbook at the graduate level and also as a professional reference. The topic of one-factorizations fits into the theory of combinatorial designs just as much as it does into graph theory. Factors and factorizations occur as building blocks in the theory of designs in a number of places. Our approach owes as much to design theory as it does to...
This book has grown out of graduate courses given by the author at Southern Illinois University, Carbondale, as well as a series of seminars delivered...
|
cena:
201,24 |
 |
Dynamic Impulse Systems: Theory and Applications
ISBN: 9780792343943 / Angielski / Twarda / 1997 / 260 str. Termin realizacji zamówienia: ok. 22 dni roboczych. A number of optimization problems of the mechanics of space flight and the motion of walking robots and manipulators, and of quantum physics, eco momics and biology, have an irregular structure: classical variational proce dures do not formally make it possible to find optimal controls that, as we explain, have an impulse character. This and other well-known facts lead to the necessity for constructing dynamical models using the concept of a gener alized function (Schwartz distribution). The problem ofthe systematization of such models is very important. In particular, the problem of the...
A number of optimization problems of the mechanics of space flight and the motion of walking robots and manipulators, and of quantum physics, eco momi...
|
cena:
402,53 |
 |
Gaussian Scale-Space Theory
ISBN: 9780792345619 / Angielski / Twarda / 1997 / 266 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Gaussian scale-space is one of the best understood multi-resolution techniques available to the computer vision and image analysis community. It is the purpose of this book to guide the reader through some of its main aspects. During an intensive weekend in May 1996 a workshop on Gaussian scale-space theory was held in Copenhagen, which was attended by many of the leading experts in the field. The bulk of this book originates from this workshop. Presently there exist only two books on the subject. In contrast to Lindeberg's monograph (Lindeberg, 1994e) this book collects contributions from...
Gaussian scale-space is one of the best understood multi-resolution techniques available to the computer vision and image analysis community. It is th...
|
cena:
402,53 |
 |
Parallel Computing in Optimization
ISBN: 9780792345831 / Angielski / Twarda / 1997 / 588 str. Termin realizacji zamówienia: ok. 22 dni roboczych. During the last three decades, breakthroughs in computer technology have made a tremendous impact on optimization. In particular, parallel computing has made it possible to solve larger and computationally more difficult prob lems. This volume contains mainly lecture notes from a Nordic Summer School held at the Linkoping Institute of Technology, Sweden in August 1995. In order to make the book more complete, a few authors were invited to contribute chapters that were not part of the course on this first occasion. The purpose of this Nordic course in advanced studies was three-fold. One goal...
During the last three decades, breakthroughs in computer technology have made a tremendous impact on optimization. In particular, parallel computing h...
|
cena:
1207,67 |
 |
Lazy Learning
ISBN: 9780792345848 / Angielski / Twarda / 1997 / 424 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This edited collection describes recent progress on lazy learning, a branch of machine learning concerning algorithms that defer the processing of their inputs, reply to information requests by combining stored data, and typically discard constructed replies. It is the first edited volume in AI on this topic, whose many synonyms include instance-based', memory-based'. exemplar-based', and local learning', and whose topic intersects case-based reasoning and edited k-nearest neighbor classifiers. It is intended for AI researchers and students interested in pursuing recent progress in this...
This edited collection describes recent progress on lazy learning, a branch of machine learning concerning algorithms that defer the processing of the...
|
cena:
603,81 |
 |
Image Structure
ISBN: 9780792348085 / Angielski / Twarda / 1997 / 271 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Despite the fact that images constitute the main objects in computer vision and image analysis, there is remarkably little concern about their actual definition. In this book a complete account of image structure is proposed in terms of rigorously defined machine concepts, using basic tools from algebra, analysis, and differential geometry. Machine technicalities such as discretisation and quantisation details are de-emphasised, and robustness with respect to noise is manifest.
From the foreword by Jan Koenderink: It is my hope that the book will find a wide... Despite the fact that images constitute the main objects in computer vision and image analysis, there is remarkably little concern about their actual ...
|
cena:
603,81 |
 |
Adaptive Hypertext and Hypermedia
ISBN: 9780792348436 / Angielski / Twarda / 1998 / 252 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Hypertext/hypermedia systems and user-model-based adaptive systems in the areas of learning and information retrieval have for a long time been considered as two mutually exclusive approaches to information access. Adaptive systems tailor information to the user and may guide the user in the information space to present the most relevant material, taking into account a model of the user's goals, interests and preferences. Hypermedia systems, on the other hand, are user neutral': they provide the user with the tools and the freedom to explore an information space by browsing through a complex...
Hypertext/hypermedia systems and user-model-based adaptive systems in the areas of learning and information retrieval have for a long time been consid...
|
cena:
402,53 |
 |
Steiner Minimal Trees
ISBN: 9780792349839 / Angielski / Twarda / 1998 / 322 str. Termin realizacji zamówienia: ok. 22 dni roboczych. The problem of "Shortest Connectivity," which is discussed here, has a long and convoluted history. Many scientists from many fields as well as laymen have stepped on its stage. Usually, the problem is known as Steiner's Problem and it can be described more precisely in the following way: Given a finite set of points in a metric space, search for a network that connects these points with the shortest possible length. This shortest network must be a tree and is called a Steiner Minimal Tree (SMT). It may contain vertices different from the points which are to be connected. Such points are...
The problem of "Shortest Connectivity," which is discussed here, has a long and convoluted history. Many scientists from many fields as well as laymen...
|
cena:
603,81 |
 |
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
ISBN: 9780792351313 / Angielski / Twarda / 1998 / 335 str. Termin realizacji zamówienia: ok. 22 dni roboczych. We are invited to deal with mathematical activity in a sys- tematic way ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy- chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a key application area for automated theorem proving from the start, in fact the very first automatically found the- orem was that the sum of two even numbers is even (Davis, 1983). The field of automated deduction has witnessed considerable progress and in the last decade, automated deduction...
We are invited to deal with mathematical activity in a sys- tematic way ... ] one does expect and look for pleasant surprises in this requirement of...
|
cena:
603,81 |
 |
Eurowordnet: A Multilingual Database with Lexical Semantic Networks
ISBN: 9780792352952 / Angielski / Twarda / 1998 / 180 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book describes the main objective of EuroWordNet, which is the building of a multilingual database with lexical semantic networks or wordnets for several European languages. Each wordnet in the database represents a language-specific structure due to the unique lexicalization of concepts in languages. The concepts are inter-linked via a separate Inter-Lingual-Index, where equivalent concepts across languages should share the same index item. The flexible multilingual design of the database makes it possible to compare the lexicalizations and semantic structures, revealing answers to...
This book describes the main objective of EuroWordNet, which is the building of a multilingual database with lexical semantic networks or wordnets for...
|
cena:
402,53 |
 |
System-Level Synthesis
ISBN: 9780792357483 / Angielski / Twarda / 1999 / 435 str. Termin realizacji zamówienia: ok. 22 dni roboczych. System-Level Synthesis deals with the concurrent design of electronic applications, including both hardware and software. The issue has become the bottleneck in the design of electronic systems, including both hardware and software, in several major industrial fields, including telecommunications, automotive and aerospace engineering. The major difficulty with the subject is that it demands contributions from several research fields, including system specification, system architecture, hardware design, and software design. Most existing book cover well only a few aspects of...
System-Level Synthesis deals with the concurrent design of electronic applications, including both hardware and software. The issue has becom...
|
cena:
402,53 |
 |
Software Prototyping in Data and Knowledge Engineering
ISBN: 9780792360162 / Angielski / Twarda / 1999 / 408 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This monograph describes an innovative prototyping framework for data and knowledge intensive systems. The proposed approach will prove especially useful for advanced and research-oriented projects that aim to develop a traditional database perspective into fully-fledged advanced database approaches and knowledge engineering technologies.
The book is organised in two parts. The first part, comprising chapters 1 to 4, provides an introduction to the concept of prototyping, to database and knowledge-based technologies, and to the main issues involved in the integration of data and... This monograph describes an innovative prototyping framework for data and knowledge intensive systems. The proposed approach will prove especially use...
|
cena:
402,53 |
 |
Developments in Reliable Computing
ISBN: 9780792360575 / Angielski / Twarda / 2000 / 404 str. Termin realizacji zamówienia: ok. 22 dni roboczych. The SCAN conference, the International Symposium on Scientific Com puting, Computer Arithmetic and Validated Numerics, takes place bian nually under the joint auspices of GAMM (Gesellschaft fiir Angewandte Mathematik und Mechanik) and IMACS (International Association for Mathematics and Computers in Simulation). SCAN-98 attracted more than 100 participants from 21 countries all over the world. During the four days from September 22 to 25, nine highlighted, plenary lectures and over 70 contributed talks were given. These figures indicate a large participation, which was partly caused by the...
The SCAN conference, the International Symposium on Scientific Com puting, Computer Arithmetic and Validated Numerics, takes place bian nually under t...
|
cena:
402,53 |
 |
Reasoning with Rules and Precedents: A Computational Model of Legal Analysis
ISBN: 9780792361053 / Angielski / Twarda / 1999 / 219 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Few areas of human expertise are so well understood that they can be completely reduced to general principles. Similarly, there are few domains in which experience is so extensive that every new problem precisely matches a previous problem whose solution is known. When neither rules nor examples are individually sufficient, problem-solving expertise depends on integrating both. This book presents a computational framework for the integration of rules and cases for analytic tasks typified by legal analysis. The book uses the framework for integrating cases and rules as a basis for a new model...
Few areas of human expertise are so well understood that they can be completely reduced to general principles. Similarly, there are few domains in whi...
|
cena:
402,53 |
 |
Artificial Intelligence in Design '00
ISBN: 9780792363538 / Angielski / Twarda / 2000 / 719 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Designing is one of the foundations for change in our society. It is a fundamental precursor to manufacturing, fabrication and construction. Design research aims to develop an understanding of designing and to produce models of designing that can be used to aid designing. The papers in this volume are from the Sixth International Conference on Artificial Intelligence in Design (AID'00) held in June 2000, in Worcester, Massachusetts, USA. They represent the state of the art and the cutting edge of research and development in this field, and demonstrate both the depth and breadth of the...
Designing is one of the foundations for change in our society. It is a fundamental precursor to manufacturing, fabrication and construction. Design re...
|
cena:
805,10 |
 |
Knowledge Discovery and Data Mining: The Info-Fuzzy Network (Ifn) Methodology
ISBN: 9780792366478 / Angielski / Twarda / 2000 / 168 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book presents a specific and unified approach to Knowledge Discovery and Data Mining, termed IFN for Information Fuzzy Network methodology. Data Mining (DM) is the science of modelling and generalizing common patterns from large sets of multi-type data. DM is a part of KDD, which is the overall process for Knowledge Discovery in Databases. The accessibility and abundance of information today makes this a topic of particular importance and need. The book has three main parts complemented by appendices as well as software and project data that are accessible from the book's web site (http:...
This book presents a specific and unified approach to Knowledge Discovery and Data Mining, termed IFN for Information Fuzzy Network methodology. Data ...
|
cena:
402,53 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
