[mod.ai] Bibliography #3

E1AR0002@SMUVM1.BITNET (06/10/86)

%T Large-Dictionary, On-Line Recognition of Spoken Words
%I Helsinki Univ. of Technology
%D 1983
%R PB84-214246/CAO
%K AI02
%X NTIS price, PC$11.50/MF$6.50

%T LispKit Manual. Volume 1
%I Oxford University
%D 1983
%R PB84-204874/CAO
%K T01
%X NTIS price PC $17.50/MF $17.50

%T LispKit Manual. Volume 2 (Sources)
%I Oxford University
%D 1983
%K T01
%R PB84-204882/CAO
%X NTIS price PC$17.50/MF $17.50

%T Verification of Secure Systems
%I Newcastle upon Tyne Univ.
%D 1982
%R PB84-138718/CAO
%K AA08
%X NTIS price PC$13.50/MF$13.50

%T Designing Automated Systems -- Need Skill Be Lost
%I University of Manchester Institute of Science and Technology
%D AUG 1983
%R PB84-232297/CAO
%K O05
%X NTIS price PC $9.50/MF $9.50

%T Robot Manipulators: Program Control 1975- SEPT 1984
%I NTIS
%R PB 84-875384/CAO
%K AI07 AT09
%X NTIS prices PC $40.00/MF$40.00  contains over 300 references extracted
from the INSPEC database

%T Robotic Technology: An Assessment and Forecast
%I DHR, Inc.
%C Washington, DC
%D JUL 1984
%R AD-A146 672/CAO
%K AI07
%X NTIS price PC $17.50 MF $4.50

%T Robotic Safety
%I Sandia National Labs
%C Alburquerque, NM
%D MAY 1984
%R DE84-012237/CAO
%K AI07
%X NTIS prices PC $7/MF$4.50




%A Chanderjit Bajaj
%T An Efficient Parallel Solution for
Euclidean Shortest Paths in Three Dimensions
%B BOOK28
%K O06

%A P. Morasso
%A F. A. Mussa-Ivaldi
%T The Role of Physical Constraints in Natural and Artificial Manipulation
%B BOOK28
%K AI07

%A S. Dubowsky
%A M. A. Norris
%A Z. Shiller
%T Time Optimal Trajectory Planning for Robotic Manipulators with Obstacle
Avoidance: A CAD Approach
%B BOOK28
%K AI07 AI09

%A E. Dombre
%A A. Fournier
%A C. Quaro
%A P. Borrel
%T Trends in CAD/CAM Systems for Robotics
%B BOOK28
%K AI07

%A A. L. Pai
%A K. Lee
%A K. Palmer
%A D. G. Selvidge
%T Automated Visual Inspection of Aircraft Engine Combustor Assemblies
%B BOOK28
%K AI06 AA26

%A Thomas M. Kisko
%A Eginhard J. Muth
%T Multiple-Stage Assembly of Personal Computers in Robotic Workcells
with Vision Support
%B BOOK28
%K AI07 AI06 AA26

%A E. B. Silverman
%A R. K. Simmons
%A F. E. Gelhaus
%A J. Lewis
%T Surveyor: A Remotely Operated Mobile Surveillance System
%B BOOK28
%K AI07 AI06 AA19 AA04

%A Edward N. Scheibel
%A Henry R. Busby
%A Kenneth J. Waldron
%T Design of a Mechanical Proximity Sensor
%B BOOK28
%K AI07

%A Corinne C. Ruokangas
%A Michael S. Black
%T Integration of Multiple Sensors to Provide Flexible Control Strategies
%B BOOK28
%K AI07 AI06

%A Keishi Hanahara
%A Tsugito Maruyama
%A Takashi Uchiyama
%T High-Speed Hough Transform Processor and its Applications to Automatic
Inspection and Measurement
%B BOOK28
%K AI06

%A H. D. Cheng
%T VLSI Architecture for Dynamic Time-Warp Recognition of Hand-Written Symbols
%B BOOK28
%K AI06

%A E. Hu
%A S. Mangiaracina
%A M. Peters
%A A. Harkin
%A S. Hackword
%A G. Beni
%T Inference in Intelligent Machines: Applications to a Thermal Evaporator
%B BOOK28
%K  AA05 AI01

%A Zixing Cai
%A K. S. Fu
%T Robot Planning Expert Systems
%B BOOK28
%K AI07 AI01

%A Zixing Cai
%T Some Research Works on Expert Systems in AI Course at Purdue
%B BOOK28
%K AI01 AT18

%A Jean Patrick Tsang
%A Yves Lagoude
%T Representation and Manipulation of Process Plans in Generic Expert Systems
%B BOOK28
%K AI01 AA05 AI09

%A Mark Thomas
%T ALV Reasoning Systems
%B BOOK28
%K AA19

%A David Morgenthaler
%T ALV Perception System
%B BOOK28
%K AA19 AI06

%A Jim Lowrie
%A R. Douglass
%T Autonomous Road Following
%B BOOK28
%K AI07 AA19 AI06

%A T. Kanade
%T Panel Discussion: Possibilities in ALV Research
%B BOOK28
%K AA19

%A Joseph Y. Halpern
%T Reasoning About Knowledge: An Overview
%B BOOK38
%K AA16

%T Theoretical Aspects of Reasoning About Knowledge
%A Joseph Y. Halpert
%I Morgan Kaufman Publishers, Inc.
%C Palo Alto, CA
%D 1986
%K AA16 AT15
%X ISBN 0-934613-0404 $18.95

%A Ryszard S. Michalski
%A Jaime G. Carbonell
%A Tom M. Mitchell
%T Machine Learning : An Artificial Intelligence Approach, Volume II
%I Morgan Kaufman Publishers, Inc.
%C Palo Alto, CA
%D 1986
%K AI04 AT15
%X ISBN 0-934613-00-1  $39.95 738 pages

%A Ronald J. Brachman
%A Hector J. Levesque
%T Readings in Knowledge Representation
%I Morgan Kaufman Publishers, Inc.
%C Palo Alto, CA
%D 1986
%K AA16 AT15
%X ISBN 0-934613-01-X $26.95 571 pages

%A Perry L. Miller
%T A Critiquing Approach to Expert Computer Advice: Attending
%I Morgan Kaufman Publishers, Inc.
%C Palo Alto, CA
%D 1984
%K AI01 AA01 anesthesiology O01 AT15 O01
%X ISBN 0-273-08665-0 $19.95 112 pages

%A Richard Korf
%T Learning to Solve Problems by Searching for Macro-Operators
%I Morgan Kaufman Publishers, Inc.
%C Palo Alto, CA
%D 1985
%K AI09 AI04 AT15
%X ISBN 0-273-08690-1 $22.95

%A Pual R. Cohen
%T Heuristic Reasoning About Uncertainty An Artificial Intelligence
Approach
%I Morgan Kaufman Publishers, Inc.
%C Palo Alto, CA
%D 1985
%K O06 AT15
%X ISBN 0-273-08667-7 $22.95

%A Andrew J. Palay
%T Searching with Probabilities
%I Morgan Kaufman Publishers, Inc.
%C Palo Alto, CA
%D 1985
%K AT15 chess AI03 AA17 O04
%X ISBN 0-273-08664-2 $22.95 192 pages

%A Yuichi Ohta
%T Knowledge-Based Interpretation of Outdoor Natural Color Scenes
%I Morgan Kaufman Publishers, Inc.
%C Palo Alto, CA
%D 1985
%K AT15 AI06
%X ISBN 0-273-08673-1  $19.95

%A Susanne P. Graf
%A J. Sifakis
%T From Synchronization Tree Logic to Acceptance Model Logic
%B BOOK35
%P 128-142
%K AA08

%A A Sam Kamin
%T A FASE specification of FP
%B BOOK35
%P 143-152
%K AA08

%A R. Koymans
%A R. K. Shyamasundar
%A W. P. de Roever
%A R. Gerth
%A S. Arun-Kumar
%T Compositional Semantics for Real-Time Distributed
computing
%B BOOK35
%P 167-189
%K AA08

%A F. Kroger
%T On Temporal Program Verification Rules
%J RAIRO Inform. Theor
%V 19
%D 1995
%N 3
%P 261-280
%K AA08

%A J. L. Lassez
%A Michael John Maher
%T Optimal Fixed Points of Logic Programs
%J Theoretical Computer Science
%V 39
%D 1985
%N 1
%P 15-25
%K AI10

%A Daniel Leivant
%T Partial-Correctness Theoreis as First-Order Theories
%B BOOK35
%K AA08 AI11
%P 190-195

%A Albert R. Meyer
%A Mitchell Wand
%T Continuation Semantics in Typed Lambda-Calculi
%B BOOK35
%K AA08

%A B. Mishra
%A E. Clarke
%T Hierarchical Verification of Asynchronous Circuits Using
Temporal Logic
%B BOOK35
%K AA04

%A Eugene C. Freuder
%T A Sufficient Condition for Backtrack-Bounded Search
%J JACM
%V 32
%N 4
%D 1985
%P 755-761
%K AI03

%A Irina Bercovici
%T Unsolvable Terms in Typed Lambda Calculus with Fixed
Point Operators
%B BOOK35
%P 16-22
%K AA08

%A Val Breazu-Tannen
%A Albert R. Meyer
%T Lambda Calculus with Constrained Types
%B BOOK35
%P 23-40
%K AA08

%A Stephen D. Brookes
%T An Axiomatic treatment of a Parallel Programming
Language
%B BOOK35
%P 41-60
%K AA08

%A A A. Ya Dikovskii
%T Solution in Linear Time of Algorithmic Problems
Connected with Synthesis of Nonlooping Programs
%J Programmirovanie
%V 1985
%N 3
%P 38-49
%K AA08
%X in Russian

%A E. Allen Emerson
%T Automata, Tableaux and Temporal Logics
%B BOOK35
%P 79-88
%K AA08

%A Nissim Francez
%A Orna Grumberg
%A Shmuel Katz
%A Amir Pnueli
%T Proving Termination of Prolog Programs
%B BOOK35
%P 89-105
%K AA08 O02

%A J. Padget
%T Current Developments in Lisp
%B BOOK39
%P 45-57
%K T01

%A A. W. Biermann
%T Algorithmic Methods in Automatic Programming
%B BOOK39
%P 124-135
%K AA08

%A G. Kreisel
%T Proof Theory and the Synthesis of Progrmas - Potentials and Limitations
%B BOOK39
%P 136-150
%K AA08

%A T. Coquand
%A G. Huet
%T Constructions - A Higher Order Proof System for Mechanizing Mathematics
%B BOOK39
%P 151-184
%K AA13

%A C. A. R. Hoare
%T The Mathematics of Programming
%B BOOK40
%P 1-18
%K AA08

%A G. Agha
%A C. Hewitt
%T Concurrent Programming Using Actors - Exploiting Large-Scale Parallelism
%B BOOK40
%P 19-40
%K H03

%A C. Ghezzi
%A D. Mandrioli
%A A. Tecchio
%T Program Simplification via Symbolic Interpretation
%B BOOK40
%P 116-128
%K AA08

%A J. Hsiang
%A M. Srivas
%T PROLOG Based Inductive Theorem Proving
%B BOOK40
%P 129-149
%K T02 AI11

%A J. Veenstra
%A N. Ahuja
%T Deriving Object Octree from Images
%B BOOK40
%P 196-211
%K AI06

%A Z. Manna
%A R. Walding
%T Deduction with Relation Matching
%B BOOK40
%P 212-224
%K AI14 AI11

%A F. V. Jensen
%A K. G. Larsen
%T Recursively Defined Domains and their Induction Principles
%B BOOK40
%P 225-245
%K AA08

%A G. Venkatesh
%T A Decision Method for Temporal Logic Based on Resolution
%B BOOK40
%P 272-289
%K AI11 AI14

%A A. Chandra
%T Who Needs to Verify Programs if you Can Test Them
%B BOOK40
%P 346
%K AA08

%A V. A. Saraswat
%T Partial Correctness Semantics for CP [Down-and]
%B BOOK40
%P 347-368
%K AA08

%A E. W. Stark
%T A Proof Technique for Rely Guarantee Properties
%B BOOK40
%P 369-391
%K AA08 AI11

%A G. Winskel
%T A Complete Proof System for SCCS with Modal Assertions
%B BOOK40
%P 392-410
%K AA08

%A R. D. Schraft
%A J. Schuler
%T Robot Applications in FMS
%B Flexible Manufacturing Systems
%E H. J. Warnecke
%E R. Steinhilper
%I Springer-Verlag
%C Berlin
%D 1985

%A A. A. Goldenberg
%A A. Bazerghi
%T Synthesis of Robot Control for Assembly Processes
%J Mechanism and Machine Theory
%V 21
%N 1
%D 1986
%P 43-62
%K AI07 AA26

%A H. J. Warnecke
%A B. Frankenhauser
%T Assembly of Flexible Parts with Industrial Robots
%J MAG30
%P 8-11
%K AI07 AA26

%A P. Nicolaisen
%T Improved Worker Safety in the Programming of Industrial Robots
%J MAG30
%P 12-14
%K AI07

%A K. H. Wurst
%A M. Bauder
%T Control Structures and Information Exchange for Linked Industrial
Robots
%J MAG30
%P 15-17
%K AI07 H03

%A Jeffrey Kerr
%A Bernard Roth
%T Analysis of Multifingered Hands
%J MAG31
%P 3-17
%K AI07

%A Mark L. Hornick
%A Bahram Ravani
%T Computer Aided Off-Line Planning and Programming of Robot Motion
%J MAG31
%P 18-31
%K AI07

%A John Hopcroft
%A Gordon Wilfgong
%T Motions of Objects in Contact
%J MAG31
%P 32-46
%K AI07

%A Katsutoshi Kuribayashi
%T A New Actuator of a Joint Mechanism Using TiNi Alloy Wire
%J MAG31
%P 47-58
%K AI07

%A Jorge Angeles
%T Iterative Kinematic Inversion of General Five-Axis Robot Manipulators
%J MAG31
%P 59-70
%K AI07

%A James P. Trevelyan
%a Peter D. Kovesi
%A Michael Ong
%A David Elford
%T ET: A Wrist Mechanism without Singular Positions
%J MAG31
%P 71
%K AI07


%A K. G. Kempf
%T Manufacturing and Artificial Intelligence
%B BOOK41
%P 1-20
%K AA26

%A P. Raulefs
%T Knowledge Processing Expert Systems
%B BOOK41
%P 21-32
%K AI01

%A W. Wahlster
%T Cooperative Access Systems
%B BOOK41
%P 33-46
%K AI16

%A C. W. Burckhardt
%T The Next Generation of Robots - Increased Flexibility Through the
Use of Sensors
%B BOOK41
%P 47-50
%K AI07

%A B. Neumann
%T Vision Systems - State of the Art and Prospects
%B BOOK41
%P 51-62
%K AI06

%A G. Albers
%T Expert Systems and Knowledge Engineering - Robotics and
Intelligent Interfaces - Summary of Discussions
%B BOOK41
%P 63-66
%K AI01 AI07

%A B. Rees
%T Artificial Intelligence in a Large-Scale Enterprise - the
Experience of Digital Equipment Corrporation
%B BOOK41
%P 67-76

%A D. Sagalowicz
%T Expert Systems in Service Sectors - Use of Expert Systems in 6
Sample Cases
%B BOOK41
%P 77-80
%K AA06 AI01

%A H. Thompson
%T Office Automation - A Field for Applied Artificial Intelligence
%B BOOK41
%P 81-86
%K AA06

%A C. J. Jenny
%T Requirements on Expert Systems as Seen by an Insurance Company
%B BOOK41
%P 87-96
%K AI01 AA06

%A G. Eibl
%T Current Work on Expert Systems and Natural Language Processing
at Siemens
%B BOOK41
%P 97-106
%K AI01 AI02

%A W. Sieber
%T Computer Assisted Synthesis - a Project of the Chemical Industry
%B BOOK41
%P 107-110
%K AA16 AA05

%A R. L. Langley
%T A Case Study of the Dipmeter Advisor Development
%B BOOK41
%P 111-118
%K AA03 AI01

%A S. E. Savory
%T FF - A Nixdorf Expert System for Fault-Finding and Fault
Finding - An Outline Description
%B BOOK41
%P 119-128
%K AI01 AA21

%A J. F. Hery
%T A Prototype Expert System in PWR Power Plant Conducting
%B BOOK41
%P 129-134
%K AA05

%A H. Marchand
%T Knowledge Engineering in CAE - First Industrial Experiences
%B BOOK41
%P 135-142
%K AA05

%A J. C. Latombe
%T Advanced Information Processing in Robotics
%B BOOK41
%P 143-160
%K AA05

%A D. C. Schwartz
%T The Lisp Machine Architecture
%B BOOK41
%P 161-168
%K H02

%A K. Wiig
%T Market Trends in Artificial Intelligence in the United
States and Japan
%B BOOK41
%P 169-184
%K GA01 GA02  AT04

%A A. W. Pearson
%T Speculations on the Future of Knowledge Engineering in Europe I,II
%B BOOK41
%P 185-188
%K GA03

%A H. W. Husch
%A E. Staudt
%T The Influence of Artificial Intelligence on Organizational Structure and Rati
onalization
%B BOOK41
%P 189-200
%K O05

