IJCAI 1981 VOL 2

24-28 August 1981 University of British Columbia Vancouver, B.C., Canada

VISION: 3-D 1
Recognition of 3-D Objects Using the Extended Gaussian Image 595
Object Recognition Using Three-Dimensional Information 601
On Shapes 607
VISION: 3-D 2
The Interpretation of Three-Dimensiona1 Structure from Image Curves 613
Model-Based Three Dimensional Interpretations of Two Dimensional Images 619
Structuring Domain Knowledge For Visual Perception

 Alan K. Mackworth, William S. Havens

625
Experiments In Knowledge-Driven Interpretation of Natural Scenes 628
VISION: 3-D 3
Depth from Edge and Intensity Based Stereo

 H. Harlyn Baker, Thomas 0. Binford

631
A RANSAOBased Approach to Model Fitting and Its Application to Finding Cylinders in Range Data

 Robert     C Bolles, Martin A. Fischler

637
Computing Optic Flow 644
3D Object Representation and Matching with B-Splines and Surface Patches

 Bryant W. York, Allen R. Hanson,

648
VISION: 3-D 4
Shape from Shading for Surfaces with Texture and Specularity 652
Triangulation of 3-D Objects 658
On 3D Reconstruction from Two Perspective View 661
Polyhedra of Minimal Area as 3D Object Models 664
VISION: 3-D 5
A Feature-Based Scene Matcher 667
An Iterative Image Registration Technique with an Application to Stereo Vision 674
A Structural Method of Scene Analysis 680
A Parallel Computation that Assigns Canonical Object-Based Frames of Reference 683
VISION: MOTION 1
Structure from Motion of Rigid and Jointed Objects 686
Volumetric Model and 3D-Trajectory of a Moving Car Derived from Monocular TV-Frame Sequence of a Street Scen 692
A Simple Method for Recovering a Relative Dept Map in the Case of a Translating Sensor 698
Optic Flow Field Structure And Processing Image Motion 700
VISION: MOTION 2
Real-Time Natural Scene Analysis for a Blind Prosthesis

 Michael F. Deering, Carter Collins

704
Knowledge-Based Identification of Artery Branches in Cine-Angiograms 710
Determining Velocity Map By 3-D Iterative Estimation 716
Inferential Region Extraction in TV-Sequences 719
VISION: LOW-LEVEL 1
Design Of A Highly Parallel Visual Recognition System 722
Hierarchical Description of Textures 728
Dynamically Quantized Pyramids 734
Dynamically Quantized Spaces for Focusing the Hough Transform 737
VISION: LOW-LEVEL 2
Perceptual Problems in Analyzing Industrial Radiographs 740
Obtaining Surface Orientation from Texels under Perspective Projection

 Yu-ichi Ohta, Kiyoshi Maenobu, Toshiyuki Sakai

746
Intensity Discontinuity Location to SubPixel Precision

 P.J, WacVicar-Whelan, T.O. Binford

752
Reasoning About Images: Application to Atrial Image Understanding

Peter G. Selfridge, Kenneth R. Sloan, Jr

755
ROBOTICS 1
Spatial Problems for a Simulated Robot 758
GARI: A Problem Solver That Plans How to Machine Mechanical Parts

 Yannick Descotte, Jean-Claude Latombe

766
Algorithms of the Complex Tactile Information Processing 773
Design Concept of Direct-Drive Manipulators Using Rare-Earth DC Torque Motors 775
ROBOTICS 2
A Locomotion Control System for Mobile Robots

 Jun'ichi lijima, Yutaka Kanayama,

779
Rover Visual Obstacle Avoidance 785
Tactile Sensation for Robots

 Kenneth J. Overton, Thomas Williams

791
ROBOTICS 3
A New Approach to the Problem of Acquiring Randomly Oriented Workpieces Out of a Bin
Advanced Automaton For Space Missions

 Robert A. Freitas, Jr., Timothy J. Healy,

803
An Object-Oriented Language for Constructing Simulations 809
EXPERT SYSTEMS 1
Explaining and Justifying Expert Consulting Programs 815
Extending a Knowledge-Based System to Deal with Ad Hoc Constraints 824
NEOMYCIN: Reconfiguring a Rule-Based Expert System for Application to Teaching

William J. Clancey, Reed Letsinger

829
EXPERT SYSTEMS 2
Inexact Inference for Rule-Based Damage Assessment of Existing Structures

Mitsuru Ishizuka, King-Sun Fu

837
DART: An Expert System for Computer Fault Diagnosis

 James S. Bennett, Clifford R. Hollander

843
The D1PMETER ADVISOR: Interpretation of Geologic Signals

 Randall Davis, Howard Austin, Ingrid Carlbom, Bud Frawley, Paul Pruchnik,

846
Knowledge Structure Definition for an Expert System in Primary Medical Care

 Werner Horn, Walter Buchstaller

850
Developing Microprocessor Based Expert Models for Instrument Interpretation

 Sholom M. Weiss, Ca6imir A. Kulikowki,

853
EXPERT SYSTEMS 3
Acquisition of Procedural Knowledge from Domain Experts

Peter E. Friedland

856
How Expert Should an Expert System Be? 862
Computational Methods for a Mathematical Theory of Evidence 868
 EXPERT SYSTEMS 4
0NC0C1N: An Expert System for Oncology Protocol Management

Edward H. Shortliffe, A. Carlisle Scott, Miriam B. Bischoff, A. Bruce Campbell, William van Melle, Charlotte D. Jacobs .

 876
A Rule-Based Task Generation System

 D.H. Sleeman

 882
