DISTRIBUTED CONSTRAINT LOGIC PROGRAMMING by H-F Leung
This book presents the first attempt to combine concurrent logic programming and constraint logic programing. It is divided into three parts. In the first part, a novel computation model, called the multi-Pandora model, which is designed on the basis of the Pandora model, is presented. In the second part, the distributed implementation schemes for Parlog, Pandora, and multi-Pandora are presented. Finally, the author presents the distributed constraint solvers for finite domain constraints, as well as the distributed constraint solvers in the domains of real numbers and Boolean rings which can be incorporated into the schemes presented in the second part to handle the 'ask'- and 'tell'-constraints.-
INTELLIGENT CHINESE LANGUAGE PATTERN AND SPEECH PROCESSING
-
ARRAY GRAMMARS, PATTERNS AND RECOGNIZERS
-
INFORMATION, RANDOMNESS & INCOMPLETENESS: PAPERS ON ALGORITHMIC INFORMATION THEORY
-
P-PROLOG: A PARALLEL LOGIC PROGRAMMING LANGUAGE
-
ADVANCED VISUAL INTERFACES - PROCEEDINGS OF THE INTERNATIONAL WORKSHOP AVI '92
-
APPLICATIONS OF LEARNING AND PLANNING METHODS
-
LANGUAGE ARCHITECTURES AND PROGRAMMING ENVIRONMENTS
-
RLISP '88: AN EVOLUTIONARY APPROACH TO PROGRAM DESIGN AND REUSE
-
SYMBOLIC AND ALGEBRAIC COMPUTATION BY COMPUTERS - PROCEEDINGS OF THE SECOND INTERNATIONAL SYMPOSIUM
-
FROM HUMANS TO COMPUTERS: COGNITION THROUGH VISUAL PERCEPTION
-
UNDERSTANDING AND LEARNING STATISTICS BY COMPUTER
-
SOFTWARE SCIENCE AND ENGINEERING: SELECTED PAPERS FROM THE KYOTO SYMPOSIA
-
DC FLUX PARAMETRON: A NEW APPROACH TO JOSEPHSON JUNCTION LOGIC
-
SYNTACTIC AND STRUCTURAL PATTERN RECOGNITION - THEORY AND APPLICATIONS
-
CURRENT TRENDS IN THEORETICAL COMPUTER SCIENCE: ESSAYS AND TUTORIALS
-
COOPERATION IN INDUSTRIAL MUTI-AGENT SYSTEMS
-
STOCHASTIC COMPLEXITY IN STATISTICAL INQUIRY
-
PERSPECTIVE IN THEORETICAL COMPUTER SCIENCE, A: COMMEMORATIVE VOLUME FOR GIFT SIROMONEY
-
ADVANCES IN MACHINE VISION: STRATEGIES AND APPLICATIONS
-
COMPUTER EPISTEMOLOGY: A TREATISE ON THE FEASIBILITY OF THE UNFEASIBLE OR OLD IDEAS BREWED NEW
-
COMPUTER VISION AND SHAPE RECOGNITION
-
COMPUTATIONAL STUDIES OF THE MOST FREQUENT CHINESE WORDS AND SOUNDS
-
INFORMATION-THEORETIC INCOMPLETENESS
-
MATHEMATICAL LOGIC FOR COMPUTER SCIENCE
-
COMPUTER VISION: SYSTEMS, THEORY AND APPLICATIONS: SELECTED PAPERS FROM VISION INTERFACE 1992
-
NEW APPROACHES TO KNOWLEDGE ACQUISITION
-
DIGITAL OPTICAL CELLULAR IMAGE PROCESSOR, A: THEORY, ARCHITECTURE AND IMPLEMENTATION
-
PATTERN RECOGNITION: ARCHITECTURES, ALGORITHMS AND APPLICATIONS
-
COMPUTATIONAL MODEL OF FIRST LANGUAGE ACQUISITION, A
-
INTRODUCTION TO THEORETICAL COMPUTER SCIENCE
-
STRUCTURAL PATTERN ANALYSIS
-
COMPUTER TRANSFORMATION OF DIGITAL IMAGES AND PATTERNS
| SKU | Unavailable |
| ISBN 13 | 9789810214562 |
| ISBN 10 | 9810214561 |
| Title | DISTRIBUTED CONSTRAINT LOGIC PROGRAMMING |
| Author | Ho-Fung Leung |
| Series | World Scientific Series In Computer Science |
| Condition | Unavailable |
| Binding Type | Hardback |
| Publisher | World Scientific Publishing Co Pte Ltd |
| Year published | 1993-10-01 |
| Number of pages | 344 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |