Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

Advances in Quantum Computing

Posted By: AvaxGenius
Advances in Quantum Computing

Advances in Quantum Computing
English | PDF | 2024 | 488 Pages | ISBN : 3725800200 | 56.3 MB

The field of quantum information science has seen tremendous progress over the last several years, with advances in both hardware development and novel algorithms. This Special Issue has endeavored to capture some of the technical advances in this rapidly changing field.

Classification and Modeling with Linguistic Information Granules: Advanced Approaches to Linguistic Data Mining

Posted By: AvaxGenius
Classification and Modeling with Linguistic Information Granules: Advanced Approaches to Linguistic Data Mining

Classification and Modeling with Linguistic Information Granules: Advanced Approaches to Linguistic Data Mining by Hisao Ishibuchi , Tomoharu Nakashima , Manabu Nii
English | PDF | 2005 | 308 Pages | ISBN : 3540207678 | 14.6 MB

Many approaches have already been proposed for classification and modeling in the literature. These approaches are usually based on mathematical mod­ els. Computer systems can easily handle mathematical models even when they are complicated and nonlinear (e.g., neural networks). On the other hand, it is not always easy for human users to intuitively understand mathe­ matical models even when they are simple and linear. This is because human information processing is based mainly on linguistic knowledge while com­ puter systems are designed to handle symbolic and numerical information. A large part of our daily communication is based on words. We learn from various media such as books, newspapers, magazines, TV, and the Inter­ net through words. We also communicate with others through words. While words play a central role in human information processing, linguistic models are not often used in the fields of classification and modeling. If there is no goal other than the maximization of accuracy in classification and model­ ing, mathematical models may always be preferred to linguistic models. On the other hand, linguistic models may be chosen if emphasis is placed on interpretability.

Computational Modeling and Problem Solving in the Networked World (Repost)

Posted By: AvaxGenius
Computational Modeling and Problem Solving in the Networked World (Repost)

Computational Modeling and Problem Solving in the Networked World: Interfaces in Computer Science and Operations Research by Hemant K. Bhargava, Nong Ye
English | PDF | 2003 | 322 Pages | ISBN : 1402072953 | 28.6 MB

This book is a compilation of a selected subset of research articles presented at the Eighth INFORMS Computing Society Conference, held in Chandler, Arizona, from January 8 to 10, 2003. The articles in this book represent the diversity and depth of the interface between ORiMS (operations research and the management sciences) and CS/AI (computer science and artificial intelligence ). This volume starts with two papers that represent the reflective and integrative thinking that is critical to any scientific discipline.

Validation of Stochastic Systems: A Guide to Current Research

Posted By: AvaxGenius
Validation of Stochastic Systems: A Guide to Current Research

Validation of Stochastic Systems: A Guide to Current Research by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
English | PDF | 2004 | 473 Pages | ISBN : 3540222650 | 4 MB

This tutorial volume presents a coherent and well-balanced introduction to the validation of stochastic systems; it is based on a GI/Dagstuhl research seminar. Supervised by the seminar organizers and volume editors, established researchers in the area as well as graduate students put together a collection of articles competently covering all relevant issues in the area. The lectures are organized in topical sections on: modeling stochastic systems, model checking of stochastic systems, representing large state spaces, deductive verification of stochastic systems.

Theory and Applications of Recent Robust Methods

Posted By: AvaxGenius
Theory and Applications of Recent Robust Methods

Theory and Applications of Recent Robust Methods by Mia Hubert, Greet Pison, Anja Struyf, Stefan Aelst
English | PDF | 2004 | 399 Pages | ISBN : 3764370602 | 38.6 MB

Intended for both researchers and practitioners, this book will be a valuable resource for studying and applying recent robust statistical methods. It contains up-to-date research results in the theory of robust statistics.

The Design of Well-Structured and Correct Programs

Posted By: AvaxGenius
The Design of Well-Structured and Correct Programs