Application Design: Issues in Expert System Architecture Harry C. Reinstein, Janice S. Aikins  888
MEDICAL APPLICATIONS
Causal Understanding of Patient Illness in Medical Diagnosis

Ramesh S. Patil, Peter Szolovits,

893
Temporal Event Recognition: An Application to Left Ventricular Performance 900
A Precedence Scheme for Selection and Explanation of Therapies 908
Time-Oriented Features for Medical Consultation Systems

T. Koyama, S. Kaihara, T. Minamikava

910
PROGRAMMING ENVIRONMENTS 1
Layered Networks as a Tool for Software Development

Ira P. Goldstein, Daniel G. Bobrow

913
A Knowledge-Based Program Editor 920
Overview of a Display-Oriented Editor for INTERLISP 927
PEARL - A Package for Efficient Access to Representations in LISP

 Michael Deering, Joseph Faletti,

930
PROGRAMMING ENVIRONMENTS 2
UNIFORM: A Language Based upon Unification which Unifies (Much of) LISP, PROLOG, and ACT 1 933
Brand X: LISP Suport for Semantic Networks

 

940
Last Steps Towards an Ultimate PROLOG

 A. Colmerauer, H. Kanoui, M. Van Caneghem

947
HARDWARE
Concurrent LISP on a Multi-Micro-Processor System

 Shigeo Sugimoto, Koichi Tabata, Tabata, Kiyoshi Agusa, Yutaka Ohno

949

ZMOB: A New Computing Engine for AI

Chuck Rieger, Randy Trigg, Bob Bane

955
NON-VON: A Parallel Machine Architecture for Knowledge-Based Information Processing

 David Elloit Shaw

961
COMPUTER AIDED INSTRUCTION
Domain Specific Debugging Aids for Novice Programmers

  Joachim Laubsch, Hare Eisenstadt

964
LOGO as an Information Prosthetic for Communication and Control 

 Sylvia Weir

 970
Meno-II: An Intelligent Tutoring System for Novice Programmers

 Elliot M. Soloway, Beverly Woolf, Eric Rubin, Paul Barth

 975
MAN-MACHINE INTERACTION
An Information Presentation System

Frank Zdybel, Norton R, Greenfeld, Martin D, Yonke, Jeff Gibbons

 976
Large Human-Machine Information Spaces

 Chuck Rieger, Richard Wood, Elizabeth Allen

 985
ZAPSIB Linguistics Processors: Modularity and Adaptability D.Ya. Levin, A.S. Narun'yani-NA ***
AUTOMATIC PROGRAMMING 1
The Conceptual Calculus For Automatic Program Understanding

D. Goossens

992
Automatic Synthesis of Numerical Computer Programs

Richard H. Brown

996
PAPE: An On-Line System for Inferring  Procedures from Sets of Their Traces

 F.Y. Villemin

1004
Inversion of Applicative Programs

 

1007
AUTOMATIC PROGRAMMING  
Use of Data Representation Mapping in Automatic Generation of Data Base Access Procedures

Koichi Furukawa

1010
Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees C. Kirchner, H, Kirchner, J.P. Jouannaud 1016
Algebraic Approximations

 David A. McAllester

1024
A Design for an Automatic Programming System

 Douglas R. Smith

1027
 FROGRAM SYNTHESIS  
An Advisory System for Developing Data Representations

 Shmuel Katz, Ruth Zimmerman

1030
APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms

 Ulrich Bartels, Walter Olthoff, Peter Raulef

1037
A. Formal Representation for Plans in the Programmer's Apprentice

 Charles Rich   

1044
FROGRAM DEMONSTRATIONS  
STAMMER2: A Rule-Based Application

Robert J. Bechtel      

1053
A Set of APL Functions to Play New Eleusis

 Michael J. A. Berry  

 1054
MDX and Related Medical Decision-Making Systems

 B. Chandrasekaran, S. Mittal, J. W. Smith

1055
Demonstrating PROLOG on APPLF TT

 A. Colmerauer, H, Kanoui, M. van Caneghem M. van Caneghem

1056
BORIS An In-Dept Understander of Narratives

 Michael G. Dyer, Thomas C. Wolf, Martin Korsin    

1057
Factory Modelling, Simulation, and Scheduling in the Intelligent Management System

Mark S. Fox     

1058
1PP Program Description

 

1059
Tinker: Example-Based Programming for Artificial Intelligence

Henry Lieberman

1060
Compound: A Program that Understands Noun Compounds

 David B. McDonald    

 1061
HUMBLE: A Flexible System for Language Production

 David D. McDonald    

1062
Physics Problem Solving: ISAAC-II

 Gordon S. Novak Jr  

1063
The Use of Interactive Graphics in a Knowledge-Based Systems Harry C. Reinstein, Janice S. Aikins ***
The Model Inference System

 Ehud Y. Shapiro  

 1064
FILMS  
MARK 1 Robot

John K. Dixon, Susan A. Bouchard, William G. Kennedy, James R. Slagle  

1065
KEYSIGHT: Computer Vision Inspection of Valve Spring Assemblies on Engine Heads

W.A. Perkins

1066
Knowledge Sources In Vision

Steven Rubin

1067
Parameter Networks: Towards a Theory of Low-Level Vision

 Dana H. Ballard

1068
Six Topics in Search of a Parser: An Overview of Al Language Research

Eugene Charniak

1079
Shape Representation in Parallel Systems

Geoffrey E. Hinton     

 1088
A Psychologist Views Human Processing: Human Errors and Other Phenomena Suggest Processing Mechanisms

 Donald A. Norman

1097
Computer Vision and Human Perception

: An Essay on the Discovery of Constraints Steven W. Zucker  

1102