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