Date: 16 Jul 91 16:10:53-PST
From: Vision-List moderator Phil Kahn <Vision-List-Request@ADS.COM>
Errors-to: Vision-List-Request@ADS.COM
Reply-to: Vision-List@ADS.COM
Subject: VISION-LIST digest 10.31
To: Vision-List@ADS.COM

VISION-LIST Digest    Tue Jul 16 16:10:53 PDT 91     Volume 10 : Issue 31

 - Send submissions to Vision-List@ADS.COM
 - Vision List Digest available via COMP.AI.VISION newsgroup
 - If you don't have access to COMP.AI.VISION, request list 
   membership to Vision-List-Request@ADS.COM
 - Access Vision List Archives via anonymous ftp to ADS.COM

Today's Topics:

 ECCV-92
 CFP: AI, Simulation and Planning in High Autonomy Systems 1992
 CFP: Workshop on Robust Computer Vision
 11th IAPR INT. CONF. ON PATTERN RECOGNITION
 CFP: Special session on ``Recognition By Components'' for MVRC
 Workshop Report on IEEE Workshop on Directions in Automated CAD-Based Vision
 CFP: Biomedical Image Processing III and 3D Microscopy
 IJCAI-91 Programme Schedule

----------------------------------------------------------------------

Date: Wed, 10 Jul 91 13:52:12 MET DST
From: European Conference on Computer Vision <eccv92@dist.dist.unige.it>
Subject: ECCV-92

             SECOND EUROPEAN CONFERENCE ON COMPUTER VISION
                                ECCV-92

                              May 18-23, 1992
                          Santa Margherita Ligure
                                  ITALY

                            CALL FOR PAPERS

                            Organization:
                            DIST University of Genova

                            In cooperation with:
                            Consorzio Genova Ricerche
                            CEC - DG XIII
                            INRIA Sophia Antipolis

OBJECTIVES AND TOPICS:

The main objective of the Conference is to  provide  a  forum  to
present and discuss recent research advances in the field of Com-
puter Vision.

The Conference is open to international participation and all the
papers will be evaluated by the Programme  Committee on scientific
grounds.

Topics of interest are: Colour, Texture,  Stereo,  Motion,  Image
Features, Stereo Motion Cooperation, Active Vision, Shape, Vision
based Control, Hardware Architectures, Applications.

STRUCTURE OF THE CONFERENCE

The programme will be articulated in three parts:

1 - ESPRIT day (May 18) During this day, ESPRIT  projects  active
in  the  field  of  Computer  Vision and its applications will be
presented. These projects  cover  research  in  promising  vision
techniques,  industrial  applications of advanced computer vision
systems, the use of advanced architectures to support these  sys-
tems and generic tools for their design and development.  Depend-
ing on their level of advancement, projects will  present  objec-
tives,  intermediate  or  final  results.   Participation  to the
ESPRIT day will be free of charge and will be  open  to  everyone
interested  in vision, including to participants from outside the
EC.  
This event will be coordinated  by  
PATRICK  VAN  HOVE  
CEC DGXIII  
A4, OFFICE BRE9-217, 
200 RUE DE LA LOI, 
B-1049 BRUSSELS,
BELGIUM.

2 - ECCV 92 four day, single track Conference (May 19-22).

3 - Basic Research Workshops (May 23) Three workshops will be or-
ganised by the members of the ESPRIT Basic Research Working Group
on Vision (BR 3352).  The exact topic of these Workshops will  be
announced  in  the months prior to the conference. Participation
at these workshops is limited in number and requires  a  separate
registration procedure. For additional information, contact:
Prof.  JAMES L. CROWLEY 
COORDINATOR, BR3352, 
LIFIA (IMAG) 
46 AVE  FELIX VIALLET,
38031 GRENOBLE, FRANCE.


INSTRUCTIONS TO AUTHORS.

Four copies of complete papers should be received by Prof. Sandi-
ni  at  the  address given below not later than October 15, 1991.
Either LONG PAPERS (25 double spaced pages maximum) or SHORT  PA-
PERS  (14 double spaced pages maximum) can be submitted according
to the following recommendations.  The papers must  be  submitted
in  English.   The  length  should  include everything, the first
page, the texts (double-spaced), figures, bibliography etc.   The
first   page  should  include  the  title,  the  name(s)  of  the
author(s), the complete address (telephone,  telefax,  electronic
mail).  The  name  of  the  first  author  will  be  used for all
correspondence unless otherwise stated.  In order to maintain the
single-track structure of the conference it is possible that some
of the papers will be accepted as POSTERS. In this case  it  will
be asked to reduce the lenght to approximately 7 pages.  All sub-
mitted papers will be reviewed by the Programme Committee.


PROCEEDINGS

The proceedings will be published by Springer-Verlag in the "Lec-
ture  Notes in Computer Science" series.  A selection of the best
papers from ECCV 92 will be published in a Special Issue of " Im-
age and Vision Computing Journal".


VIDEO PROCEEDINGS

A videotape can be submitted along with the paper  to  illustrate
the  results  of  the research presented. The video material will
NOT be used to evaluate the papers and no explicit  reference  to
it  should be made in the paper (Springer-Verlag will not distri-
bute the video along with the  tape).  The  video  tape  will  be
evaluated  for  inclusion  in the video proceedings which will be
distributed to all the participants in the Conference. The  video
can be submitted along with the final version of the accepted pa-
pers.  The length of the video contributions must  be  no  longer
than  3  minutes.   No editing will be performed on the submitted
video material therefore it is required to provide a master  copy
of  high quality (using European video standard PAL if possible).
The selection of the videos  will  be  coordinated  by: GIOVANNI
Ing. Garibotto  
ELSAG  S.p.A
Phone.  +39-10-6001720
Fax  +39-10-600161.

DEADLINES

October 15, 1991              Submission of Papers  
December  15, 1991            Notification  of  Acceptance
January  31, 1992             Final Version Received 
May 18-23, 1992               ECCV 92  and Related Events

SEND PAPERS TO:

Prof. Giulio Sandini 
DIST University of Genova, 
Via Opera Pia 11A
16145   Genova, Italy 

Fax: +39-10-3532948
e-mail: eccv92@dist.unige.it

CONFERENCE CHAIRMAN

Giulio Sandini                  DIST University of Genova

CONFERENCE BOARD

Bernard   Buxton             GEC-Marconi,   Hirst Research Center  
Olivier  Faugeras            INRIA - Sophia Antipolis
Goesta   Granlund            Linkoping    University    
John Mayhew                  Sheffield     University    
Hans    H. Nagel             Karlsruhe University,  Fraunhofer  Institute

PROGRAMME COMMITTEE

Nicholas   Ayache            INRIA   -   Rocquencourt   
Mike Brady                   Oxford University        
Andrew Blake                 Oxford   University    
Hans Burkhardt               University Hamburg-Harburg        
Hilary Buxton                Qeen Mary and  Westfield  College  
James Crowley                LIFIA-INPG  Grenoble       
Rachid Deriche               INRIA-Sophia-Antipolis                
Ernest Dickmanns             Universitat  der  Bundeswehr Munchen
Jan-Olof Eklundh             Royal Institute of Technology 
David Hogg                   Leeds University      
Ian Koenderink               Utrecht State University    
Hans Knutsson                Linkoping University       
Roger Mohr                   LIFIA-INPG Grenoble        
Berndt Neumann               Hamburg University       
Carme Torras                 Institut  de  Cibernetica - Barcelona
Vincent Torre                University of Genova

INFORMATION

Piera Ponta 
ECCV-92 Secretariat  
Consorzio  Genova  Ricerche  
Via dell'Acciaio 139 
16152 Genova - Italy 
Phone: +39 10 651-4000 
Fax: +39 10 603-801 
Telex: 281048 
e-mail: eccv92@dist.unige.it

SECRETARIAT

Francesca Tassara               c/o DIST Genova


ACCOMMODATION AND LOGISTICS

Nicoletta Piccardo       
Eurojob S.r.L.   
Villa  Sauli  Grimaldi, 5/3 
16121  Genova, Italy 
Phone: +39-10-583930 
Fax:  +39-10-208955

VENUE OF THE CONFERENCE

The conference will be held in Santa  Margherita  Ligure  at  the
Hotel  Miramare.  Santa  Margherita Ligure is a small town in the
Italian Riviera close to the city of Genova. The  Hotel  Miramare
is  located on the sea facing the Portofino Gulf a few kilometers
from the village of Portofino. Also close to the conference  site
is  the  pleasant resort area of "Cinque Terre" whose picturesque
villages on the rocky coast can be reached by train only.

RELATED EVENTS

SCIENTIFIC EVENTS: In the week preceding ECCV-92 the IEEE Confer-
ence  on  Robotics  and Automation will be held in Nice (France).
Santa Margherita Ligure is conveniently connected  through  local
transportation  (train or car) for those who wish to attend both
events.

1992 Celebration of the Discovery of America: The year 1992  will
be  a  special  year for the city of Genoa.  The city will host a
number of cultural and entertainment events  in  honour  of  the
500th  anniversary of the discovery of America by the Genoese ex-
plorer Cristoforo Colombo. Among these events a world  exhibition
and a new aquarium will be opened to the public.

------------------------------

Date: 10 Jul 91 09:30:02 GMT
From: OZais@cutmcvax.cs.curtin.edu.au (Perth - AIS)
Organization: Curtin University of Technology, Computing Science
Subject: CFP: AI, Simulation and Planning in High Autonomy Systems 1992
Keywords: AI, simulation, planning, perception, integration

                          **** CALL FOR PAPERS ****
                                   AIS'92

                          3rd Annual Conference on
                ARTIFICIAL INTELLIGENCE, SIMULATION & PLANNING
                                    in
                           High Autonomy Systems

                               sponsored by
        Schools of Computing Science and Electrical & Computer Engineering
                       Curtin University of Technology

                              Conference theme:
                  INTEGRATING PERCEPTION, PLANNING AND ACTION
                  11 - 13 July, 1992, Perth, Western Australia

The design and development of autonomous systems requires expertise from a
multitude of areas.  The theme of this conference is  the integration of
perception, planning and action using a task-directed approach.  Years of
research in fields of vision and perception, planning, knowledge
representation, modelling, reasoning, control, simulation and many others,
have culminated in the development of models that are useful in limited and
separate domains.  However, integration of these modules in automated
intelligent systems has proved too computationally expensive.  In all these
fields there is a shift towards situated reasoning and task directed problem
solving.  Action requires intelligent decision making, and the choice of
action is based on results of close interaction between task directed sensory
perception and situated reasoning.  The underlying issue is the
representation and modelling of the relevant aspects of the environment, and
problems encountered here are closely related to those in intelligent
simulation.  Techniques in computer simulation can provide useful models that
serve as the foundation for simulating the behaviour of autonomous agents,
and such simulation can provide meaningful insight into the agent's
behaviour. This conference seeks to provide an opportunity for researchers
from a range of disciplines and application domain projects to interact and
address these issues.

SUGGESTED TOPICS:

The topics covered in this conference will include (but will not be limited to)
the conceptual as well as application-oriented issues in the following areas:

* Active vision systems with task-oriented or purposive problem-solving 
* Temporal, spatial, and situated reasoning in automated planning
* Integration of qualitative and quantitative reasoning
* Process planning and control
* Reasoning with uncertainty
* Rule-based modelling and simulation
* Intelligent integrated systems
* Learning in highly autonomous systems
* Adaptive and neural based control
* Fuzzy logic control systems
* Distributed and parallel intelligent simulation

INVITED SPEAKERS:

Rodney A. Brooks     AI Robotics laboratory, MIT
Bernard Zeigler      University of Arizona
Kit Po Wong          University of Western Australia

CONFERENCE CO-CHAIRS:

Dorota Kieronska                       Svetha Venkatesh
School of Computing Science            School of Computing Science
Curtin University of Technology        Curtin University of Technology
Western Australia                      Western Australia
dorota@cutmcvax.cs.curtin.edu.au       svetha@cutmcvax.cs.curtin.edu.au

ORGANIZING COMMITTEE:

Paul A. Fishwick       University of Florida, USA
Franz Pichler          University of Linz, Austria
Jerzy W. Rozenblit     University of Arizona, USA
Suleyman Sevinc        University of Sydney, Australia
Robin Stanton          Australian National University, Australia

PROGRAMME COMMITTEE:

Narendra Ahuja         University of Illinois, USA
Panos Antsaklis        Notre Dame University, USA
E. Balagurusamy        Institute of Public Enterprise, India
Felix Bretschneider    Siemens, Germany
Terri Caelli           University of Melbourne, Australia
F. Y. L. Chin          University of Hong Kong, Hong Kong
Silvano Colombano      NASA Ames Research Centre, USA
John Debenham          University of Technology Sydney, Australia
Vu Duong               Schlumberger Laboratory, France
Norman Foo             University of Sydney, Australia
Michael Georgeff       Australian AI Institute, Australia
Roderick Girle         Griffith University, Australia
Witold Jacak           Technical University of Wroclaw, Poland
Tag Gon Kim            University of Kansas, USA
C.T. Leondes           University of Washington, USA
Olivier Monga          INRIA, France
Ram Nevatia            University of Southern California, USA
Herbert Praehofer      University of Linz, Austria
Ethan Scarl            Boeing Computer Services, USA
Reid Simmons           Carnegie Mellon University, USA
Chuck Thorpe           Carnegie Mellon University, USA
C.P. Tsang             University of Western Australia, Australia
Haruki Ueno            Tokyo Electrical Institute, Japan

PANEL CHAIRS:

Paul A. Fishwick       University of Florida
Jerzy W. Rozenblit     University of Arizona

LOCAL ARRANGEMENTS:

Mary Simpson
Ken Swain
Lance C. C. Fung
Wladyslaw Mielczarski

SUBMISSIONS:

Five (5) copies of extended abstracts (2000 words) must be received by
November 1, 1991 (hard copies only)  A separate sheet should contain the
title of the paper, full names, addresses and email-addresses of the authors,
a short (200 words) summary and keywords indicative of the theme of the
paper.  The abstracts will be refereed, and the authors will be notified of
acceptance by January 15, 1992.  Camera-ready copy sheets will be sent to
authors of accepted papers, and the final papers will be due on March 2,
1992.  The final proceedings will be published by IEEE Press. After the
conference, selected authors may be requested to submit a paper in special
issues of archival journals related to the conference theme.
One author of each paper is expected to present the paper at the
conference.  Any technical inquiries should be directed to one of the
co-chairs of the conference.  All submissions and registration queries should
be directed to:

             Ms. Mary Simpson
             AIS'92
             School of Computing Science
             Curtin University
             PO Box U1987
             Perth, WA 6001
             Australia

             Phone:     +61 - 9 - 351 7298
             Fax:       +61 - 9 - 351 2819
             email:  OZais@cutmcvax.cs.curtin.edu.au

TIMETABLE:

Extended abstracts due:              1 November 1991
Notification of acceptance:         15 January 1992
Formatted papers due:                2 March 1992
Registration for one author:         2 March 1992
Conference dates:                   11-13 July 1992.

------------------------------

Date: Tue, 2 Jul 91 14:14:39 -0700
From: graham@cs.washington.edu (Stephen Graham)
Subject: Call for Papers for Workshop on Robust Computer Vision

			Call for Papers
          International Workshop on Robust Computer Vision

9-12 March 1992, Bonn, Federal Republic of Germany
Stresemann Institut, Bonn-Bad Godesberg

The acceptance of Computer Vision Algorithms depends strongly on the
predictability of their performance. This requires both a theoretical
framework for the procedures as well as experimental work to prove
the validity of the assumed models. The workshop is inteded to discuss
the quality evaluation of vision algorithms, specifically precision,
reliability, robustness, speed or other quality measures which allow
formalization and testing of model assumptions. Any papers concerned
with quantitative analysis of the quality of vision algorithms either
theoretical or experimental is welcome.

Please send the draft of your paper to one of the chairmen of the
working groups by 31 August 1991. (Addresses provided below.) All
papers will be reviewed. Authors will be notified of the acceptance
or rejections of their papers by 31 October 1991. Camera ready
manuscripts for publication will be needed by 15 November 1991.
The proceedings will be published in the Springer series Lecture
Notes on Computer Science. For further information, either write
to one of the addresses given below, or via e-mail,
haralick@ee.washington.edu or graham@cs.washington.edu