The Design of Well-Structured and Correct Programs by Suad Alagić , Michael A. Arbib
English | PDF | 1978 | 303 Pages | ISBN : 1461262747 | 24 MB

The major goal of this book is to present the techniques of top-down program design and verification of program correctness hand-in-hand. It thus aims to give readers a new way of looking at algorithms and their design, synthesizing ten years of research in the process. It provides many examples of program and proof development with the aid of a formal and informal treatment of Hoare's method of invariants. Modem widely accepted control structures and data structures are explained in detail, together with their formal definitions, as a basis for their use in the design of correct algorithms.

The Mathematica GuideBook for Numerics (Repost)

Posted By: AvaxGenius
The Mathematica GuideBook for Numerics (Repost)

The Mathematica GuideBook for Numerics By Michael Trott
English | PDF (True) | 2006 | 1243 Pages | ISBN : 0387950117 | 278.72 MB

Mathematica is today's most advanced technical computing system, featuring a rich programming environment, two-and three-dimensional graphics capabilities and hundreds of sophisticated, powerful programming and mathematical functions using state-of-the-art algorithms. Combined with a user-friendly interface and a complete mathematical typesetting system, Mathematica offers an intuitive, easy-to-handle environment of great power and utility.

Handbook of Combinatorial Optimization: Volume1–3 (Repost)

Posted By: AvaxGenius
Handbook of Combinatorial Optimization: Volume1–3 (Repost)

Handbook of Combinatorial Optimization: Volume1–3 by Ding-Zhu Du
English | PDF | 1998 | 2410 Pages | ISBN : 0792350197 | 217.7 MB

Combinatorial (or discrete) optimization is one of the most active fields in the interface of operations research, computer science, and applied math­ ematics. Combinatorial optimization problems arise in various applications, including communications network design, VLSI design, machine vision, air­ line crew scheduling, corporate planning, computer-aided design and man­ ufacturing, database query design, cellular telephone frequency assignment, constraint directed reasoning, and computational biology. Furthermore, combinatorial optimization problems occur in many diverse areas such as linear and integer programming, graph theory, artificial intelligence, and number theory.

Building Expert Systems in Prolog

Posted By: AvaxGenius
Building Expert Systems in Prolog

Building Expert Systems in Prolog by Dennis Merritt
English | PDF | 1989 | 360 Pages | ISBN : 1461389135 | 34.6 MB

When I compare the books on expert systems in my library with the production expert systems I know of, I note that there are few good books on building expert systems in Prolog. Of course, the set of actual production systems is a little small for a valid statistical sample, at least at the time and place of this writing - here in Gennany, and in the first days of 1989. But there are at least some systems I have seen running in real life commercial and industrial environments, and not only at trade shows. I can observe the most impressive one in my immediate neighborhood. It is installed in the Telephone Shop of the Gennan Federal PTT near the Munich National Theater, and helps configure telephone systems and small PBXs for mostly private customers. It has a neat, graphical interface, and constructs and prices an individual telephone installation interactively before the very eyes of the customer. The hidden features of the system are even more impressive. It is part of an expert system network with a distributed knowledge base that will grow to about 150 installations in every Telephone Shop throughout Gennany. Each of them can be updated individually overnight via Teletex to present special offers or to adapt the selection process to the hardware supplies currently available at the local ware­ houses.

Graph Theory, Computational Intelligence and Thought

Posted By: AvaxGenius
Graph Theory, Computational Intelligence and Thought

Graph Theory, Computational Intelligence and Thought: Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday by Marina Lipshteyn, Vadim E. Levit, Ross M. McConnell
English | PDF | 2009 | 237 Pages | ISBN : 3642020283 | 4.2 MB

