Symbolic Computation – serie
Visar alla böcker i serien Symbolic Computation. Handla med fri frakt och snabb leverans.
42 produkter
Knowledge Frontier
Essays in the Representation of Knowledge
Av Nick Cercone, Gordon McCalla
Inbunden, 1987
552 kr
Lägg i varukorg
Knowledge representation is perhaps the most central problem confronting artificial intelligence. Expert systems need knowledge of their domain of expertise in order to function properly. Computer vlslOn systems need to know characteristics of what they are "seeing" in order to be able to fully …
Reduce
Software for Algebraic Computation
Häftad, 1987
1098 kr
Lägg i varukorg
CONTRIBUTED BY DR. ANTHONY C. HEARN THE RAND CORPORATION, SANTA MONICA, CALIFORNIA REDUCE is a computer program for algebraic computation that IS III world-wide use by thousands of scientists, engineers, and mathematicians. Although it traces its beginnings to 1963, until recently it has only been …
Abductive Inference Models for Diagnostic Problem-Solving
Inbunden, 1990
1130 kr
Lägg i varukorg
Making a diagnosis when something goes wrong with a natural or m- made system can be difficult. In many fields, such as medicine or electr- ics, a long training period and apprenticeship are required to become a skilled diagnostician. During this time a novice diagnostician is asked to assimilate a …
Abductive Inference Models for Diagnostic Problem-Solving
Häftad, 2012
1130 kr
Lägg i varukorg
Making a diagnosis when something goes wrong with a natural or m- made system can be difficult. In many fields, such as medicine or electr- ics, a long training period and apprenticeship are required to become a skilled diagnostician. During this time a novice diagnostician is asked to assimilate a …
Exploration and Innovation in Design
Towards a Computational Model
Häftad, 2011
569 kr
Lägg i varukorg
Exploration and Innovation in Design is one of the first books to present both conceptual and computational models of processes which have the potential to produce innovative results at early stages of design. Discussed here is the concept of exploration where the system, using computational …
Parallel Algorithms for Machine Intelligence and Vision
Av Vipin Kumar, P.S. Gopalakrishnan m. fl.
Häftad, 2011
1130 kr
Lägg i varukorg
Recent research results in the area of parallel algorithms for problem solving, search, natural language parsing, and computer vision, are brought together in this book. The research reported demonstrates that substantial parallelism can be exploited in various machine intelligence and vision …
Logic Grammars
Av Harvey Abramson, Veronica Dahl
Häftad, 2013
569 kr
Lägg i varukorg
Logic grammars have found wide application both in natural language processing and in formal applications such as compiler writing. This book introduces the main concepts involving natural and formal language processing in logic programming, and discusses typical problems which the reader may …
Natural Language Generation Systems
Av David D. McDonald, Leonard Bolc
Häftad, 2011
569 kr
Lägg i varukorg
Natural language generation is a field within artificial intelligence which looks ahead to the future when machines will communicate complex thoughts to their human users in a natural way. Generation systems supply the sophisticated knowledge about natural languages that must come into play when …
Knowledge Frontier
Essays in the Representation of Knowledge
Av Nick Cercone, Gordon McCalla
Häftad, 2011
569 kr
Lägg i varukorg
Knowledge representation is perhaps the most central problem confronting artificial intelligence. Expert systems need knowledge of their domain of expertise in order to function properly. Computer vlslOn systems need to know characteristics of what they are "seeing" in order to be able to fully …
Computers in Chess
Solving Inexact Search Problems
Häftad, 2011
569 kr
Lägg i varukorg
Much water has flowed over the dam since this book went to press in Moscow. One might expect that PIONEER would have made substantial advances-unfortunately it has not. There are reasons: the difficulty of the problem, the disenchantment of the mathematicians (because of the delays and drawing out …
Search in Artificial Intelligence
Häftad, 2011
569 kr
Lägg i varukorg
Search is an important component of problem solving in artificial intelligence (AI) and, more generally, in computer science, engineering and operations research. Combinatorial optimization, decision analysis, game playing, learning, planning, pattern recognition, robotics and theorem proving are …
Qualitative Process Theory Using Linguistic Variables
Häftad, 2012
1130 kr
Lägg i varukorg
8. 5 Summary In this chapter we have identified three basic patterns of influences that lead to ambiguity in the QP analysis of the basic active furnace state. We have then shown how modification of these patterns, by adding equilibrium values and sensitivity annotations on influence arcs, could …
Principles of Artificial Intelligence
Inbunden, 1982
903 kr
Lägg i varukorg
Previous treatments of Artificial Intelligence (AI) divide the subject into its major areas of application, namely, natural language processing, automatic programming, robotics, machine vision, automatic theorem proving, intelligent data retrieval systems, etc. The major difficulty with this …
Introduction to Default Logic
Inbunden, 1989
1128 kr
Lägg i varukorg
The purpose of the book is to give a unified and comprehensive account of default logic, the most popular logic for those in the Artificial Intelligence (AI) community interested in the formalization of reasoning with incomplete information. The book is mainly concerned with a systematic …
Engineering Databases
Connecting Islands of Automation Through Databases
Av Jose L. Encarnacao, Peter C. Lockemann
Inbunden, 1990
1098 kr
Lägg i varukorg
This book discusses the maturity of today's database technology in the light of the needs of engineering applications and industrial automation. Those at the forefront of database research come up with new techniques to satisfy new needs, but today's engineering community must live with database …
Introduction to Default Logic
Häftad, 2010
1128 kr
Lägg i varukorg
This book is written for those who are interested in a fonnalization of human reasoning, especially in order to build "intelligent" computer systems. Thus, it is mainly designed for the Artificial Intelligence community, both students and researchers, although it can be useful for people working in …
Theory of Heuristic Information in Game-Tree Search
Häftad, 2011
551 kr
Lägg i varukorg
Searching is an important process in most AI systems, especially in those AI production systems consisting of a global database, a set of production rules, and a control system. Because of the intractability of uninformed search procedures, the use of heuristic information is necessary in most …
CGM and CGI
Metafile and Interface Standards for Computer Graphics
Av David B. Arnold, Peter R. Bono
Häftad, 2011
1128 kr
Lägg i varukorg
We have written this book principally for users and practitioners of computer graphics. In particular, system designers, independent software vendors, graphics system implementers, and application program developers need to understand the basic standards being put in place at the so-called Virtual …
Engineering Databases
Connecting Islands of Automation Through Databases
Av Jose L. Encarnacao, Peter C. Lockemann
Häftad, 2011
1098 kr
Lägg i varukorg
Automation is nothing new to industry. It has a long tradition on the factory floor, where its constant objective has been to increase the productivity of manufacturing processes. Only with the advent of computers could the focus of automation widen to include administrative and …
Computer Graphics Programming
GKS — The Graphics Standard
Av Günter Enderle, Klaus Kansy m. fl.
Häftad, 2011
569 kr
Lägg i varukorg
TO COMPUTER GRAPHICS BASED ONGKS Part I gives an introduction to basic concepts of computer graph ics and to the principles and concepts of GKS. The aims of this part are twofold: to provide the beginner with an overview of the terminology and concepts of computer graphics, based on GKS, and to …
Computation of Language
An Essay on Syntax, Semantics and Pragmatics in Natural Man-Machine Communication
Häftad, 2014
569 kr
Lägg i varukorg
The study of linguistics has been forever changed by the advent of the computer. Not only does the machine permit the processing of enormous quantities of text thereby securing a better empirical foundation for conclusions-but also, since it is a modelling device, the machine allows the …
Automation of Reasoning
Classical Papers on Computational Logic 1957–1966
Häftad, 2012
1098 kr
Lägg i varukorg
"Kind of Cl'Ude ~ but it UJorks~ boy~ it UJOrksl" Alan Ner. ueH to Herb Simon~ C1rl'istmas 1955 In 1954 a computer program produced what appears to be the first computer generated mathematical proof: Written by M. Davis at the Institute of Advanced Studies, USA, it proved a number theoretic theorem …
Automation of Reasoning
2: Classical Papers on Computational Logic 1967–1970
Häftad, 2012
1098 kr
Lägg i varukorg
"Kind of crude, but it works, boy, it works!" AZan NeweZZ to Herb Simon, Christmas 1955 In 1954 a computer program produced what appears to be the first computer generated mathematical proof: Written by M. Davis at the Institute of Advanced Studies, USA, it proved a number theoretic theorem in …
Design of Interpreters, Compilers, and Editors for Augmented Transition Networks
Av Leonard Bolc
Häftad, 2011
1128 kr
Lägg i varukorg
Augmented Transition Network Grammars are at present the most widely used method for analyzing natural languages. Despite the increasing po pularity of this method, however, no extensive papers on ATN-Grammars have been presented which would be accessible to a larger number of per sons engaged in …
Natural Language Communication with Pictorial Information Systems
Av Leonard Bolc
Häftad, 2011
1128 kr
Lägg i varukorg
This book contains the reports of selected projects involving natural language commu nication with pictorial information systems. More than just a record of research results, however, it presents concrete applications to the solution of a wide variety of problems. The authors are all prominent …
Product Data Interfaces in CAD/CAM Applications
Design, Implementation and Experiences
Av J. Encarnacao, R. Schuster m. fl.
Häftad, 2011
1128 kr
Lägg i varukorg
Interest in product data exchange and interfaces in the CAD/CAM area is steadi ly growing. The rapidly increasing graphics applications in engineering and sci ence has led to a great variety of heterogeneous hardware and software products. This has become a major obstacle in the progress of …
Three-Dimensional Computer Vision
Häftad, 2012
1128 kr
Lägg i varukorg
The purpose of computer vision is to make computers capable of understanding environments from visual information. Computer vision has been an interesting theme in the field of artificial intelligence. It involves a variety of intelligent information processing: both pattern processing for …
Computational Models of Learning
Av Leonard Bolc
Häftad, 2011
569 kr
Lägg i varukorg
In recent years, machine learning has emerged as a significant area of research in artificial intelligence and cognitive science. At present, research in the field is being intensified from both the point of view of theory and of implementation, and the results are being introduced in practice. …
Programming Languages for Industrial Robots
Av Christian Blume, Wilfried Jakob
Häftad, 2011
551 kr
Lägg i varukorg
Previous works on industrial robots dealt with "programming" and "programming languages" only in passing; no comparison was made between characteristics of the individual programming lan guages. This book, therefore, gives a detailed account of industrial robot programming and its environment. …
Computer-Aided Design and Manufacturing
Methods and Tools
Häftad, 2011
1098 kr
Lägg i varukorg
Manufacturing contributes to over 60 % of the gross national product of the highly industrialized nations of Europe. The advances in mechanization and automation in manufacturing of international competitors are seriously challenging the market position of the European countries in different areas. …