B. Radig		W. Forstner		R.M. Haralick
Institut fur		Institut fur		Dept. of Electrical
Informatik		Photogrammetrie		Engineering FT-10
TU Munchen		Nussallee 15		University of Washington
Orleanstr. 34		D-5300 Bonn 1		Seattle, WA 98195
D-8000 Munchen 80	Fed Rep of Germany	USA
Fed Rep of Germany

------------------------------

Date: Mon, 1 Jul 91 08:00:18 +0200
From: bob@ph.tn.tudelft.nl (Bob Duin)
Subject: 11th IAPR INT. CONF. ON PATTERN RECOGNITION

********************************************************************
    11th IAPR INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION
    THE HAGUE, THE NETHERLANDS, AUGUST 30 - SEPTEMBER 3, 1992
********************************************************************

GENERAL CHAIRMEN: PROF. E. BACKER AND PROF. E.S. GELSEMA
CO-CHAIRMAN: PROF. M. NAGAO (JAPAN) AND PROF. A.K. JAIN (USA)
GENERAL PROGRAM CHAIRMAN: PROF. I.T. YOUNG

ORGANIZED AS A SET OF FOUR SPECIALTY CONFERENCES ON:
** COMPUTER VISION AND APPLICATIONS
** PATTERN RECOGNITION METHODOLOGY AND SYSTEMS
** IMAGE, SPEECH AND SIGNAL ANALYSIS
** ARCHITECTURES FOR VISION AND PATTERN RECOGNITION

The 11th International Conference on Pattern Recognition (ICPR) of
the International Association for Pattern Recognition (IAPR) will be
organized as a set of four specialty conferences, each dealing with a
special topic but held in the same place at the same time. The opening
session, tutorials and all social events will be common to the four
conferences. The program for each individual conference will be 
organized by its own Program Chairman. Each conference will consist of
both oral and poster presentations, without parallel sessions. 
The proceedings will contain full papers of all contributions and
will be distributed world-wide by a major scientific publisher. 

Contributions in all aspects of the themes are welcome, and especially
in the fields of remote sensing, medicine, robotics and industrial
applications.

** COMPUTER VISION AND APPLICATIONS (Chairman prof. H. Niemann,
Erlangen, Germany)
Topics: 3D representation and recognition, stereo; shape from shading,
texture, etc. Range imaging. Vision, real world scenes. Artificial
Intelligence in vision. Motion. Visual navigation. Application of
computer vision techniques to problems in industrial automation,
robotics, remote sensing, medicine, and the visual sciences.

** PATTERN RECOGNITION METHODOLOGY AND SYSTEMS (Chairman prof.
J. Kittler, Surrey, UK)
Topics: Statistical, syntactic and AI-based pattern recognition techniques.
Color and multispectral classification. Multiresolution and multimodality
classification. Character recognition and document processing. Neural
network classifiers.

** IMAGE, SPEECH AND SIGNAL ANALYSIS (Chairman prof. I.T. Young,
Delft, Netherlands)
Topics: Filtering, edge detection, image and signal enhancement and
restoration. Image segmentation. Image recovery. Image coding. Speech
processing, coding, analysis and recognition. Image geometry. Measurement
accuracy. Image and data representations, algorithms and data structures.

** ARCHITECTURES FOR VISION AND PATTERN RECOGNITION (Chairman prof.
V. Cantoni, Pavia, Italy)
Topics: Vector, mesh, hypercube systems; Loosely and tightly coupled
multiprocessor systems. Shared memory systems. Languages for image,
speech and vision processing on such systems. (V)LSI design of neural
networks and of image, speech, and signal processing chips. Real time
implementations. Software architectures.


SUBMISSION OF PAPERS:

Prospective authors are invited to submit FOUR COPIES of a 2000 to
2500 word extended abstract of their proposed presentation to the
CONFERENCE SECRETARIAT by ordinary mail (NOT E-MAIL OR FAX) before
OCTOBER 31, 1991. The extended abstract should be written in English
and the author(s) should indicate on the first page for which of the
four specialty conferences their contribution is intended. Acceptance
will be based upon a review of the extended abstract by the Review
Committee associated with the appropriate conference and will be based
upon quality, relevance, and scientific and/or technical originality.
Authors of accepted contributions will receive instructions for
preparing their final manuscripts on special camera-ready sheets for
the Conference Proceedings.

TIME TABLE:

Call for Papers : distributed in April 1991
Extended abstract (2000 - 2500 words) submittal : October 31, 1991
           4 copies, no e-mail, no fax
Notification of Acceptance : March 1992
Full Paper Camera Ready : April 1992
11th ICPR : August 30 - September 3, 1992
             (The Hague, The Netherlands)

Extended abstracts are to be submitted to:
    (Again: 4 copies, NO fax, NO e-mail)

   11th ICPR Secretariat
   Delft University of Technology
   Dept. Electrical Engineering 11:03
   P.O. Box 5031
   NL - 2600 GA DELFT
   The Netherlands

Please indicate your choice of one of the four tracks:
1. Computer and Machine Vision
2. Pattern Recognition Methodology and Systems
3. Image, Speech and Signal Analysis
4. Architectures for Vision and Pattern Recognition

We will forward 3 copies to the appropriate chairman:
1. prof. H. Niemann
2. prof. J. Kittler
3. prof. I.T. Young
4. prof. V. Cantoni
for review in the appropriate program committee.
PLEASE, DO NOT send abstracts to them directly!!!

Full papers will probably be limited to 3 of the
well-known IEEE Conference Proceedings Camera Ready sheets.

Suggestions for tutorials or workshops are welcomed by the
organizing committee! Either pre- or post-conference, and
especially (but not necessarily) when organized by IAPR TCs. 

If you want to be included in our mailing list, please give
us your address!

Thank you for your interest in the 11th ICPR!

Sincerely,
for the Organizing Committee,

dr Jan J Gerbrands
publicity/local arrangements

------------------------------

Date: Fri, 12 Jul 91 15:51:55 EDT
From: Dr Kevin Bowyer <kwb@tortugas.csee.usf.edu>
Subject: CFP: Special session on ``Recognition By Components'' for MVRC

                            CALL FOR PAPERS
                             Session Theme
                                 on
    ``Recognition By Components'' or ``Geon''-Based Vision Systems 

A special session on this theme is being organized for the upcoming 
Machine Vision and Robotics conference.  The idea is to explore and 
compare vision systems which use or are inspired by elements of 
Biederman's  ``recognition by component'' or ``geon-based'' theory 
of object recognition. 

The Machine Vision and Robotics conference will be held 20-24 April 
1992, at the Marriot Orlando World Center.  The deadline for paper
submissions is 23 September 1991.  (Please also send an e-mail note
to kwb@csee.usf.edu if you plan to submit something for this special
theme session.)  Four copies of a 2000 word (or greater) extended 
summary should be submitted to
  SPIE Applications of AI X / Machine Vision & Robotics
  P.O. Box 10
  Bellingham, WA 98227-0010

Papers submitted to the Machine Vision and Robotics conference should 
NOT also be submitted to the Expert and Knowledge-Based Systems part 
of Applications of AI X.  Each paper will be reviewed by two members 
of the program committee and reviews returned to the authors.

The program committee and the conference chair will make a selection 
of the best papers best papers accepted for the Machine Vision and 
Robotics Conference, and these authors will be invited to submit a 
revised version of their paper to a special issue of the journal 
Machine Vision & Applications.

Conference Chair:
Kevin Bowyer, Univ of South Florida (kwb@csee.usf.edu)

Program Committee:
Ron Arkin, Georgia Tech        Bir Bhanu, Univ of California at Riverside
Kim Boyer, Ohio State Univ     Horst Bunke, Univ of Berne (Switzerland)
Chuck Dyer, Univ of Wisconsin  Henrik Christensen, Univ of Aalborg (Denmark)
Ramesh Jain, Univ of Michigan  Dmitry Goldgof, Univ of South Florida
Howard Moraff, NSF             Worthy Martin, Univ of Virginia
Prasanna Mulgaonkar, S.R.I.    Arturo Rodriguez, IBM Multimedia Technology
Ishwar Sethi, Wayne State Univ Mubarak Shah, Univ of Central Florida
Wes Snyder, Wake Forest Univ   Louise Stark, Univ of South Florida
Susan Stansfield, Sandia Labs  George Stockman, Michigan State Univ
Tzay Young, Univ of Miami      Mohan Trivedi, Univ of Tennessee

