Copy Link
Add to Bookmark
Report
AIList Digest Volume 5 Issue 060
AIList Digest Sunday, 1 Mar 1987 Volume 5 : Issue 60
Today's Topics:
Bibliography - Leff ai.bib44C
----------------------------------------------------------------------
Date: Sat, 28 Feb 1987 13:19 CST
From: Leff (Southern Methodist University)
<E1AR0002%SMUVM1.BITNET@wiscvm.wisc.edu>
Subject: ai.bib44C
%A S. V. Shil'man
%T Adaptive-Optimal Filtering in Random Processes
%J MAG95
%P 249-261
%K O06 AI06
%A O. Yu. Pershin
%T A Class of Extremal Combinatorial Problems for Multicomponent Network
Design
%J MAG95
%P 262-269
%K AI03 O06
%A V. I. Borzenko
%T Extrapolation of a System of Classifications
%J MAG95
%P 270-275
%K O06
%A V. V. Mottl
%A I. B. Muchnik
%T Algorithm for Recognition of a Stream of Random Events
%J MAG95
%P 276-278
%K AI06 O06
%A Dominique Perrin
%A Jean-Erric Pin
%T First-Order Logic and Star-Free Sets
%J Journal of Computer and System Sciences
%V 32
%N 3
%D JUN 1986
%P 393-406
%K AI11
%A J. A. Bergstra
%A J. W. Klop
%T Conditional Rewrite Rules: Confluence and Termination
%J Journal of Computer and System Sciences
%V 32
%N 3
%D JUN 1986
%P 323-362
%K AI14
%A M. S. Esparz
%T High-Priced Lisp Hardware Obsolete in Near Future, Says Study
%J InfoSystems
%V 33
%N 9
%D SEP 1986
%P 16
%K H02
%A D. H. Feedman
%T Expert Systems Moving from Glamour Technology to Workhorse
%J InfoSystems
%V 33
%N 9
%D SEP 1986
%P 14-15
%K AI01
%A Ewa Orlowska
%T Semantic Analysis of Inductive Reasoning
%J Theoret. Comput. Sci
%V 43
%D 1986
%N 1
%P 81-89
%K AI16
%A Francoise Bellegarde
%T Convergent Term Rewriting Systems can be Used for Program Transformation
%B Programs as Data Objects
%P 24-41
%S Lecture Notes in Computer Science
%V 217
%I Springer-Verlag
%C Berlin-New York
%D 1986
%K AA08 AI14
%A Adolfo Lagomasino
%A Andrew P. Sage
%T Imprecise Knowledge Representation in Inferential Activities
%B BOOK57
%P 473-497
%K O04
%A Murray Eden
%A Michael Unser
%A Riccardo Leonardi
%T Polynomial Representation of Pictures
%J Signal Process.
%V 10
%D 1986
%N 4
%P 385-393
%K AI06
%A Christian Ronse
%T Definitions of Convexity and Convex Hulls in Digital Images
%J Bull. Soc. Math. Belg. Ser. B
%V 37
%D 1986
%N 2
%P 71-85
%K AI06
%A David C. Rine
%T Some Applications of Multiple-Valued Logic and Fuzzy Logic to Expert Systems
%B BOOK57
%P 407-434
%K O04 AI01
%A Hung T. Nguyen
%A Irwin R. Goodman
%T On Foundations of Approximate Reasoning
%B BOOK57
%P 47-59
%K AI16 O04 AI01
%A S. T. Wierzchon
%T Mathematical Tools for Knowledge Representation
%B BOOK57
%P 61-69
%K AI16 O04 AI01
%A A. Lananer
%T Associate Processing in Brain Theory and Artificial Intelligence
%B Brain Theory
%P 193-210
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 193-210
%K AI08 AI16
%A Lawrence R. Baniner
%A Jay G. Wilpon
%A Biing-Hwang Juang
%T A Segmental k-Means Training Procedure for Connected Word Recognition
%J AT&T Technical Journal
%V 65
%N 3
%D MAY-JUN 1986
%P 21-40
%K AI04 AI05
%A A. A. Natan
%A A. I. Samylovskiy
%T Recognition of Gaussian Random Processes by Local Analysis of Their
Properties
%J MAG95
%P 128-135
%K AI06
%A M. V. Fomina
%T Methods for Successive Construction of a Hierarchical Representation of
the States of a Complex Object
%J MAG95
%P 136-145
%K AI16
%A L. B. Groysberg
%T Planning of Component Tests for Confirmation of System Reliability
%J MAG95
%P 146-153
%K AI16 AA05
%A E. Vidal Ruiz
%T An Algorithm for Finding Nearest Neighbors in (Approximately) Constant
Average Time
%J MAG96
%P 145-158
%K AI06 O06
%A S. K. Pal
%A P. K. Pramanik
%T Fuzzy Measures in Determining Seed Points in Clustering
%J MAG96
%P 159-164
%K O06
%A G. T. Toussaint
%T Interactive Curve Drawing by Segmented Bezier Approximation with a
Control Parameter
%J MAG96
%P 171-176
%K O06
%A A. Rosenfeld
%T Continuous Functions on Digital Pictures
%J MAG96
%P 177-184
%K AI06
%A E. R. Davies
%T Image Space Transforms for Detecting Straight Edges in Industrial Images
%J MAG96
%P 185-192
%K AI06
%A S. K. Parui
%A S. Eswara Sarma
%A D. Dutta Majumder
%T How to Discriminate Shapes Using Shape Vector
%J MAG96
%P 201-204
%K AI06
%A A. Schening
%A H. Nieman
%T Computing Depth from Stereo Images by Using Optical Flow
%J MAG96
%P 205-212
%K AI06
%A T. H. Phillips
%A A. Rosenfeld
%T A Simplified Method of Detecting Structure in Glass Patterns
%J MAG96
%P 213
%K AI06
%A J. K. Mattila
%T On Some Logical Points of Fuzzy Conditional Decision Making
%J MAG97
%P 137-146
%K O04
%A K. Nakamura
%T Preference Relations on a Set of Fuzzy Utilities as
a Basis for Decision Making
%J MAG97
%P 147-162
%K AI13 O04
%A M. R. Casals
%A M. A. Gil
%A P. Gil
%T On the Use of Zadeh's Probabilistic Definition for
Testing Statistical Hypothesis from Fuzzy Information
%J MAG97
%P 175-190
%K O04
%A P. Dallant
%A A. Meunier
%A P. S. Christel
%A L. Sedel
%T Semi-automatic Image-Analysis Applied to the Quantification
of Bone Microstructure
%J Journal of Biomedical Engineering
%V 8
%N 4
%D OCT 1986
%P 320-328
%K AA01 AI06
%A C. E. Riese
%A S. M. Zubrick
%T Using Rule Induction to Combine Declarative and Procedural Knowledge
Representations
%J MAG94
%P 603-606
%K AI16 AI04
%A D. S. Prerau
%A A. S.Gunderson
%A R. E. Reinke
%A S. K. Goyal
%T The COMPASS Expert System: Verification, Technology Transfer, and
Expansion
%J MAG94
%P 597-602
%K AI01
%A B. Pinkowski
%T A Lisp-based System for Generating Diagnostic Keys
%J MAG94
%P 592-596
%K T01
%A S. R. Mukherjee
%A M. Sloan
%T Positional Representation of English Words
%J MAG94
%P 587-591
%K AI02
%A J. H. Martin
%T Knowledge Acquisition Through Natural Language Dialogue
%J MAG94
%P 582-586
%K AI02
%A D. M. Mark
%T Finding Simple Routes: 'Ease of Description' as an Objective Function
in Automated Route Selection
%J MAG94
%P 577-581
%A S. Mahalingam
%A D. D. Sharma
%T WELDEX - An Expert System for Nondestructive Testing of Welds
%J MAG94
%P 572-576
%K AA05 AI01
%A J. Liebowitz
%T Evaluation of Expert Systems: An Approach and Case Study
%J MAG94
%P 564-571
%K AI01
%A S. J. Laskowski
%A H. J. Antonisse
%A R. P. Bonasso
%T Analyst II: A Knowledge-Based Intelligence Support System
%J MAG94
%P 558-563
%K AA18
%A D. A. Krawczak
%A P. J. Smith
%A S. J. Shute
%A M. Chignell
%T EP-X: A Knowledge-Based System to Aid in Search of the Environmental
Pollution Literature
%J MAG94
%P 552-557
%K AA14 AI01 AA10
%A E. Y. Kandrashina
%A O. N. Ochakovskaja
%A Y. A. Zagorulko
%T Time-1: Semantic System for Dynamic Object Domain
%J MAG94
%P 548-551
%K AI16
%A C. I. Kalme
%T A General Purpose Language for Coupled Expert Systems
%J MAG94
%P 539-547
%K T03 H03 AI01
%A J. R. James
%A P. P. Bonissone
%A D. K. Frederick
%A J. H. Taylor
%T A Retrospective View of CACE-III: Considerations in Coordinating Symbolic
and Numeric Computation in a Rule-Based Expert System
%J MAG94
%P 532-538
%K T03 AI14 AI01
%A R. T. Hartley
%T Representation of Procedural Knowledge for Expert Systems
%J MAG94
%P 526-531
%K AI16 AI01
%A J. J. Hannan
%A P. Politakis
%T ESSA: An Approach to Acquiring Decision Rules for Diagnostic Expert
Systems
%J MAG94
%P 520-525
%K AA21
%A K. Hammer
%A J. Hardin
%A D. Rudisill
%A A. Goldfein
%T Using a Predictive Parse to Create a Modeless Editor
%J MAG94
%P 514-519
%K AA15
%A R. L. Constable
%T Implementing Mathematics with the Nupri Proof Development System
%I Prentice-Hall
%C Englewood Cliffs, NJ
%D 1986
%K AI11 AA13
%X 299 pages $21.95
%A L. O. Hall
%A W. Bandler
%T Relational Knowledge Acquisition
%J MAG94
%P 509-513
%K AI16
%A W. D. Hagament
%A M. Gardy
%T MEDCAT/CATS: Two Contrasting Artificial Intelligence Applications in
Medical Education
%J MAG94
%P 503-508
%K AA07 AA01
%A J. F. Gilmore
%A K. Pulaski
%T A Survey of Expert System Tools
%J MAG94
%P 498-502
%K T03
%A A. Garcia-Ortiz
%T Computer Algebra Applied to the Design of Optical Sensor Platforms
%J MAG94
%P 493-497
%K AI14 AA16
%A B. R. Fox
%A K. G. Kempf
%T Complexity, Uncertainty, and Opportunistic Scheduling
%J MAG94
%P 487-492
%K O04 AA05 AI16 O06 AI03
%A M. E. Cohen
%A D. L. Hudson
%A N. Gitlin
%A L. T. Mann
%A J. Van den Bogaerde
%A L. Leal
%T Knowledge Representation and Classification of Chromatographic Data for
Diagnostic Medical Decison Making
%J MAG94
%P 481-486
%K AA02 AA01
%A F. Brundick
%A J. Dumer
%A T. Hanratty
%A P. Tanenbaum
%T GENIE: An Inference Engine with Diverse Applications
%J MAG94
%P 473-480
%K T03
%A H. Winter
%T Artificial Intelligence in Man-Machine Systems
%B BOOK59
%P 1-22
%K AA15
%A J. Mylopoulos
%A A. Borgida
%A S. Greenspan
%A C. Meghini
%A B. Nixon
%T Knowledge Representation in the Software Development Process - A Case Study
%B BOOK59
%P 23-44
%K AA08
%A B. Radig
%T Design and Applications of Expert Systems
%B BOOK59
%P 45-61
%K AA08
%A W. Wahlster
%T The Role of Natural Language in Advanced Knowledge Based Systems
%B BOOK59
%P 62-83
%K AI02 AA15
%A G. Fischer
%T Cognitive Science - Information Processing in Humans and Computers
%B BOOK59
%P 84-111
%K AI08
%A A. Meystel
%T Knowledge-Based Controller for Intelligent Mobile Robots
%B BOOK59
%P 112-140
%K AI07 AA19
%A S. E. Cross
%A R. B. Bahnij
%A D. O. Norman
%T Knowledge-Based Pilot Aids - A Case Study in Mission Planning
%B BOOK59
%P 141-174
%K AA19
%A U. Volckers
%T Dynamic Planning and Time-Conflict Resolution in Air Traffic Control
%B BOOK59
%P 175-197
%K AI09 O03
%A L. A. Zadeh
%T Outline of a Computational Approach to Meaning and Knowledge Representation B
ased on
the Concept of a Generalized Assignment Statement
%B BOOK59
%P 198
%K O04 AI16
%A J. K. Kastner
%T Continuous Real-Time Expert System for Computer Operations
%J Data Processing
%V 28
%N 8
%D OCT 1986
%P 411-425
%K O03 AA08 AI01
%A Keith Clark
%A Steve Gregory
%T PARLOG: Parallel Programming in Logic
%J ACM Transactions on Programming Languages and Systems
%V 8
%N 1
%D JAN 1986
%P 1-49
%K AI10 H03
%A G. I. Janbykh
%T Optimization of the Structure of Computer Networks Using Branch and Bound
%J Avtomatika I. vychisletenlnaya Teknika
%N 5
%D SEP-OCT 1986
%P 3-13
%K AA08 AI03
%A W. Rauchhindin
%T Software Integrates AI, Standard Systems
%J Mini-Micro Systems
%V 19
%N 12
%D OCT 1986
%P 69-86
%A Dragan Kolar
%A Vojislav Stojkovic
%T The Implementation of CF Grammars by PROLOG Language
%J Univ. u Novm Sadu Zb. Rad. Prirod. Mat Fak. Ser. Mat
%V 15
%N 1
%P 245-252
%K T02
%A Krzysztof R. Apt
%A Dexter C. Kozen
%T Limits for Automatic Verification of Finite-tate Concurrent Systems
%J Inform. Process. Lett
%V 22
%D 1986
%N 6
%P 307-309
%K AA08
%A Robert L. Constable
%T Constructive Mathematics as a Programming Logic I. Some Principles of Theory
%B BOOK60
%P 21-37
%K AI10 AA13
%A H. Langmaack
%T A New Transformational Approach to Partial Correctness Proof Calculi for ALGO
L
68-Like Programs with Finite Modes and Simple Side Effects
%B BOOK60
%P 73-102
%D 1985
%A Philippe Devienne
%A Patrick Lebegue
%T Weighted Graphs: A Tool for Logic Programming
%B BOOK61
%P 100-111
%K AI10
%A James S. Royer
%T Inductive Inferences of Approximations
%J Information and Control
%V 70
%N 2-3
%D AUG-SEP 1986
%P 156-178
%K AI03
%A Sergiu Hart
%A Micha Sharir
%T Probabilistic Propositional Temporal Logics
%J Information and Control
%V 70
%N 2-3
%D AUG-SEP 1986
%P AI10 AI16 O04 AI11
%A K. Yalumov
%T KET: A Knowledge Engineering Tool
%J Computers in Industry
%V 7
%N 5
%D OCT 1986
%P 417-426
%K T03
%A S. F. Bocklisch
%T A Diagnosis Sytem Based on Fuzzy Classification
%J Computers and Industry
%V 7
%N 1
%D FEB 1986
%P 73-82
%K AI01 O04
%A Justin R. Smith
%T Parallel Algorithms for Depth-first Searches I. Planar Graphs
%J SIAM J. Comput.
%V 15
%D 1986
%N 3
%P 814-830
%K AI03 O06
%A N. N. Nepievoda
%T Deductions in the Form of Graphs
%J Semiotics and Information Science
%N 26
%P 52-82
%D 1985
%X Akad. Nauk SSSR, Vsesoyuz. Inst. Nauchn. i Tekhn. Inform., Moscow
(in Russian)
%A Yu. I. Petunin
%A G. A. Shuldeshov
%T Calculation of a Plane Figure from its Discretized Image
%J Kibernetika (Kiev)
%D 1986
%N 2
%P 1-7
%K AI06
%X Russian with English Summary
%A Shuro Nagata
%A Takeshi Oshiba
%A Sakae Funahashi
%T An Implementation of a Validity Checking Program by Using N-set Partitions
%J Bull. Nagoya Inst. Tech
%V 37
%D 1985
%P 111-116
%D 1986
%K AA08
%X Japanese with English Summary
%A Alex Pelin
%A Jean H. Gallier
%T Exact Computation Sequences
%B BOOK61
%P 45-59
%A Henri Prade
%T corrections to: "A Simple Inference Techique for Dealign with Uncertain
Facts in terms of possibility" (Kybernetes 15 (1986) no. 1 19-24
%J Kybernetes
%15
%N 3
%P 214
%K O04 AT13
%A Ronald R. Yager
%T A Note on Projections of Conditional Possibility Distributions in Approximate
Reasoning
%J Kybernetes
%V 15
%N 3
%P 185-187
%K O04
%A R. I Podlovchenko
%T Investigation of s-models of programs from the standpoint of
constructing canonization algorithms for them.
%J Programmirovanie
%D 1986
%N 2
%P 3-13
%K AA08
%X Russian
%A Manfred Broy
%A Bernhard Moller
%A Peter Pepper
%A Martin Wirsing
%T Algebraic Implementations Preserve Program Correctness
%J Sci Comput. Programming
%V 7
%D 1986
%N 1
%P 35-53
%K AA08
%A Yu Qi Guo
%A Lian Li
%A Gang Wu Xu
%T On the Disjunctive Structure of Dense Languages
%J Sci. Sinica Ser. A
%V 28
%D 1985
%N 12
%P 1233-1238
%A Thomas A. Joseph
%A Thomas Rauchle
%A Sam Toueg
%T State Machines and Assertions: An Integrated Approach to Modeling
and Verification of Distributed Systems
%J Sci. Comput. Programming
%V 7
%D 1986
%N 1
%P 1-22
%A Takeshi Shinohara
%T Inductive Inference of Formal Systems From Positive Data
%J Bull Inform. Cybernet.
%V 22
%D 1986
%N 1-2
%P 9-18
%K AI04
%A Moshe Y. Vardi
%T Automata-Theoretic Techniques for Modal Logics of Programs
%J J. Comput. System Sci.
%V 32
%D 1986
%N 2
%P 183-221
%A John N. Martin
%T Some Formal Properties of Indirect Semantics
%J Theoret. Linguist
%V 12
%D 1985
%N 1
%P 1-32
%K AI02 AI16
%A Makoto Haraguchi
%T Analogical Reasoning Using Transformation of Rules
%J Bull. Inform. Cybernet.
%V 22
%D 1986
%N 1-2
%P 1-8
%K AI16
%A Takahashi Yokomori
%T Representation Theorems and Primitive Predicates for Logic Programs
%J Bull. Inform. Cybernet.
%V 22
%D 1986
%N 1-2
%P 19-37
%K AI11
%A Matthias Baaz
%A Alexander Leitsch
%T The Application of Strong Reduction Rules in Automatic Proofs
%J Osterreich Akad. Wiss. Math.-Natur. KL Sitzungsber. II
%V 194
%D 1985
%N 4-10
%P 287-307
%K AA08
%A Michael Leyton
%T A Theory of Information I. General Principles
%J J. Math. Psych.
%V 30
%D 1986
%N 2
%P 103-160
%K AI16 AI08
%A J. J. Harvey
%T Expert Systems: An Introduction
%J MAG98
%P 100-108
%K AI01 AT08
%A J. J. Harvey
%T ESSAI Expert Systems Toolkit
%J MAG98
%P 109-114
%K AI01 T03
%A M. A. Newstead
%A R. Pettipher
%T Knowledge Acquisition for Expert Systems
%J MAG98
%P 115-121
%K AI01
%A G. Jones
%A R. Nuttall
%A K. Stone
%T Integrating Multiple Control Schemes
%J MAG98
%P 122-127
%K AI01
%A R. Gunhold
%A J. Zettel
%T System 12 In-Factory Testing
%J MAG98
%P 128-134
%K AA04 AI01
%A H. Schelfhout
%T Customer Application Engineering for System 12 Hardware
%J MAG98
%P 135-140
%K AA04 AI01
%A N. Theuretzbacher
%T Expert System Technology for Safety-Critical Real-Time Systems
%J MAG98
%P 147-153
%K AI01 O03
%A M. Thandasseri
%T Expert Systems Application for TXE4A Exchanges
%J MAG98
%P 154-161
%K AI01 AA04
%A P. Benson
%T Artificial Intelligence Assisted Packet Radio Connectivity
%J MAG98
%P 162-167
%K AI01 AA04
%A E. Gaudry
%T Electronic Warfare Application for Expert Systems
%J MAG98
%P 168-173
%K AA18
%A M. E. Atwood
%A E. R. Radlinski
%T Diagnostic System Architecture
%J MAG98
%P 174-179
%K AA21
%A M. E. Atwood
%A R. Brooks
%A E. R. Radlinski
%T Causal Models: The Next Generation of Expert Systems
%J MAG98
%P 180-184
%K AI01 AI16
%A D. Neiman
%T Technological Considerations for Industrial Expert Systems Applications
%J MAG98
%P 185
%K AI01
%A M. Chester
%T The Military Reconnoiters Neural Systems
%J Electronics Product Magazine
%V 29
%N 10
%D OCT 15 1986
%P 78-82
%K AI12 AA18
%A Dennis de Champeaux
%T Subproblem Finder and Instance Checker, Two Cooperating Modules for Theorem
Provers
%J JACM
%V 33
%N 4
%D OCT 1986
%P 633-657
%K AI11
%A W. Eric L. Grimson
%T The Combinatorics of Local Constraints in Model-Based Recognition and Localiz
ation
from Sparse Data
%J JACM
%V 33
%N 4
%D OCT 1986
%P 658-686
%K AI06
%A B. Ramamurthi
%A A. Gersho
%T Classified Vector Quantization of Images
%J IEEE Transactions on Communications
%V 34
%N 11
%D NOV 1986
%P 1105-1115
%K AI06
%A R. Buhr
%T Front-face Analysis and Classification
%J ntzArchiv
%V 8
%N 10
%D OCT 1986
%P 245-256
%K AI06
%A E. M. Clarke
%A E. A. Emerson
%A A. P. Sistla
%T Automatic Verification of Finite-State Concurrent Systems Using Temporal
Logic Specifications
%J ACM TRANS on Programming Languages and Systems
%V 8
%N 2
%D APR 1986
%P 244-265
%K AA08
%A R. Narasimhan
%T Artificial Intelligence in 5th-Generation Computers
%J MAG99
%P 71-84
%K AI16
%A P. V. S. Rao
%A K. K. Paliwal
%T Automatic Speech Recognition
%J MAG99
%P 85-120
%K AI05
%A D. D. Majumder
%T Pattern Recognition, Image Processing and Computer Vision in 5th Generation
Computer Systems
%J MAG99
%P 139
%K AI06
%A A. Victor Cabot
%A S. Selcuk Erenguc
%T A Branch and Bound Algorithm for Solving a Class of Nonlinear Integer
Programming Problems
%J Naval Research Logistics Quarterly
%P 559-568
%K AI03
%A Terry Winograd
%A Fernando Flores
%T Understanding Computers and Cognition
%I Ablex Publishing Corporation
%C Norwood, NJ
%D 1986
%K AT15 AI08 AI16
%X 224 pages ISBN 0-89391-050-3 $24.95
%A Tsuyoshi Yamamoto
%T An Application of List Processing Artificial Intelligence to Computer
Graphics and CAD
%J Pixel
%N 40
%P 80-85
%D 1986
%K AA04 UNIX graphics T01
%A R. Hauser
%T NewCAT: Parsing Natural Language Using Left-Associative Grammar
%S Lecture Notes in Computer Science
%I Springer-Verlag
%V 231
%D 1986
%K AT15 AI02
%X 540 pages Figures, $34.80 ISBN 3-540-16781-1
%A T. Samad
%T Natural Language Interface for Computer-Aided Design
%S Kluwer International Series in Engineering and Computer Science
%V 14
%D 1986
%I Kluwer Academic Publishers
%X 188 pages, $38.95, ISBN 0-89838-222-X
%A P. E. Utgoff
%T Machine Learning of Inductive Bias
%S Kluwer INternational Series in Engineering and Computer Science
%V 15
%D 1986
%I Kluwer Academic Publishers
%X 165 pages, $37.50, ISBN 0-89838-223-8
%A S. P. Dutta
%A R. S. Lashkari
%A G. Nadoli
%A T. Ravi
%T A Heuristic Procedure for Determining Manufacturing Families
from Design-Based Grouping for Flexible Manufacturing Systems
%J Computers and Industrial Engineering
%V 10
%N 3
%D 1986
%P 193-202
%K AA26
%A Efraim Turban
%T Expert Systems- Another Frontier for Industrial Engineering
%J Computers and Industrial Engineering
%V 10
%N 3
%D 1986
%P 227-236
%K AI01
%A Michael M. Skolnick
%T Application of Morphological Transformation to the Analysis of
Two-Dimensional Electrophoretic Gels of Biological Materials
%J MAG100
%P 306-332
%K AA10 AI06
%A Stanely R. Sternberg
%T Grayscale Morphology
%J MAG100
%P 333-354
%K AI06
%A Fernand Meyer
%T Automatic Screening of Cytological Specimens
%J MAG100
%P 356-369
%K AA10 AI06
%A Xinhua Zhuang
%A Robert M. Haralick
%T Morphological Structuring Element Decomposition
%J MAG100
%P 370-382
%K AI06
%A Leonardo C. Topa
%A Robert J. Schalkoff
%T An Analytical App[roach to the Determination of Planar Surface Orientation
Using Active-Passive Image Pairs
%J MAG100
%P 404
%K AI06
%A Akira Shiozaki
%T Edge Extraction Using Entropy Operator
%J MAG101
%P 1-9
%K AI06
%A Son Pham
%T Digital Straight Segments
%J MAG101
%P 10-30
%K AI06
%A Hussein A. H. Ibraham
%A John R. Kender
%A David Elliot Shaw
%T On the Application of Massively Parallel SIMD Tree Machines to Certain
Intermediate Level Vision Tasks
%J MAG101
%P 42-52
%K H03 AI06
%A Marijke F. Augusteijn
%A Charles R. Dyer
%T Recognition and Recovery of the Three-Dimensional Planar Point Patterns
%J MAG101
%P 76-99
%K AI06
%A John Tyler
%T Sppec Recognition System Using Walsh Analysis and Dynamic Programming
%J Microprocessors and Microsystems
%V 10
%N 8
%D OCT 1986
%P 427-433
%K AI05 H01
%A N. Rushby
%T A Knowledge-Engineering Approach to Instructional Design
%J MAG102
%P 385-389
%K AA07
%A H. Barringer
%A I. Mearns
%T A Proof System for ADA Tasks
%J MAG102
%P 404-415
%K AA08 AI11
%A J. M. Hoc
%T Review of Introduction Expert Systems by M. Gondran
%J MAG103
%P 278
%K AT15 AI01
%A J. M. Hoc
%T Review of Man Faced with Artificial Intelligence by J. D. Warnier
%J MAG103
%P 280
%K AT15
%A E. Schuster
%A P. Knoflach
%A K. Huber
%A G. Grabner
%T An Interactive Processing System for Ultrasonic Compound Imaging,
Real-Time Image Processing and Texture Analysis
%J Ultrasonic Imaging
%D 1986
%V 8
%N 2
%P 131
%K AA01 AI06
%A R. Opie
%T Expert Systems Developing Applications
%J Control and Instrumentation
%V 18
%N 10
%D 1986
%P 57-60
%K AI01
------------------------------
End of AIList Digest
********************
