clarke@utcsri.UUCP (Jim Clarke) (10/08/85)
(SF = Sandford Fleming Building, 10 King's College Road)
(GB = Galbraith Building, 35 St. George Street)
COMPUTER ALGEBRA SEMINAR, Thursday, October 10, 4 pm, GB248.
Wayne Eberly
University of Toronto
"What do Euclid, Pade, and Sturm have in common?"
Abstract Subresultants - we will define them, discuss their proper-
ties, then use them to develop efficient algorithms for extended GCD compu-
tations, Pade Approximation, and computation of Sturm Sequences.
ARTIFICIAL INTELLIGENCE SEMINAR, Friday, October 11, 10 am, GB119.
Peter Szolovits
Laboratory for Computer Science, MIT.
"Types of Knowledge in Medical AI Programs"
GRAPHICS SEMINAR, Tuesday, October 15, 11 am, SF1105.
Professor Norman Badler
University of Pennsylvania
"Positioning and Animating Human Figures
in a Task-Oriented Environment"
Abstract A system called TEMPUS is outlined which is intended to
graphically simulate the activities of several simulated human agents in a
three-dimensional environment. TEMPUS is a task simulation facility for
the design and evaluation of complex working environments. The primary com-
ponents of the TEMPUS system include human body specification by size or
statistical population, 3-D environment design, a human movement simulator
and task animator, a user-friendly interactive system, real-time motion
playback, and full 3-D colour graphics of bodies, environments, and task
animations. Research efforts in human dynamics, control and natural
language specification of movements will also be described.
ARTIFICIAL INTELLIGENCE SEMINAR, Tuesday, October 15, 3 pm, SF1105.
Professor Harry Wechsler
University of Minnesota
"A New Theory for Computational Vision
Based on the Wigner Distribution"
Abstract We suggest a new theory for machine vision aimed at invari-
ant object recognition. The theory, based on the Wigner distribution (WD)
is consistent with recent findings on human visual processing, in both
spatial/spatial-frequency representation which yields high resolution in
both domains. Our model relies primarily upon low-level visual processing
for achieving invariant object recognition and it has a highly parallel
computational form which can be readily exploited by using an appropriate
hardware architecture. The suggested theory incorporates invariance
(within a linear shift) to perspective, position, orientation, and size of
arbitrary planar forms. An application of our theory to the task of opti-
cal flow derivation is presented as well.
THEORETICAL ASPECTS - COMPUTER ALGEBRA SEMINAR
Thursday, October 17, 4 pm, GB248
Professor Ruediger Loos
Universitaet Karlsruhe
"Quantifier Elimination for the Rationale with Addition"
Abstract We specialize Collins' quantifier elimination algorithm for
real closed fields to the theory of rational numbers with addition. We
present a description in ALDES, an analysis of the maximum computing time,
an implementation in SAC-2 and an application of the algorithm.
--
Jim Clarke -- Dept. of Computer Science, Univ. of Toronto, Canada M5S 1A4
(416) 978-4058
{allegra,cornell,decvax,ihnp4,linus,utzoo}!utcsri!clarke