------------------------------

Date: Wed, 3 Jul 91 19:25:23 EDT
From: Dr Kevin Bowyer <kwb@tortugas.csee.usf.edu>
Subject: Workshop Report on IEEE Workshop on Directions in Automated CAD-Based Vision

The workshop took place on the two days preceding the IEEE Computer
Vision and Pattern Recognition conference in Maui.  There were a total
of eighteen presented papers and two panel sessions.  The presented
papers were organized into sessions with a specific theme and a
``discussion facilitator'' was invited to give some overviews comments
at the beginning of each session.

The first session contained three papers about the use of lighting
models: one by Sato, Ikeuchi and Kanade from Osaka University and
Carnegie-Mellon University on the use of specularity in object
recognition; one by Camps, Shapiro and Haralick from the University of
Washington on using lighting models to make predictions about
observable features; and one by Cowan from SRI International on the
placement of light sources.  The discussion facilitator for this
session was Alex Pentland from MIT.

The second session contained three papers related to the area of
aspect graphs: one by Chen and Freeman from Rutgers University on
computing the aspect graph for quadric-surface solids; one by Eggert
and Bowyer from the University of South Florida on computing the
aspect graph for solids of revolution; and one by Seales and Dyer from
the University of Wisconsin on the use of occluding contour.  The
discussion facilitator for this session was Jitendra Malik from UC
Berkeley.

The third session contained three papers in the area of geometry and
parallelism: one by Kriegman from Yale on computing stable poses of
curved objects; one by Rigoutsos and Hummel from NYU on parallel
implementation of geometric hashing; and one by Dickinson, Pentland
and Rosenfeld from Maryland and MIT on an approach to object
recognition inspired by Biederman's ``recognition by components''
theory.  The discussion facilitator for this session was Bir Bhanu
from UC Riverside.

The last session of the first day was a panel organized into a pro/con
format on the topic of aspect graphs. The panel was, to say the least,
quite lively.  Olivier Faugeras, Joe Mundy, and Narendra Ahuja spoke
to the ``con'' side of aspect graphs, while Ramesh Jain, Alex
Pentland, Chuck Dyer, and Katsu Ikeuchi spoke to the ``pro'' side.
There seemed to be a broad basis of agreement that aspect graphs that
are based on the image structure graph as the symbolic representation
for a view of on object will be very difficult to apply in practical
object recognition systems.  (This is due essentially to the fact that
it is very difficult to extract the image structure graph from real
images.)  The problem of the ``scale'' at which ``visual events''
occur was also mentioned as something that has been missing but is
very important.  The perception of the ``results'' of this discussion
seem to vary greatly between participants.  Some people who do not
work in the area (and perhaps did not follow all the nuances of the
debate) felt that research in the area had been ``killed.''  Others,
perhaps especially those working in the area, heard the seeds of
several new directions of research confirmed to be important and
valuable.

The first session of the second day had three papers in the area of
feature utility and object recognition: one by Chen and Mulgaonkar
from SRI dealing with automatic vision programming; one by Flynn and
Jain from Michigan State University and Washington State University on
the use of invariant feature indexing of interpretation tables; and
one by Arman and Aggarwal from the University of Texas on generating
automatic recognition strategies.  The discussion facilitator for this
session was Tom Henderson from the University of Utah.

The next session had the theme of ``considerations in building
systems.''  There was a paper by Ponce, Hoogs and Kriegman from the
University of Illinois and Yale University on computing the pose of
curved 3D objects; a paper by Henderson and co-workers from the
University of Utah on a complete 2-D CAD-based vision system; and a
paper by West, Fernando and Dew from Curtin University (Australia) and
the University of Leeds (England) on the use of a vision cell
demonstrator.  The discussion facilitator for this session was Kim
Boyer from Ohio State University.

The last session of papers had the theme of ``generic representation
and recognition.''  There was a paper by Vayda and Kak from ERIM and
Purdue University on the recognition of generic-shaped postal objects;
a paper by Vergnet, Saint-Marc and Jezouin from MATRA-LTIS (France) on
a generic bridge finder; and a paper by Kadono, Asada and Shirai from
Osaka University on the use of context-constrained matching with
hierarchical models in outdoor scenes.  The discussion facilitator for
this session was Kevin Bowyer from the University of South Florida.

The last session of the workshop was a panel discussion on the theme
of ``state-of-the-art in CAD-based vision systems.''  This panel had
originally been organized by Avi Kak, and Anil Jain served as the
discussion moderator.  Panel participants included C.-H. Chen, Olivier
Faugeras, Tom Henderson, Katsu Ikeuchi, Jean Ponce, Joe Mundy and Alex
Pentland.  The presentations and discussion covered a wide range of
issues.  Also, a survey on CAD-based vision systems was distributed
before the workshop and preliminary copies of the results of the
survey were handed out at the session.  A final version of the survey
results is being compiled and will be published or distributed in the
future.

Overall, the workshop was generally viewed as a great success.  The
location was of course excellent and conducive to both indoor and
outdoor discussion.  (However, it might be nice to have Maui moved
closer to the mainland.)  The technical presentations and exchanges of
ideas were of generally high quality.  (A selection of the best papers
from the workshop will be published in a special issue of CVGIP: Image
Understanding in 1992.)  There were approximately 70 registered
attendants at the workshop, and so a small surplus should result.  At
the end of the workshop, there was some informal talk of holding a
similar workshop in another two years.

The workshop proceedings is available from the IEEE Computer Society
Press.  Order number 2147.  IEEE catalog number 91-TH0377-2.

------------------------------

Date: 9 Jul 91 13:12:25 GMT
From: goldgof@screamer.csee.usf.edu (Dmitry Goldgof)
Organization: University of South Florida, Department of Computer Science and Engineering
Subject: CFP: Biomedical Image Processing III and 3D Microscopy
Keywords: CALL FOR PAPERS

                       CALL FOR PAPERS
       BIOMEDICAL IMAGE PROCESSING III AND 3-D MICROSCOPY

      Part of 1992 SPIE/SPSE Symposium on Electronic Imaging
         February 9-14, 1992,  San Jose, California, USA

The large variety of imaging modalities for the exploration of objects
of biomedical interest has led to the necessity for solving many
problems related to the specific characteristics of the radiation and
sensing apparatus used.  Acquired biomedical images typically suffer
from degradation related to the physical limitations of the imaging
device. These degradations serve to complicate the generic goals of
analysis and interpretation.  This conference is devoted to the
presentation of new techniques directed towards the improved
interpretation (interactive or automated) of biomedical images
obtained from practical systems. Papers are colicited which detail
methods for reconstructing images from partial information, for
correcting image defects, or for effectively
extracting/analyzing/interpreting practical images of biomedical
interest.

This conference will also explore the rapidly developing field of
three- dimensional microscopy. Consideration will be given to the
characteristics of the overall system design, including the
illuminating source, imaging optics and electronics sensors as well as
to digital methods for producing and displaying the resulting 3-D
reconstruction. Recent innovations in microscopy are having a large
impact especially in the biological and medical fields. Because these
microscopes are now fully integral systems incorporating both optical
and electronic elements, it is hoped that the broad range of relevant
topics being presented at this symposium will serve to encourage
interactions among instrumentation engineers, computer image analysts
and biological and medical researchers.

Papers are invited in the following and related areas: 
    Biomedical Image Processing
        - Image reconstruction
        - Image restoration and enhancement
        - Feature enhancement and extraction in biomedical images
        - Biomedical image analysis and interpretation
        - Multi-dimensional biomedical image processing
        - Motion analysis in biomedical images
    3-Dimensional Microscopy
        - Confocal Microscopy
        - 3-D and time-resolved image acquisition systems
        - Hybrid optical/electronic image processing systems
        - 3-D image processing and analysis
        - 3-D image reconstruction
        - Spatio-temporal reconstruction of living cells and tissues
        - Image visualization techniques for 3-D microscopy systems

