IJCAI-77

AUGUST 22 - 25 , 1977

VOLUME TWO

************ VOLUME TWO **********

VISION - 1 (M,D)

Verification Vision for Programmable Assembly 

R. C. Bolles    569

A Stereo Vision System for an Autonomous Vehicle

D B Gennery    576

A System for Stereo Computer Vision with Geometric Models

D. J. Burr & R. T. Chien   583

Towards Automatic Visual Obstacle Avoidance

H. P. Moravec   584

VISION - 2 (t,a)

Recognition Using Semantic Constraints

M. 0. Shneier    585

The LOCUS Model of Search and its Use in Image Interpretation

S. Rubin & R. Reddy    590

Steps Towards the Representation of Complex Three-Dimensional Objects

R. K. Bajcsy & B. I. Soroka    596

A 'Recognition Cone' Perceptual System: Brief Test Results

L. Uhr & R. J. Douglass   597

VISION - 3 (T,D)

On Reading Sketch Maps

A. K Mackworth    598

Generation of Descriptions for Line Drawings

A. H. Dixon    607

Computer Interpretation of PEANUTS Cartoons

M. R. Adler     608

Understanding a Simple Cartoon Film by a Computer Vision System

S. Tsuji, A. Monzono & S. Kuroda    609

Some Notes on Motion Understanding

J. K. Tsotsos    611

VISION - 4 (W,A)

Separating Non-Stationary from Stationary Scene Components in a Sequence of Real World TV Images

R. Jam, D. Militzer & H.-H. Nagel   612

Change Detection and Analysis in Multispectral Images

K. Price & R. Reddy    619

Analysing Sequences of TV-Frames

H.-H. Nagel   626

A Methodology for Real Time Scene Analysis

D. C. Hogg    627

VISION - 5 (W,C)

Reconstruction of Curved-Surface Bodies from a Set of Imperfect Projections

R. Shapira & H. Freeman   628

A Cooperative Algorithm for Determining Surface Orientation from a Single View

R. J. Woodham   635

Segmentation Processes in the VISIONS System

J. Prager, P. Nagin, R. Kohler, A. Hanson & E. M. Riseman   642

Model-Building in the Visions System

T. Williams, J. Lowrance, A. Hanson & E. M. Riseman   644

Between Regions and Objects - Surfaces and Volumes

K. Konolige, B. York, A. Hanson & E. M. Riseman   646

Towards a Science of Image Understanding

B. K. P. Horn   648

VISION - 6 (W,D)

Three-Dimensional Modeling

H. Baker  649

Human Vision Paradox Implicates Relaxation Model

F. S. Montalvo  656

Recognition and Depth Perception of Objects in Real World Scenes

R. J. Douglass   657

Image Compression and Reconstruction Using Feature Extraction

R. T. Chien & L J. Peterson  658

vision - 7 (HA)

Parametric Correspondence and Chamfer Matching: Two New Techniques for Image Matching

H. G. Barrow, J. M. Tenenbaum, R. C. Bolles & H. C. Wolf   659

An Approach to Knowledge-Directed Image Analysis

D. H. Ballard, C. M. Brown & J. A. Feldman   664

A Computer System for Visual Recognition Using Active Knowledge

E. C. Freuder   671

VISION - 8 (H,C)

Model-Based Vision System for Scenes Containing Multiple Parts

W. A. Perkins  678

An Automatic Position Recognition Technique for LSI Assembly

M. Mese, T. Miyatake, S. Kasaioka, M. Etiri, I. Yamazaki & T. Hamada   685

Image Segmentation Technique for Locating Automotive Parts on Belt Conveyors

M. L Baird   694

Experiments in Map-Guided Photo Interpretation

H. G. Barrow, R. C. Bolles, T. D. Garvey, J. H. Kremers, J. M. Tenenbaum & H. C. Wolf   696

Automatic Rib Detection in Chest Radiographs

C. M. Brace, J. H Kulick & T. W. Challis  697

Knowledge-Base Driven Analysis of Cinecardioangiograms

J. K. Tsotsos   699

VISION - 9 (H,D)

Detection of Elliptic and Linear Edges by Searching Two Parameter Spaces

S. Tsuji & F. Matsumoto  700

Range Data Understanding Guided by a Junction Dictionary 

K. Sugihara & Y. Shirai   706

Rapid Computation of Fourier Texture Descriptors

S. L Tanimoto 707

Computation of Immediate Texture Discrimination

B. R. Schatz  708

Toward Consistent Descriptions in Vision Systems

S. W. Zucker  709

ROBOTICS - 1 (M,C)

LAMA: A Language for Automatic Mechanical Assembly

T. Lozano-Perez & P. H. Winston  710

Force Control in Coordination of Two Arms

T. Ishida  717

A Practical Manipulator System

B. Dobrotin & R. A. Lewis  723

Recent Work with the AL System

R. Goldman  733

Robot Learning and Error Correction

L. Friedman  736

ROBOTICS - 2 (T,C)

Collision Detection and Avoidance in Computer Controlled Manipulators

S. M. Udupa  737

The Navigation System of the JPL Robot

A. M. Thompson  749

Workpiece Orientation Correction with a Robot Arm Using Visual Information

J. R. Birk, R. B. Kelley & V. V. Badami 758

Autonomous Guidance and Control of a Roving Robot

J. A. Miller  759

A Model for Motor Control and Learning

M. Raibert  761

ROBOTICS - 3 (H,A)

A Scanning Laser Rangefinder for a Robotic Vechicle

R. A. Lewis & A. R. Johnston  762

A Random Access Picture Digitizer, Display, and Memory System

R. Eskenazi & R. Cunningham  769

GOALEM from Prague

B. Kirchmann, P. Kopecky & Z. Zdrahal  771

A Variable Capacitance Touch Sensor

C. C. Geschke  772

SPECIALIZED SYSTEMS -  (M,C)

Structured Planning and Debugging

M. L. Miller & I. P. Goldstein  773

A System Which Allows Students to Explore Algorithms

D. H. Sleeman 780

The FLOW Tutor: A Schema-Based Tutorial System

D. R. Gentner  787

The Use of Models in a Rule-Based Consultation System

J. Aikins  788

An Automated Consultant for MACSYMA

M. R. Genesereth  789

SPECIALIZED SYSTEMS - 2 (T,D)

A Retrospective View of the Hearsay-II Architecture

V. R. Lesser & L D. Erman  790

Levels of Pattern Description in Learning

E. M. Soloway & E. M. Riseman  801

Program Inference from Traces using Multiple Knowledge Sources

J. V. Phillips  812

Delayed Interpretation Using Processing Notes

C. K. Riesbeck  813

SPECIALS SYSTEMS - ? (W,A)

EXAMINER: A System Using Contextual Knowledge for Analysis of Diagnostic Behavior

C. E. Oleson 814

A Digitalis Therapy Advisor with Explanations

W. R. Swartout 819

A Model-Based Consultation System for the Long-Term Management of Glaucoma

S. M. Weiss, C. A. Kulikowski & A. Safir 826

SPECIALIZED SYSTEMS - 4 (H,C)

Automated Theory Formation in Mathematics

D. B. Lenat 833

Structuring Mathematical Knowledge

E. R. Michener 843

Inductive Reasoning in Mathematics

F. M. Brown & S-A Tarnlund  844

Computer Understanding of Mathematical Proofs

V. Marinov  851

An Antibiotic Therapy Selector which Provides for Explanations

W. J. Clancey 858

APPLICATIONS - 1 (M,C)

A Two-dimensional Trim-Loss Problem with Sequencing Constraints

A. I. Hinxman 859

The Analysis and Synthesis of Jazz by Computer

J. W. Ulrich  865

Ghosts in the Machine: An AI Treatment of Medieval History

M. King, M. Ornato, G. Zarri, L. Zarri-Baldi & A. Zwiebel  873

Application of Fuzzy Heuristic Techniques to Computer Network Design

S. I. Samolylenko  880

A Simple Model for Handwriting

J. M. Hollerbach 881

APPLICATIONS - 2 (T,C)

Knowledge Base Management for Experiment Planning in Molecular Genetics

N. Martin, P. Friedland, J. King & M. Stefik 882

Generating Project Networks

A. Tate 888

Electrical Design: A Problem for Artificial Intelligence Research

G. J. Sussman 894

An Intelligent Information System for Criminal Case Management in the Federal Courts

J. R. Buchanan & R. D. Fennell-NA

ROBOT: A High Performance Natural Language Data Base Query System

L. R. Harris    903

LANGUAGES AND SYSTEMS - 1 (T,D)

A Display Oriented Programmer's Assistant

W. Teitelman  905

NLG Natural Language Graphics

D. C. Brown, S. C. Kwasny, H. N. Buttelmann, B. Chandrasekaran & N. K. Sondheimer  916

TELOS, A Language for Building Well-Structured AI Models

L. Travis, M. Honda, R: LeBlanc & S. Ziegler 917

PRUF - A Language for the Representation of Meaning in Natural Languages

L A. Zadeh   918

Heuristico-Conceptual Programming

V. Chavchanidze919

LANGUAGES AND SYSTEMS - 2 (H,A)

Meta-Level Knowledge: Overview and Applications

R. Davis & B. G. Buchanan 920

Less Than General Production System Architectures 

D. B. Lenat & J. McDermott 928

OPS, A Domain-Independent Production System Language 

C. Forgy & J. McDermott 933

INVITEP PANEl - 1 (M,C)

Federal Programs in Artificial Intelligence

W. Gevarter (Chmn.), J. S. Albus, N. Caplan, B. Chern, K. Curtis, M. Denicoff & J. Slagle  940

INVITED PANEL - 2 (M,D)

History of Artificial Intelligence

P. McCorduck (Chmn.), M. Minsky, 0. Selfridge & H. A. Simon  951

INVITED PANEL - 3 (T.A)

Artificial Intelligence in Western Europe

J. Pitrat & E. Sandewall (Chmn.), W. Bibel, G. Huet, H.-H Nagel & M. Somalivco   955

INVITEP PANEL - 4 (T,C)

Speech Understanding and AI//AI and Speech Understanding

D. E. Walker (Chmn.), L D. Erman, A. Newell, N. J. Nilsson, W. H. Paxton, T. Winograd & W. A. Woods   970

INVITEP PANEL - 5 (T,D)

Computer Game Playing

H. J. Berliner (Chmn.), R. Greenblatt, J. Pitrat, A. Samuel & D. Slate 975

INVITEP PANEL - 6 (w,A)

Report on AIxPL (SIGART-SIGPLAN) Conference

J. A. Feldman--NA

Report on Workshop on Computer Vision

M. A. Arbib--NA

INVITEP PANEL - 7 (W,C)

Knowledge Representation

D. G. Bobrow (Chmn.), G. G. Hendrix, W. A. Martin, J. McCarthy, A. Newell, R. C. Schank, B. C. Smith & N. S. Sridharan 983

INVITEP PANEL - 8 (W,P)

AI and Pattern Recognition

A. Rosenfeld (Chmn.), J. A. Feldman, L Kanal & P. H. Winston 993

INVITED PANEL - 9 (H,A)

Report on AIM (AI in Medicine) Workshop

S. Amare--NA

Report on Automatic Deduction Symposium

D. Loveland--NA

INVITED PANEL - 10 (H,C)

Applications of Artificial Intelligence

S. Amarel (Chmn.), J. S. Brown, B. G. Buchanan, P. Hart, C. A. Kulikowski, W. A. Martin & H Pople 994

INVITED PANEL - 11 (H,D)

Natural Language Processing

R. C. Schank (Chmn.), E. Charniak, Y. Wilks, T. Winograd & W. A. Woods 1007

INVITED PAPERS - 1 (M,B)

The Art of Artificial Intelligence: Themes and Case Studies of Knowledge Engineering

E. A. Feigenbaum  1014

The Formation of Composite Hypotheses in Diagnostic Problem Solving: An Exercise in Synthetic Reasoning

H. Pople     1030

INVITED PAPERS - 2 (T,B)

Epistemological Problems of Artificial Intelligence

J. McCarthy 1038

Putting Theories Together to Make Specifications

R. M. Burstall & J. A. Goguen      1045

INVITED PAPER? - 3 (W,B)

Artificial Intelligence Systems That Understand

H. A. Simon 1059

Model Representations and Control Structures in Image Understanding

T. Kanade 1074

INVITED PAPERS - 4 (H,B)

Plain Talk about Neurodevelopmental Epistemology

M. Minsky 1083

(Title to be announced) ***

V. Briabrin -NA

INVITED PAPERS - 5(W,E)

The Ubiquity of Discovery: Computers and Thought Lecture

D. B. Lenat 1093

Invited Panel on Future Directions of AI

E. Fredkin (Chmn.), D. Michie, J. McCarthy & A. Newell -NA