%A T. Bernold
%T Possibilities and Limitations of Artificial Intelligence
%B BOOK41
%P 205-208
%K AI16

%A S. A. Cerri
%T Problems of the Infrastructure - the Bottlenecks in Research and Training
%B BOOK41
%P 209-212
%K AT19

%A B. Oakley
%T Research Policy of Administrations - Great Britain (ALVEY)
%B BOOK41
%P 213-218
%K AT19 GA03

%A H. Gallaire
%A W. Bibel
%A B. Oakley
%T Cooperation Between University, Government and Industry
%B BOOK41
%P 217-220
%K AT10

%A M. Boden
%T Artificial Intelligence and Natural Man
%B BOOK41
%P 221
%K AI16 O05

%A Benjamin W. Wah
%A Guo-Jie Li
%T Tutorial: Computers for Artificial Intelligence Applications
%I IEEE Computer Society
%D MAY 1986
%K AT15
%X list price $49.00 member price $36.00 order no CZ706
ISBN 0-8186-0706-8 648 pages

%A A C. S. George Lee
%A R. C. Gonzalez
%A K. S. Fu
%T Tutorial: Robotics (Second Edition)
%I IEEE Computer Society
%D APRIL 1986
%K AI07 AT15
%X Order NO. CZ658, ISBN 0-8186-0658-4 list price $70.00
member price $39.00 744 pages

%A Rama Chellappa
%A Alexander A. Sawchuk
%T Tutorial: Digital Image Processing and Analysis
Volume 2: Digital Image Analysis
%I IEEE Computer Society
%D DEC 1985
%K AI06 AT15
%X ISBN 0-8186-0666-5 Order No. CZ666 list price
$66.00 member price $36.00, 680 pages

%A Rama Chellappa
%A Alexander A. Sawchuk
%T Tutorial: Digital Image Processing and Analysis
Volume I: Digital Image Processing
%I IEEE Computer Society
%D JUN 1985
%K AI06 AT15
%X ISBN 0-8186-0665-7 order No.  CZ665
list price $66.00 member price $36.00 736 pages



%A J. Gauvin
%T Robots 10 Stresses Integration
%J MAG32
%P 53-58
%K AI07

%A J. P. Ziskovsky
%T Robots - A Piece of the Automation Pie
%J MAG32
%P 14
%K AT12 AA26 AI07

%A N. S. Rajaram
%T Artificial Intelligence: Its Impact on the Process Industries
%J MAG33
%P 33-44
%K AA20 AA16

%A G. Allmendinger
%T AI: Can Performance Match the Promise?
%J MAG33
%P 45-50
%K AA16

%A R. S. Shirley
%A D. A. Fortin
%T Developing an Expert System for Process Fault Detection
and Analysis
%J MAG33
%P 51-56
%K AA05 AA20 AA21 AI01

%A A. E. Nisenfeld
%A M. A. Turk
%T Batch Reactor Control: Could an Expert Advisor Help?
%J MAG33
%P 57
%K AA05 AA20 AI01

%A G. Spur
%A G. Seliger
%A T. V. Diep
%T Sensor Based Assembly System
%J MAG34
%P 3-8
%K AI07 AA26
%X (in German)

%A U. Vongunten
%A C. W. Burckhardt
%T Sensors for Robots - Searching, Touching, Grasping
%J MAG34
%P 9-16
%K AI07 AI06
%X (in German)

%A G. Zimmer
%A B. Hosticka
%T Integration of Sensors Using VLSI Technologies
%J MAG34
%P 17-26
%K AI07
%X (in German)

%A W. Weber
%A H. Britwieser
%T Control of Servomanipulator by the Inverse Model
%J MAG34
%P 27-36
%K AI07
%X (in German)

%A U. Ahrens
%A G. Drunk
%A A. Langen
%T Sensor Interfaces of Robot Control Systems
%J MAG34
%P 37-46
%K AI07
%X (in German)

%A G. Pritschow
%A G. Gruhler
%T Sensors for Geometry and Processing of Sensor Data for Automatical Robot
Programming
%J MAG34
%P 47-54
%K AI07 AI06
%X (in German)

%A T. J. Doll
%T Non-Tactile Sensors for Robots and Planning of Sensor Application
%J MAG34
%P 55
%K AI07 AI06
%X (in German)

%A M. C. Wanner
%T Industrial Robots in Japan in 1984
%J MAG34
%P 54
%K AI07 GA01
%X (in German)