Submissions:
   Please send 4 copies of a 200-word abstract and a brief 
   biography by July 15, 1991 to:

     SPIE/SPSE Technical Program Committee:
     Electronic Imaging: Science and Technology 1992
     P.O. Box 10, Bellingham, WA 98227-0010 USA
     Shipping Address: 1000 20th St., Bellingham, WA 98225
     Telephone: 206/676-3290 (Pacific Time); Telex 46-7053
     Telefax: 206/647-1445; OPTO-LINK 206/733-2998

   Please include the author(s) name(s), company name, complete address
   and telephone/telex/telefax numbers (principal author first), and
   clearly designate for which conference within symposium the abstract
   is intended. For more information contact SPIE/SPSE or Conference
   Chairs below.

Important dates:
   Applicants will be notified of acceptance by mid-November.
   Camera-ready abstact is due December 2, 1991
   Manuscript is due January 13, 1992

Location:
   The conference will be held in San Jose Convention Center, San Jose,
   California USA, as a part of SPIE/IS&T Symposium on Electronic Imaging.
   This symposium will provide rich interaction environment because of 
   numerous simultaneous conferences (Image Processing Algorithms, Image 
   Compression and Reconstruction, Image Processing Hardware, Nonlinear
   Image Processing, etc.) and because of its location in the heart of the
   Silicon Valley.
   
Conference Chairs:
   Dr. Carol J. Cogswell
   Physical Optics Department
   The University of Sydney
   NSW Australia 2006

   Dr. Dmitry B. Goldgof
   Department of Computer Science and Engineering
   University of South Florida
   Tampa, Florida 33620-5350
   Internet: goldgof@sol.csee.usf.edu

   Dr. Raj Acharya
   Department of Electrical and Computer Engineering
   State University of New York at Buffalo
   Buffalo, New York 14260
   Internet: acharya@eng.buffalo.edu

------------------------------

Date: 	Tue, 9 Jul 91 16:02:32 EDT
From: kim@cs.toronto.edu (Kimberlee Pietrzak-Smith)
Organization: Department of Computer Science, University of Toronto
Subject: IJCAI-91 Programme Schedule

IJCAI-91: 12TH INTERNATIONAL JOINT CONFERENCE on 
ARTIFICIAL INTELLIGENCE
Darling Harbour, Sydney, Australia, 24-30 August 1991

Programme Schedule

Information on tutorials and registration procedures is presented at the 
end of this document.

LEGEND:

Appl: Principles of AI Applications
AR:   Automated Reasoning
Arch: Architectures & Languages
CM:   Cognitive Modelling
KR:   Knowledge Representation
LP:   Logic Programming
ML:   Machine Learning
NL:   Natural Language
Phil: Philosophical Foundations
QR:   Qualitative Reasoning
Rob:  Robotics
Vis:  Vision


Sunday, 25 August 1991

6-9:30pm: Opening Ceremonies
	  Presentation of the IJCAI Distinguished Service Award to 
          Woodrow Bledsoe
	  Presentation of the IJCAI-91 Outstanding Paper Prizes
	  Concert, Australian Chamber Orchestra
 

Monday, 26 August 1991

9-10am:  Invited Speaker 1 - Takeo Kanade, Carnegie Mellon University
	                     Depth, Shape and Motion in Computer Vision:  
                             Old Problems and New Results


10-10:30am:  Refreshments

10:30-12:30pm:				

ML: Explanation-based Learning

Quantitative Evaluation of Explanation-Based Learning as an Optimization 
Tool for a Large-Scale Natural Language System
Christer Samuelsson and Manny Rayner

A Formalization of Explanation-Based Macro-Operator Learning
Prasad Tadepalli

An Augmented EBL and its Application to Utility Problem
Masayuki Yamamura and Shigenobu Kobayashi

Concept Formation over Explanations and Problem-Solving Experience
Jungsoon Yoo and Doug Fisher


NL: Natural Language Processing

High Performance Natural Language Processing on Semantic Network Array 
Processor
Hiroaki Kitano, Dan Moldovan and Seungho Cha

Massively Parallel Memory-Based Parsing
Hiroaki Kitano and Tetsuya Higuchi

Using Syntactic and  Semantic Analysis
Esther Konig

An Environment for Experimentation with Parsing Strategies
Gregor Erbach


KR: Nonmonotonic Reasoning - Modal Logics

Nonmonotonic Databases and Epistemic Queries
Vladimir Lifschitz

Commonsense Entailment: A Modal Theory of Nonmonotonic Reasoning
Nicholas Asher and Michael Morreau

Modal Interpretations of Default Logic 
Miroslaw Truszczynski

Constructive Tightly Grounded Autoepistemic Reasoning
Ilkka N.F. Niemela


AR: Theorem Proving I

A Resolution Method for Temporal Logic
Michael Fisher 	

Formalizing and Using Persistency	
Thomas Guckenbiehl    	

Reflective Reasoning With and Between a Declarative Metatheory and the 
Implementation Code
Fausto Giunchiglia and Paolo Traverso	

Ordering-Based Strategies for Horn Clauses
Nachum Dershowitz	


Arch: Knowledge Base Management

A Methodology for Systematic Verification of OPS5-based AI Applications 
G. Ravi Prakash, E. Subrahmanian and H.N. Mahabala	

Intelligent Assistance through Collaborative Manipulation
Loren G. Terveen, David A. Wroblewski and Steven N. Tighe	

Effects of Parallelism on Blackboard System Scheduling
Keith Decker, Alan Garvey and Marty Humphrey and Victor Lesser	

The Automated Analysis of Rule-based Systems, Based on their Procedural 
Semantics
Rick Evertsz	
	

12:30-2pm:  Lunch

2-3:30pm:

Panel 1: AI in Telecommunications
	 Andrew Jennings (Chair), Telecom Australia Research Laboratories
         Adam Irgon, Bell Communications Research
	 Akira Kurematsu, ATR Interpreting Telephone Laboratories
	 Jon R. Wright, AT&T Bell Laboratories


ML: Classifiers/Genetic Algorithms

Classifiers: A Theoretical and Empirical Study
Wray Buntine

A Hybrid Genetic Algorithm for Classification
James D. Kelly, Jr. and Lawrence Davis

Learning Concept Classification Rules Using Genetic Algorithms
Kenneth A. De Jong and William M. Spears


KR: Belief

A New Logic of Beliefs: Monotonic and Nonmonotonic Beliefs - Part 1
Sukhamay Kundu

A Model of Decidable Introspective Reasoning with Qualitifying-In
Gerhard Lakemeyer

Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time 
Intention Logics
Anand S. Rao and Michael P. Georgeff


LP: Logic Programming I

Weak Equivalence for Constraint Sets
Sieger van Denneheuvel and Karen L. Kwast

Fitting Semantics for Conditional Term Rewriting
Chilukuri K. Mohan

A Derivation Procedure for Extended Stable Models (Draft)
Luis Moniz Pereira, Joaquim Nunes Aparicio and Jose Alferes


Phil: Philosophical Foundations I

The Philosophy of Automated Theorem Proving
Francis Jeffry Pelletier

Generalised Inference and Inferential Modelling
R. E. Jennings, C. W.Chan and M. J. Dowad

The Implications of Paraconsistency
John Slaney


3:30-4pm:  Refreshments

4-5:30pm:

AI On Line


ML: Inductive Learning I

Reduced Complexity Rule Induction
Sholom M. Weiss and Nitin Indurkhya

Qualitative Model Evolution
Alen Varsek

Semantic Model for Induction of First Order Theories
Celine Rouveirol


AR: Search I

An Expected-Cost Analysis of Backtracking and Non-Backtracking Algorithms
C.J.H. McDiarmid and G.M.A. Provan

Admissible Search Methods for Minimum Penalty Sequencing of Jobs with Setup 
Times on One and Two Machines
Anup K. Sen, Amitava Bagchi and Bani K. Sinha	

Learning Admissible Heuristics while Solving Problems
Anna Bramanti-Gregor and Henry W. Davis 	


LP: Logic Programming II

An Architecture for Visualizing the Execution of Parallel Logic Programs
Mike Brayshaw 

