Copy Link
Add to Bookmark
Report
VISION-LIST Digest Volume 10 Issue 31
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
************************