%T VAl-II, a New Robot Programming Language
%J MAG34
%P 63
%K AI07
%X (in German)


%A L. A. Walils
%A A. Bendell
%T Human Factors and Sampling Variation in Graphical Identification and
Estimation for the Weibull Distribution
%J Reliability Engineering
%V 13
%N 3
%D 1985
%K AI08

%A C. A. J. Braganca
%A P. Sholl
%T Val-II, A Language for Hierarchical Control of a Robot-Based Automated
Factory
%J MAG35
%P 265-272
%K AI07 AA26

%A P. T. Rayson
%T A Review of Expert Systems Principles and Their Role in Manufacturing
Systems
%J MAG35
%P 279
%K AI07 AA26 AT08

%A W. E. Red
%A Hung-Viet Truong-Cao
%T Configuration Maps for Robot Path Planning in Two Dimensions
%J MAG36
%P 292-298
%K AI07 AI09

%A O. Z. Maimon
%A S. Y. Nof
%T Coordination of Robots Sharing Assembly Tasks
%J MAG36
%P 299-307
%K AI07 AA26

%A S. N. Singh
%A A. A. Schy
%T Robust Trajectory Following Control of Robotic Systems
%J MAG36
%P 308-315
%K AI07

%A A. J. Kolvo
%T Self-Tuning Manipulator Control in Cartesian Base Coordinate Systems
%J MAG36
%P 316-323
%K AI07

%A G. W. Kohler
%T Power Manipulators
%J MAG37
%P 195-202
%K AI07

%A U. Ahrens
%T Possibilities and Problems in Application of Airborne Ultrasonic
Sensors in Assembly Systems and Handling Systems
%J MAG37
%P 203-210
%K AI06 AI07 AA26

%A D. Wloka
%A K. Blug
%T Simulation of Robot Dynamics with the Method of Kane
%J MAG37
%P 211-216
%K AI07

%A M. C. Wanner
%A K. Baumeister
%A G. W. Kohler
%A H. Walze
%T Robotics in Civil Engineering
%J MAG37
%P 227-236
%K AI07 AA05

%A C. Blume
%A B. Heck
%T Analysis of Inherent Concurrency in High Level Programming Languages
for Industrial Robots
%J MAG37
%P 237-230
%K AI07 H03

%A P. Nitezki
%T Experience with SPIDER- A Portable Subroutine Library for Image Processing
%J MAG37
%P 231-233
%K AI06

%A R. Dillmann
%A M. C. Wanner
%T The Esprit Project in the Area of Robotics
%J MAG37
%P 234
%K GA03 AI07

%A Robert L. Stewart
%A Douglas R. Ousborne
%T An Experimental Expert Weapon Detection System
%J Naval Engineers Journal
%V 98
%N 3
%D MAY 1986
%P 24-34
%K AA18 AI01

%A M. Raghaven
%A S. I. Mehta
%A U. Pathie
%A K. V. Vaishampayan
%T Mechanical Design of an Industrial Robot
%J Indian Journal of Technology
%V 24
%N 3
%D MAR 1986
%P 149-152
%K AI07

%A Mark Wynott
%T Close-Up: Artificial Intelligence Provides Real-Time Control of Material
Handling Process
%J Industrial Engineering
%V 18
%N 4
%D APR 1986
%P 34-46
%K AA26 AA05 O03

%A M. C. Golumbic
%A M. Markovich
%A S. Tsur
%A U. J. Schild
%T A Knowledge Based Expert System for Student Advising
%J IEEE Transactions on Education
%V 29
%N 2
%D MAY 1986
%P 120-124
%K AA06 AI01

%A A. B. Ritter
%A W. Braun
%A A. Stein
%A W. Duran
%T Visualization of the Coronary Microcirculation Using Digital Image
Processing
%J Computers in Biology and Medicine
%V 15
%N 6
%D 1985
%P 361-375
%K AI06 AA10

%A D. Umphress
%A G. Williams
%T Identity Verification Through Keyboard Characteristics
%J MAG38
%P 263-274
%K AI06

%A R. J. Baron
%T Visual Memories and Mental Images
%J MAG38
%P 275-312
%K AI08

%A B. A. Julstrom
%A R. J. Baron
%T A Model of Mental Imagery
%J MAG38
%P 313
%K AI08

%A J. Bajon
%A M. Cattoen
%A S. D. Kim
%T A Concavity Characterization Method for Digital Objects
%J Signal Processing
%V 9
%N 3
%D OCT 1985
%K AI06