A Non-shared Binding Scheme for Parallel Prolog Implementation
Kang Zhang and Ray Thomas


KR: Reasoning with Inconsistency

Contextual Negations and Reasoning with Contradictions
Walter Alexandre Carnielli, Luis Farinas del Cerro and Mamede Lima Marques

Ex contradictione nihil sequitir
Gerd Wagner


Rob: Architectures

Emergent Frame Recognition And Its Use In Artificial Creatures
Luc Steels

Integrating Reaction Plans and Layered Competences through Synchronous Control
R. Peter Bonasso


7:30-10pm: Computers & Thought Awards and Lectures:  
	   Martha Pollack, The Uses of Plans
	   Rodney Brooks, Intelligence without Reason



Tuesday, 27 August 1991

9-10am:  Invited Speaker 2- Shigeru Sato, Fujitsu Laboratories, Ltd.
		            The Commercial and Industrial Impacts of 
                            Artificial Intelligence Internationally

10-10:30am:  Refreshments

10:30-12:30pm: 

ML: Inductive Learning II

Bayesian Classification with Correlation and Inheritance
Robin Hanson, John Stuzt, and Peter Cheeseman

A Scheme for Feature Construction and a Comparison of Empirical Methods
Der-Shung Yang, Larry Rendell and Gunnar Blix

Learning with a Helpful Teacher
Steven Salzberg, Arthur Delcher, David Heath and Simon Kasif

Towards a Model of Grounded Concept Formation
Stefan Wrobel


AR: Planning I

Composing Real-Time Systems
Stuart J. Russell and Shlomo Zilberstein

Bottleneck Identification Using Process Chronologies
Eric Biefeld and Lynne Cooper	

Incomplete Information and Deception in Multi-Agent Negotiation
Gilad Zlotkin and Jeffrey S. Rosenschein

Solving "How to Clear a Block" with Constructive Matching Methodology
Marta Franova and Yves Kodratoff	


NL: Pragmatics

Resolving Plan Ambiguity for Cooperative Response Generation
Peter van Beek and Robin Cohen

Your Metaphor or Mine: Belief Ascription and Metaphor Interpretation
Yorick Wilks, John Barnden and Jin Wang

Confirmations and Joint Action
Philip R. Cohen and Hector J. Levesque


QR: Diagnosis

When Oscillators Stop Oscillating
Philippe Dague, Olivier Jehl, Philippe Deves, Pierre Luciani and Patrick 
Taillibert

Diagnosing Temporal Misbehavior
Gerhard Friedrich and Franz Lackinger

Integrating Model-Based Monitoring and Diagnosis of Complex Dynamic Systems
Franz Lackinger and Wolfgang Nejdl

Representing Diagnostic Knowledge for Probabilistic Horn Abduction
David Poole


Vis: Object Recognition

A Pictorial Approach to Object Classification
Yerucham Shapira and Shimon Ullman

Natural Object Recognition: A Theoretical Framework and Its Implementation
Thomas M. Strat and Martin A. Fischler

On Seeing Spaghetti: A Novel Self-Adjusting Seven Parameter Hough Space for 
Analyzing Flexible Extruded Objects
John R. Kender and Rick Kjeldsen

HyperBF Networks for Real Object Recognition
R.Brunelli and T. Poggio


12:30-2pm:  Lunch


2-3:30pm:

Panel 2: Multiple Approaches to Multiple Agent Problem Solving
	 James A. Hendler (Chair), University of Maryland
	 Danny Bobrow, Xerox Palo Alto Research Centers
	 Les Gasser, University of Southern California
	 Carl Hewitt, Massachusetts Institute of Technology
	 Marvin Minsky, Massachusetts Institute of Technology


ML: Inductive Logic Programming

Determinate Literals as an Aid in Inductive Logic Programming
J.R. Quinlan

Inductive Learning from Good Examples
Xiaofeng Ling

Refinement Strategies for Inductive Learning of Simple Prolog Programs
Marc Kirschenbaum and Leon S. Sterling


KR: Nonmonotonic Reasoning - Conditional Logics

A Unified View of Consequence Relation, Belief Revision and Conditional Logic
Hirofumi Katsuno and Ken Satoh

Inaccessible Worlds and Irrelevance: Preliminary Report
Craig Boutilier

Possibilistic Logic, Preference Models, Non-monotonicity and Related Issues
Didier Dubois and Henri Prade


AR: Search II

Using Aspiration Windows for Minimax Algorithms
Reza Shams, Hermann Kaindl, and Helmut Horacek	

High Performance A* Search Using Rapidly Growing Heuristics
Stephen V. Chenoweth and Henry W. Davis	

Moving Target Search
Toru Ishida and Richard E. Korf	


CM: Cognitive Modelling I

How Situated is Cognition?
Jacobijn Sandberg and Bob Wielinga

Index Transformation Techniques for Facilitating Creative Use of Multiple Cases
Katia P. Sycara and D. Navinchandra

Plan Debugging in an Intentional System
Gregg Collins, Laurence Birnbaum, Bruce Krulwich and Michael Freed


3:30-4pm:  Refreshments

4-5:30pm:

AI On Line


ML: Concept Formation

Overpruning Large Decision Trees
Jason Catlett

Learning Structural Decision Trees From Examples
Larry Watanabe and Larry Rendell

Learning Nested Concept Classes with Limited Storage
David Heath, Simon Kasif, S. Rao Kosaraju, Steven Salzberg and Gregory Sullivan

Acquiring Knowledge by Efficient Query Learning
Achim G. Hoffman and Sunil Thakar


KR: Concept Languages

Augmenting Concept Languages by Transitive Closure of Roles:  An Alternative 
to Terminological Cycles
Franz Baader 

A Scheme for Integrating Concrete Domains into Concept Languages
Franz Baader and Philipp Hanschke

Tractable Concept Languages
Francesco M. Donini, Maurizio Lenzerini, and Daniele Nardi and Werner Nutt


AR: Theorem Proving II

A Model Elimination Calculus for Generalized Clauses
Toni Bollinger	

Consolution and its Relation with Resolution
Elmar Eder	

How to Prove Higher Order Theorems in First Order Logic
Manfred Kerber	

Reasoning of Geometric Concepts Based on Algebraic Constraint-directed Method
Hitoshi Iba and Hirochika Inoue


Phil: Philosophical Foundations II

Actions and Movements
David Israel, John Perry and Syun Tutiya

In Defense of Hyper-Logicist AI
Selmer Bringsjord and Michael Zenzen

The Problem of Induction and Machine Learning
F. Bergadano


QR: Qualitative Modelling

The Hybrid Phenomena Theory
Erling A. Woods

Extracting and Representing Qualitative Behaviors of Complex Systems in 
Phase Spaces
Feng Zhao

A Geometric Approach to Total Envisioning
Toyoaki Nishida and Shuji Doshita



Wednesday, 28 August 1991

9-10am:  Research Excellence Award & Lecture:  Marvin Minsky

10-10:30am:  Refreshments

10:30-12:30pm:

KR: Topics in Knowledge Representation

A Model of Events and Processes
Periklis Belegrinos and Michael  Georgeff

Parameter Structures for Parametrized Modal Operators
Hans Jurgen Ohlbach and Andreas Herzig

Measuring and Improving the Effectiveness of Representations
Russell Greiner and Charles Elkan

Propositional Non-Monotonic Reasoning and Inconsistency in Symmetric 
Neural Networks
Gadi Pinkas 


AR: Planning II

Generalizing Nonlinear Planning to Handle Complex Goals and Actions with 
Context-Dependent Effects
Edwin P.D. Pednault

A Formal Model for Classical Planning
Jens Christensen and Adam Grove	

Localized Search for Multiagent Planning
Amy L. Lansky	

Commitment Strategies in Planning: A Comparative Analysis
Steven Minton, John Bresina and Mark Drummond


NL: Natural Language Systems

POST: Using Probabilities in Language Processing
Marie Meteer, Richard Schwartz and Ralph Weischedel

The Re-use of Linguistic Resources Across Languages in Multilingual 
Generation Components
John A. Bateman, Christian Matthiessen, Keizo Nanri and Licheng Zeng

Natural Language and Exploration of an Information Space: the ALFresco 
Interactive System
Oliviero Stock	