Martin Charles Golumbic has been making seminal contributions to algorithmic graph theory and artificial intelligence throughout his career. He is universally admired as a long-standing pillar of the discipline of computer science. He has contributed to the development of fundamental research in artificial intelligence in the area of complexity and spatial-temporal reasoning as well as in the area of compiler optimization. Golumbic's work in graph theory led to the study of new perfect graph families such as tolerance graphs, which generalize the classical graph notions of interval graph and comparability graph. He is credited with introducing the systematic study of algorithmic aspects in intersection graph theory, and initiated research on new structured families of graphs including the edge intersection graphs of paths in trees (EPT) and trivially perfect graphs.

Three-Dimensional Machine Vision

Posted By: AvaxGenius
Three-Dimensional Machine Vision

Three-Dimensional Machine Vision by Takeo Kanade
English | PDF | 1987 | 609 Pages | ISBN : 0898381886 | 41.9 MB

A robot must perceive the three-dimensional world if it is to be effective there. Yet recovering 3-D information from projected images is difficult, and still remains the subject of basic research. Alternatively, one can use sensors that can provide three-dimensional range information directly. The technique of projecting light-stripes started to be used in industrial object recognition systems as early as the 1970s, and time-of-flight laser-scanning range finders became available for outdoor mobile robot navigation in the mid-eighties. Once range data are obtained, a vision system must still describe the scene in terms of 3-D primitives such as edges, surfaces, and volumes, and recognize objeCts of interest.

Mining Sequential Patterns from Large Data Sets

Posted By: AvaxGenius
Mining Sequential Patterns from Large Data Sets

Mining Sequential Patterns from Large Data Sets by Wei Wang , Jiong Yang
English | PDF | 2005 | 174 Pages | ISBN : 0387242465 | 8 MB

In many applications, e.g., bioinformatics, web access traces, system u- lization logs, etc., the data is naturally in the form of sequences. It has been of great interests to analyze the sequential data to find their inherent char- teristics. The sequential pattern is one of the most widely studied models to capture such characteristics. Examples of sequential patterns include but are not limited to protein sequence motifs and web page navigation traces. In this book, we focus on sequential pattern mining. To meet different needs of various applications, several models of sequential patterns have been proposed. We do not only study the mathematical definitions and application domains of these models, but also the algorithms on how to effectively and efficiently find these patterns.

Integrating Graphics and Vision for Object Recognition

Posted By: AvaxGenius
Integrating Graphics and Vision for Object Recognition

Integrating Graphics and Vision for Object Recognition by Mark R. Stevens , J. Ross Beveridge
English | PDF | 2001 | 190 pages | ISBN : 0792372077 | 24 MB

Integrating Graphics and Vision for Object Recognition serves as a reference for electrical engineers and computer scientists researching computer vision or computer graphics.

Informatics: 10 Years Back. 10 Years Ahead

Posted By: AvaxGenius
Informatics: 10 Years Back. 10 Years Ahead

Informatics: 10 Years Back. 10 Years Ahead by Reinhard Wilhelm
English | PDF | 2001 | 379 Pages | ISBN : 3540416358 | 6.3 MB

Informatics - 10 Years Back, 10 Years Ahead presents a unique collection of expository papers on major current issues in the field of computer science and information technology. The 26 contributions written by leading researchers on personal invitation assess the state of the art of the field by looking back over the past decade, presenting important results, identifying relevant open problems, and developing visions for the decade to come.

Computational Intelligence in Games

Posted By: AvaxGenius
Computational Intelligence in Games

Computational Intelligence in Games by Norio Baba, Lakhmi C. Jain
English | PDF | 2001 | 171 Pages | ISBN : 3790813486 | 13.7 MB

The most powerful computers in the world are not only used for scientific research, defence, and business, but also in game playing. Computer games are a multi-billion dollar industry. Recent advances in computational intelligence paradigms have generated tremendous interest among researchers in the theory and implementation of games. Game theory is a branch of operational research dealing with decision theory in a competitive situation. Game theory involves the mathematical calculations and heuristics to optimize the efficient lines of play. This book presents a sample of the most recent research on the application of computational intelligence techniques in games.