Efficient Representation of Linguistic Knowledge for Continuous Speech 
Understanding
P. Baggia, E. Gerbino, E. Giachin, and C. Rullent 


QR: Qualitative Modelling, Temporal Reasoning

Combining Qualitative and Quantitative Knowledge to Generate Models of 
Physical Systems
Ulf Soderman and Jan-Erik Stromberg

Directed Constraint Networks: A Relational Framework for Causal Modeling
Rina Dechter and Judea Pearl

Computational and Physical Causality
Jan Top and Hans Akkermans

Reified Temporal Theories And How To Unreify Them
Antony Galton


Vis: Interpretation

Shading-Based Two-View Matching
Michael Audette, Paul Cohen and Juyang Weng 

Combining Stereo and Monocular Information to Compute Dense Depth Maps that 
Preserve Depth Discontinuities
Pascal Fua

Visual Interpretation of Lambertian Surface Deformation
R. Mike Cameron-Jones

Line Labeling and Junction Labeling: A Coupled System for Image Interpretation
Terry Regier


12:30-2pm:  Lunch

2-5:30pm:  Computer Chess Afternoon
	     Panel 3 - The Role of Chess in Artificial Intelligence Research
		       Robert Levinson (Chair), University of California at 
                       Santa Cruz
		       Feng-Hsiung Hsu, IBM T.J. Watson Research Center
		       T. Anthony Marsland, University of Alberta
                       Jonathan Schaeffer, University of Alberta
		       David E. Wilkins, SRI International
             Chess Match
	
	   Tour to Taronga Park Zoo

7-10:30pm: Dinner Harbour Cruise
	


Thursday, 29 August 1991

9-10am:  Invited Speaker 3 - Robert A. Kowalski, Imperial College of Science,
         Technology and Medicine
	 Logic Programming in Artificial Intelligence

10-10:30am:  Refreshments

10:30-12:30pm:

ML: Inductive Learning III

Machine Discovery of Effective Admissible Heuristics 
Armand E. Prieditis

Input Generalization in Delayed Reinforcement Learning:  An Algorithm and 
Performance Comparisons
David Chapman and Leslie Pack Kaelbling

Learning to Classify Observed Motor Behavior
Wayne Iba 

Modelling Experiments in Scientific Discovery
Peter C-H. Cheng


AR: Reason Maintenance

A Logically Complete Reasoning Maintenance System Based on a Logical 
Constraint Solver	
J. C. Madre and O. Coudert 	

Contexts for Nonmonotonic RMSes
Jerome Euzenat   	

On Semantics of TMS
Wang Xianchang and Chen Huowang

Prioritized Defaults: Implementation by TMS and Application to Diagnosis
Ulrich Junker	


NL: Representation and Semantics

Organizational Issues Arising from the Integration of the Lexicon and Concept 
Network in a Text Understanding System
Padraig Cunningham and Tony Veale

Logic and Feature Structures
Mark Johnson

Representation and Interpretation of Definite Noun Phrases
L. Ardissono, L. Lesmo, P. Pogliano and P. Terenziani

Using Pattern-Action Rules for the Generation of GPSG Structures From 
MT-Oriented Semantics
Stephen Busemann


LP: Logic Programming III

Programming in Autoepistemic Logic
Kienchung Kuo 

Indefinite Reasoning with Definite Rules
L. Thorne McCarty and Ron van der Meyden

The Incomplete Database
Karen L. Kwast

Compiling Integrity Checking into Update Procedures
Mark Wallace


Appl: Intelligent Tutoring Systems

UMRAO:  A Chess Endgame Tutor
Dinesh Gadwal, Jim E. Greer and Gordon I. McCalla	

Reasoning about Student Knowledge and Reasoning	
Luigia Carlucci Aiello, Marta Cialdea and Daniele Nardi	

Integration-Kid:  A Learning Companion System		
Tak-Wai Chan	

An Endorsement-based Approach to Student Modeling for Planner-controlled Tutors
William R. Murray	


12:30-2pm:  Lunch

2-3:30pm:

Panel 4: AI and Design
         Saul Amarel (Chair), Rutgers University
	 Alvin Despain, University of Southern California
	 Penny Nii, Stanford University
         Louis Steinberg, Rutgers University
	 Marty Tenenbaum, Enterprise Integration Technologies Co., and 
         Stanford University
         Peter Will, Hewlett Packard Laboratories


ML: Case-based Learning

The Base Selection Task in Analogical Planning
Diane J. Cook

FGP: A Virtual Machine for Acquiring Knowledge from Cases
Scott Fertig and David H. Gelernter

CABOT: An Adaptive Approach to Case-Based Search
James P. Callan, Tom E. Fawcett and Edwina L. Rissland


KR: Nonmonotonic Reasoning - Circumscription

Query Answering in Circumscription
Nicolas Helft, Katsumi Inoue and David Poole

Circumscription and Definability
Yves Moinard and Raymond Rolland

Circumscribing Defaults
Zhaogang Qian and Keki B. Irani


AR: Theorem Proving III

An Inference Rule for Hypothesis Generation
Robert Demolombe and Luis Farinas del Cerro	

Consequence-Finding Based on Ordered Linear Resolution
Katsumi Inoue	

Proof Transformation with Built-in Equality Predicate
Christoph Lingenfelder and Axel Pracklein


Arch: Distributed AI I

Negotiations over Time in a Multi-Agent Environment: Preliminary Report
Sarit Kraus and Jonathan Wilkenfeld	

A Decision-Theoretic Approach to Coordination Multiagent Interactions
Piotr J. Gmytrasiewicz, Edmund H. Durfee and David K. Wehe

Towards a Formal Theory of Communication for  Multiagent Systems
Munindar P. Singh	


3:30-4pm:  Refreshments

4-5:30pm:

AI On Line


ML: Classification & Generalization

Flexible Matching for Noisy Structural Descriptions
Floriana Esposito, Donato Malerba and Giovanni Semeraro

Theoretical Underpinnings of Version Spaces
Haym Hirsh

Empirical Bias for Version Space
Jacques Nicolas


KR: Concept Languages, Inheritance Reasoning

A Correspondence Theory for Terminological Logics:  Preliminary Report
Klaus Schild

Generalizing Term Subsumption Languages to Fuzzy Logic
John Yen

A Skeptic's Menagerie:  Conflictors, Preemptors, Reinstators, and Zombies 
in Nonmonotonic Inheritance
David S. Touretzky, Richmond H. Thomason and John F. Horty


AR: Constraint Satisfaction

On the Feasibility of Distributed Constraint Satisfaction
Zeev Collin, Rina Dechter, Shmuel Katz	

Efficient Arc Consistency Algorithm for a Class of CSP Problems
Yves Deville and Pascal Van Hentenryck   	

Where the Really Hard Problems Are
Peter Cheeseman, Bob Kanefsky and William M. Taylor	


QR: Reasoning under Uncertainty I

Characterizing Belief with Minimum Commitment
Yen-Teh Hsia

On a Tool for Reasoning with Mass Distribution
Rudolf Kruse, Erhard Schwecke and Frank Klawonn

Evidential Probability
Henry E. Kyburg, Jr.


Rob: Navigation

Planning Robot Control Parameter Values with Qualitative Reasoning
Stephen F. Peters, Shigeoki Hirai, Toru Omata and Tomomasa Sato

Mobile Robot Navigation by an Active Control of the Vision System
Patrick Stelmaszyk, Hiroshi Ishiguro and Saburo Tsuji

Determining Robot Egomotion from Motion Parallax Observed by an Active Camera
Matthew Barth, Hiroshi Ishiguro and Saburo Tsuji


5:30-6:30pm: General Meeting
	     Announcements of Conference Chair and Programme Chair for 
             IJCAI-95 and site for IJCAI-97:  All registrants invited.

6:30-8pm:    Powerhouse Reception



Friday, 30 August 1991

9-10am: Invited Speaker 4 - John Ross Quinlan, University of Sydney
	                    Recent Research in Data-Driven Learning

10-10:30am:  Refreshments

10:30-12:30pm:

AR: Planning III

Parallel Non-Binary Planning in Polynomial Time
Christer Backstrom and Inger Klein	

Complexity Results for Planning
Tom Bylander	

A Message Passing Algorithm for Plan Recognition
Dekang Lin and Randy Goebel

The Downward Refinement Property
Fahiem Bacchus and Qiang Yang 	


NL: Parsing and Morphology

Coordinative Parallel Morphological and Syntactical Analysis of Japanese 
Language	
Tsunenori Mine, Rin-ichiro Taniguchi and Makato Amamiya

A Parsing Method for Identifying Words in Mandarin Chinese Sentences
Liang-Jyh Wang, Tzusheng Pei, Wei-Chuan Li and Lih-Ching R. Huang

X2MORF: A Morphological Component Based on Augmented Two-Level Morphology
Harald Trost

Parsing = Parsimonious Covering? (Abduction in Logical Form Generation)
Venu Dasigi


Arch: Connectionist & Parallel Rule Systems

Holographic Reduced Representations:  Convolution Algebra for Compositional 
Distributed Representations
Tony Plate

A Macro Actor/Token Implemetation of Production Systems on Data-Flow 
Multiprocessor
Andrew Sohn and Jean Luc Gaudiot

Performance Comparison of Models for Multiple Rule Firing
Steve Kuo and Dan Moldovan

On Supporting Associative Access and Processing over Dynamic Knowledge Bases
Ian N. Robinson	

Summary Session: IJCAI-91, Machine Learning and Knowledge Acquisition 

Summary Session: KR'91, International Conference on Principles of Knowledge
                 Representation and Reasoning	


12:30-2pm:  Lunch

2-3:30pm:

Panel 5: Massively Parallel Artificial Intelligence
	 Hiroaki Kitano (Chair), Carnegie Mellon University and NEC Corporation
	 James Hendler, University of Maryland
         Tetsuya Higuchi, Electrotechnical Laboratory, Japan	
	 Dan Moldovan, University of Southern California
	 David Waltz, Thinking Machine Corporation
	 

ML: Knowledge Acquisition

Constraints on Tree Structure in Concept Formation
Kathleen B. McKusick and Pat Langley

An Interactive Visual Language for Term Subsumption Languages
Brian R. Gaines

Cooperative Hybrid Systems
Matthias Gutknecht, Rolf Pfeifer and Markus Stolze


CM: Cognitive Modelling II

Reasoning Visually about Spatial Interactions
N. Hari Narayanan and B. Chandrasekaran

A Cognitive Model for Figure Segregation
Akira Shimaya and Isamu Yoroizawa

An MFIS for Computing a Raw Cognitive Map
W.K. Yeap, M.E. Jefferies and P.S. Naylor

Summary Session: IJCAI-91, Automated Reasoning

Summary Session: 1990 International Symposium on AI and Mathematics


3:30-4pm:  Refreshments

4-5:30pm:

ML: Connectionist Models

Integration of Neural Networks and Expert  Systems for Process Fault Diagnosis
Warren R. Becraft, Peter L. Lee and Robert B. Newell	

Analyzing Images Containing Multiple Sparse Patterns with Neural Networks
Rangachari Anand, Kishan Mehrotra, Chilukuri K. Mohan and Sanjay Ranka

The Utility of Feature Construction for Back-Propagation
Hareish Ragavan and Selwyn Piramuthu


Arch: Distributed AI II

Communication and Inference through Situations
Hideyuki Nakashima, Stanley Peters and Hinrich Schutze	

Commitment and Effectiveness of Situated Agents
David N. Kinny and Michael P. Georgeff	

Generating Integrated Interpretation of Partial Information Based on
Distributed Qualitative Reasoning
Takashi Nishiyama, Osamu Katai, Sosuke Iwai and Tetsuo Sawaragi and 
Hiroshi Masuichi	


QR: Reasoning under Uncertainty II

Propagation of Preference Relations in Qualitative Inference Networks
S.K.M. Wong, Pawan Lingras and Y.Y. Yao

Parallel Distributed Belief Networks That Learn
Wilson X. Wen and Andrew Jennings

Summary Session: IJCAI-91, Natural Language

Summary Session: 1990 International Conference on Automated Deduction



Tutorials

Saturday, 24 August 1991

8:30-12:30pm:

T-1	Expert Systems for Project Managers
	Avron Barr and Earl S. Sacerdoti

T-2	Planning and Real-Time Reasoning
	James Hendler and Michael Georgeff

T-3	Case-Based Reasoning
	Katia P. Sycara and Kevin D. Ashley

T-4	Neural Networks for Real-World Problems
	David S. Touretzky and Dean A. Pomerleau


2-6pm:

T-5	Truth-Maintenance Systems
	Johan de Kleer and Ken Forbus

T-6	Object-Oriented Programming and AI
	Mamdouh H. Ibrahim and Jacques Ferber

T-7	AI in Business, Finance and Accounting
	Daniel E. O'Leary and Paul R. Watkins

T-8	PROLOG and Natural Language Processing 
	Esther Konig and Roland Seiffert


Sunday, 25 August 1991

8:30-12:30pm:

T-9	Machine Learning
	Jaime Carbonell, Yves Kodratoff and Francesco Bergadano

T-10	Knowledge Acquisition Techniques
	JanClayton and Carli Scott

T-11	Dynamic Scene Analysis and Motion Estimation
	Thomas S. Huang and Olivier D. Faugeras

T-12	AI in Engineering Design
	Bernhard A. Nebel and Allen C. Ward


2-6pm:

T-13	Text Interpretation
	Jerry R. Hobbs and Lisa Rau

T-14	Robotics for AI Researchers
	David P. Miller and Rajiv S. Desai

T-15	Pricipled Knowledge Systems Design Based on Knowledge Level Models
	Luc Steels and Bob Wielinga

T-16	Statistical Principles for Knowledge Representation and Reasoning
	Henry E. Kyburg and Jay C. Weber 




OBTAINING REGISTRATION BROCHURES for IJCAI-91

The Australian National Committee has arranged for Registration Brochures 
and Forms for IJCAI-91 to be obtained electronically by sending an email 
message requesting a hard copy or by directly by ftp.

1. Hard Copies

To obtain a hardcopy of the Registration Brochure and Form send an email 
message containing your name and address to: 

	ijcai.rego.hardcopy@vulcan.anu.edu.au

******************************************************************************
PLEASE NOTE THAT THIS IS AN E-MAIL ADDRESS TO WHICH *ONLY* E-MAIL REQUESTS 
FOR *HARD COPIES* OF THE REGISTRATION BROCHURES AND FORMS SHOULD BE SENT. 
IT IS *NOT* A GENERAL IJCAI CORRESPONDENCE ADDRESS.
******************************************************************************


Requests for hard copies of the Registration Brochure and Form and any other 
enquiries concerning IJCAI-91, can also be made directly to:

	IJCAI-91 Secretariat
	PO Box 787
	Potts Point, NSW 2011
	AUSTRALIA

	Tel: (+61-2) 3572600
	Fax: (+61-2) 3572950


2. Anonymous ftp

For those connected to the Internet, the IJCAI Registration Brochure and 
Form are available as compressed POSTSCRIPT files via anonymous ftp from

	vulcan.anu.edu.au (IP number 130.56.4.173) (in /IJCAI)

and from

	uunet.uu.net (alias ftp.uu.net, IP number 137.39.1.2)
		(in /doc/IJCAI)

To transfer the Registration Brochure and Form connect to either machine by 
ftp with user name "anonymous".  Type in your full email address as password 
(it will be logged).  After a successful login change to directory IJCAI and 
read README for full details of how to ftp the files that you need.

In case of problems or difficulties contact your local system manager or:

	ijcai.network.support@vulcan.anu.edu.au.

******************************************************************************
PLEASE NOTE THAT SO AS TO REDUCE UNNECESSARY NETWORK TRAFFIC AND THE NUMBER 
OF TRANSFERS FROM vulcan.anu.edu.au, PLEASE MAKE THE RELEVANT POSTSCRIPT FILES
PUBLICLY AVAILABLE AT YOUR SITE. PLEASE CONTACT YOUR LOCAL SYSTEMS MANAGER FOR
DETAILS OF HOW BEST TO DO THIS.
******************************************************************************

------------------------------

End of VISION-LIST digest 10.31
************************
