HDTenEightyP/NetNews huggingface dataset:
Newsgroups: ont.events,ut.dcs.seminars,ut.dcs.ai
From: veronica@cs.toronto.edu (Veronica Archibald)
Subject: Georg Gottlob, Monday 16 November 1992: AI
Date: 6 Nov 92 19:47:37 GMT


           Department of Computer Science, University of Toronto
            (LP = D. L. Pratt Building, 6 King's College Road)

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

                                    AI
               LP266, at 10:30 a.m., Monday 16 November 1992

                               Georg Gottlob
                   Technische Universitaet Wien, Austria

                            "CURB YOUR THEORY!
                 A CIRCUMSCRIPTIVE APPROACH FOR INCLUSIVE
                INTERPRETATION OF DISJUNCTIVE INFORMATION"

We introduce curbing, a new nonmonotonic technique of commonsense reasoning
that is based on model minimality but unlike circumscription treats
disjunction inclusively. A first-order theory T is transformed to a formula
CURB(T), called "the curb of T",  whose set of models consists of  the
smallest collection of models which contains all minimal models of T and
which is closed under formation of minimal upper bounds with respect to
model-inclusion.

We first give a rather intuitive definition of CURB in third-order logic
and then show how CURB can be equivalently expressed in second-order logic.
We study the complexity of inferencing from a curbed theory in the
propositional case and present a PSPACE algorithm for this problem.  We
address different possibilities to approximate the curb of a theory.
Finally, we compare the curbing method to other approaches to inclusive
interpretation of disjunctive information.

This talk reports on joint work with Thomas Eiter (TU Vienna, Austria) and
Yuri Gurevich (U. Ann Arbor, Michigan and INRIA, France).

Newsgroups: qucis.announce,ont.events,queens.events,kingston.events
From: crocker@qucis.queensu.ca (Sandra Crocker)
Subject: COGNITIVE SCIENCE DISTINGUISHED SPEAKERS SERIES
Followup-To: poster
Keywords: Seminar, A.I., Vision, Cognition
Organization: Computing & Information Science, Queen's University
Distribution: ont
Date: Mon, 9 Nov 1992 13:55:32 GMT



   **  Steven W. Zucker  **
           of
     Research Center for Intelligent Machines
     McGill University



                ** Shapes, Shocks, and Deformations **

                        Tuesday,  November 10
                             7:00 P.M. 
                      New Technology Building 
                         Walter Light Hall
                            Room 205
                    **   Queen's University  **

The shape of objects lies at the interface between vision and cognition,
however general theories of shape have been notoriously difficult to
formulate.  We undertake to develop a general theory of shape by
elucidating several principles which any such theory should meet.  The
principles are organized around two basic intuitions:  first, if a boundary
were changed only slightly, then, in general, its shape would change only
slightly. This leads us to propose an operational theory of shape based on
incremental contour deformations.  The second intuition is that not all
contours are shapes, but rather only those that can enclose "physical"
material.  A novel theory of contour deformation is derived from these
principles, based on abstract conservation principles and Hamilton-Jacobi
theory.  The result is a characterization of the computational elements of
shape:  deformation, parts, bends, and seeds, which show where to place the
components of a shape.  The theory unifies many of the diverse aspects of
shape, and leads to a space of shapes (the reaction/diffusion space) which
places shapes within a neighborhood of "similar" ones.  Such similarity
relationships underlie descriptions suitable for recognition.


Steven W. Zucker is a Professor of Electrical Engineering at McGill
University, Director of the Program in Artificial Intelligence and Robotics
of the Canadian Institute for Advanced Research,  and the Co-Director of
the Computer Vision and Robotics Laboratory in the McGill Research Center
for Intelligent Machines. He was elected a Fellow of the Canadian Institute
for Advanced Research, and a Fellow of the IEEE.  Zucker has made
significant contributions to the areas of computational vision, image
processing, artificial intelligence, biological perception, and robotics.
Among his recent contributions are a computational model of curve
detection, and a theory of shape perception and recognition.
Newsgroups: ont.events,ut.dcs.seminars,ut.dcs.theory
From: veronica@cs.toronto.edu (Veronica Archibald)
Subject: Professor Anne Condon, Thursday 19 November 1992: THEORY
Date: 9 Nov 92 14:37:12 GMT


           Department of Computer Science, University of Toronto
         (SF = Sandford Fleming Building, 10 King's College Road)

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

                                  THEORY
              SF1105, at 3:00 p.m., Thursday 19 November 1992

                           Professor Anne Condon
                    University of Wisconsin at Madison

                    " Random Walks on Colored Graphs "

How long can it take to cover an n node graph, if edges are followed at
random?  This and related problems have been studied in depth both for both
directed and undirected graphs.

In this talk, we modify the set-up: Suppose the graph has edges of
different colors, and a sequence of colors, which is fixed in advance,
specifies which color edge is to be followed at each step.  Suppose that on
any sequence of colors, the graph can still be covered with probability 1.
Then, how long can it take to cover an n-node graph, if an adversary
chooses the sequence which maximizes the cover time?

We will present new results on the expected cover times of undirected
graphs with colored edges. For example, we have exponential upper and lower
bounds on the expected cover time of undirected graphs with two colors, and
double exponential upper and lower bounds for graphs with three or more
colors.

One motivation for studying such questions on graphs with colored edges is
the close connection between colored graphs and space bounded interactive
proof systems.  Also, our work introduces a complexity theoretic
perspective to well-studied questions on time-varying Markov chains.

This is joint work with Diane Hernek.

Newsgroups: ont.events,uw.talks,uw.cs.grad
From: ylkingsb@icr.uwaterloo.ca ()
Subject: ICR Presents an Evening Lecture Series on "Future Directions in Person- al Computing", by Dr. Donald Cowan, Dept. of CS, Univ. of Waterloo, on Monday,  November 16, 1992 at 8:00 p.m., in DC 1302.
Organization: University of Waterloo
Distribution: ont
Date: Tue, 10 Nov 1992 15:52:51 GMT



                   The University of Waterloo
                      200 University Avenue
                        Waterloo, Ontario


           The Institute for Computer Research (ICR)

              Presents an Evening Lecture Series on

             Future Directions in Personal Computing



by      Dr. Donald Cowan

of      Department of Computer Science
        University of Waterloo


Date:   Monday, November 16, 1992    
Time:	8:00 p.m.
Place:  William G. Davis Computer Research Centre, Room 1302



Abstract:

Powerful personal microcomputers are now inexpensive  and  widely
available.   When  augmented with large disk capacity, video-disc
and CD players, and appropriate software tools,  personal  micro-
computers open up the possibility of fascinating new applications
for business, education and the home.  This presentation  focuses
on how the hardware and software tools can be used to build these
applications and includes demonstrations of some interesting pro-
totypes.

Dr. Cowan was born in Toronto, Canada and received a BASc in  En-
gineering  Physics  from  the University of Toronto in 1960 and a
MSc and PhD from the University of Waterloo in Applied  Mathemat-
ics  in  1961  and  1965 respectively.  Dr. Cowan has been on the
Faculty of the University of Waterloo since 1962 and is currently
a  Professor  in the Computer Science Department, Director of the
Computer Systems Group and Director of Project ARIES.  Dr.  Cowan
was  the  founding Chairman of the Computer Science Department at
Waterloo in 1966 and served in that capacity  for  6  years.   He
also  served  as  the  Associate Dean for Graduate Studies in the
Faculty of Mathematics from l974 to l978.   Professor  Cowan  has
acted  as  a consultant to many government agencies, computer and
communication companies.  He is currently serving as a Consulting
Scholar  with  IBM.   Dr. Cowan is the author or co-author of ap-
proximately 15 books and over 100 papers.  He  has  been  in  the
computer field since 1960.



Everyone is welcome.  Refreshments served.
Newsgroups: ont.events
From: sekuler@psych.toronto.edu (Allison Sekuler)
Subject: PERCEPTION: Nov 6, NIALL
Organization: Department of Psychology, University of Toronto
Distribution: ont
Date: Thu, 5 Nov 1992 19:36:21 GMT


              * RESEARCH GROUP IN PERCEPTION *


        
                        KEITH NIALL 
                         D.C.I.E.M.
  

  "PROJECTIVE PROPERTIES AND THE MENTAL ROTATION EFFECT."

              3 pm, Friday, November 6, 1992  
  Room 317, 1 Spadina Crescent, St. George Campus, U of T





All are welcome. Donut holes will be provided.
For more information, contact Allison Sekuler at:
978-1537 or sekuler@psych.toronto.edu
Newsgroups: ont.events,ut.dcs.seminars,ut.dcs.dbois
From: veronica@cs.toronto.edu (Veronica Archibald)
Subject: H. V. Jagadish, Thursday 26 November 1992: DATABASE
Date: 11 Nov 92 15:40:10 GMT


           Department of Computer Science, University of Toronto
         (SF = Sandford Fleming Building, 10 King's College Road)

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

                                 DATABASE
              SF1105, at 2:00 p.m., Thursday 26 November 1992

                              H. V. Jagadish
                              AT&T Bell Labs

      "COMPOSE:  A Composite Event Specification & Detection System"

COMPOSE is a composite event specification & detection system.  By
establishing an equivalence between the COMPOSE specification model and
regular expressions, we are able to implement composite event detection by
finite automata.

I will discuss the utility of composite events in an active database, and
the interactions between triggers and the transaction management system.  I
will briefly mention the relationship between datalog and event
expressions.  Finally, I will introduce "event oriented programming" as a
new weapon in our battle against software complexity.

Work done jointly, in large part, with one or more of N. Gehani, I.S.
Mumick, and O. Shmueli.
Newsgroups: ont.events,ut.dcs.seminars,ut.dcs.vision
From: veronica@cs.toronto.edu (Veronica Archibald)
Subject: Kourosh Pahlavan, Tomas Uhlin, Jan-Olof Eklundh, Thursday 19 November 1992: VISION
Date: 6 Nov 92 21:00:31 GMT


           Department of Computer Science, University of Toronto
            (LP = D. L. Pratt Building, 6 King's College Road)

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

                                  VISION
              LP266, at 10:00 a.m., Thursday 19 November 1992

              Kourosh Pahlavan, Tomas Uhlin, Jan-Olof Eklundh
             Royal Institute of Technology, Stockholm, Sweden

                           " Dynamic Fixation "

Fixation is the link between the observer and the events  in  the outside
world.  It  is  also  the  physical  action  due  to the attentional
mechanisms  embedded  in  an  active  vision  system.  Therefore,  fixation
is a key element in the control strategy of an active vision system.
Although fixation is not necessarily   a binocular  process,  it  have been
considered as such in computer vision.

In computer vision, one has mainly considered  disparity  as  the cue  for
the correspondence between stereo images. The other cue to  correspondence,
blur,  and  the  fact  that  vergence  is  a combination  of  the  two
processes,  accommodative vergence and disparity vergence, has not been
equally  appreciated.  Following the  methodology  of  active  vision  that
allows the observer to control all his visual parameters, it is quite
natural  to  take advantage  of the powerful combination of these two
processes. In this article, we try to  elucidate  this  mutual  dependency
and briefly   analyze   the   cooperation   and  competition  between
accommodative vergence and disparity vergence on the one hand and disparity
and blur stimuli on the other hand. The human fixation mechanism is used as
a  guide-line  and  some  virtues  of  this mechanism  like  symmetric
disparity and integration of blur and disparity are used to implement a
model for  robust  vergence  in isolation. Finally some experimental
results are reported.

Newsgroups: ont.events,uw.talks,uw.cs.grad
From: wlrush@jeeves.uwaterloo.ca (wlrush)
Subject: THEORY SEMINAR
Keywords: C. Calude, Comp. Sci. Dept. Western Ont. & Univ. Auckland, New Zealand
Organization: University of Waterloo
Distribution: ont
Date: Thu, 12 Nov 1992 21:16:35 GMT


DEPARTMENT OF COMPUTER SCIENCE
UNIVERSITY OF WATERLOO
SEMINAR ACTIVITIES

THEORY SEMINAR

                    -Wednesday, November 18, 1992

Cristian  Calude,  Computer  Science Dept., Western Ontario &
University  of  Auckland,  New  Zealand  will  speak on
"Topological Methods In  Complexity Theory"

TIME:                 1:30-2:30 p.m.

ROOM:                 DC 1304

ABSTRACT

The  separation of various classes of sets/functions is
an important objective in complexity theory.  We survey
some  recent  results of this type mainly obtained with
the   aid  of  a  constructive  version  of  the  Baire
classification method.  Problems in abstract complexity
(Blum),   and  structural  complexity  and  algorithmic
information theory (Chaitin) will be discussed.

Typical questions include:

1.  How many computable functions are speedable?

2.  How  large  is  the  set NP - P, in case it is non-
    empty?

3.  How many strings/sequences are random?

Related   questions   pertaining   the  foundations  of
(feasible)  mathematics [given a reasonably axiomatized
theory  T,  how  'likely'  is it that a true statement,
picked  at  random, cannot be proved within T?] will be
also discussed.

Newsgroups: ont.test
From: vaivads@gandalf.ca (Vic Vaivads)
Subject: Test post for new ottawa news server
Organization: Gandalf Data Ltd.
Date: Fri, 6 Nov 1992 20:30:16 GMT

test from gandalf
-- 
^^^^^^^
Vic Vaivads              Net: vaivads@gandalf.ca
Gandalf Data Ltd.        Voice: (613) 723-6500    Fax: (613) 226-1717
Newsgroups: ont.test
Subject: Testing from nntp client software.
From: mgoddard@ehd.hwc.ca (Michael Goddard)
Date: 13 Nov 92 10:31:45 
Distribution: ont
Organization: Health and Welfare, Canada

Could some one check the Path: and From: lines in the header
to see if they show that they came from
   mgoddard@ehd.hwc.ca   via hpb.hwc.ca.

Thanks
                                                   ....[MIchael]

-- 
MGODDARD@EHD.HWC.CA : Michael Goddard : (613) 954-0169 : Fax (613) 952-9798
B9, Environmental Health Centre, Tunney's Pasture, Ottawa, Canada,  K1A 0L2

Newsgroups: ont.test
From: ratilal@nrcnet0.nrc.ca (Ratilal Haria Rm 103 M60)
Subject: test 3- posting of News outsire of NRC
Organization: National Research Council, Ottawa, Canada
Distribution: ont
Date: Fri, 6 Nov 92 17:41:57 GMT

	In this test (3), modified sys, nntp_access and nntpsend

	to see if NRC Posting will go external.

Ratilal
.

-- 
*------------------------------------+------------------------*
|Ratilal Haria                       | Ratilal.Haria@NRC.CA   |
|National Research Council of Canada | RRH@NRCVM01            |
|Networks Branch                     | ratilal@nrcnet0.nrc.ca |
Newsgroups: ont.test
From: fillmore@emr1.emr.ca (Bob Fillmore 992-2832)
Subject: Test nott server
Organization: Energy, Mines, and Resources, Ottawa
Distribution: ont
Date: Sat, 7 Nov 1992 16:21:51 GMT

Testing post to outside via new Ottawa news server.

-- 
Bob Fillmore, Technical Services Division          email: fillmore@emr.ca
  Information Management Branch,                   BIX:   bfillmore      
  Energy, Mines, & Resources Canada                Voice: (613) 992-2832
  580 Booth St., Ottawa, Ontario, Canada  K1A 0E4  FAX:   (613) 996-2953
From: lseed@hpb.hwc.ca
Newsgroups: ont.test
Subject: test
Date: 13 Nov 92 14:43:31 EST
Organization: Health and Welfare, Canada

This is a test.  Please ignore.
L. Seed
Newsgroups: ont.test
From: myhui@bnr.ca (Michael Hui)
Subject: test subject
Organization: Bell-Northern Research Ltd., Ottawa, Canada
Date: Wed, 11 Nov 92 19:26:02 GMT

test text
-- 
Michael MY Hui  ~{~}  myhui@bnr.ca  Ottawa Canada
Newsgroups: ont.test
From: ratilal@nrcnet0.nrc.ca (Ratilal Haria Rm 103 M60)
Subject: test 2 - Post news outside of NRC
Organization: National Research Council, Ottawa, Canada
Distribution: ont
Date: Fri, 6 Nov 92 17:00:32 GMT

HI,

   A SECOND TEST TO SEE IF NEWS POSTING GOES OUTSIDE
   OF NRC.  MODIFIED SYS FILE TO INCLUDE NOTT SITE.

RATILAL

-- 
*------------------------------------+------------------------*
|Ratilal Haria                       | Ratilal.Haria@NRC.CA   |
|National Research Council of Canada | RRH@NRCVM01            |
|Networks Branch                     | ratilal@nrcnet0.nrc.ca |
Newsgroups: ont.test
From: fillmore@emr1.emr.ca (Bob Fillmore 992-2832)
Subject: YAT
Organization: Energy, Mines, and Resources, Ottawa
Distribution: ont
Date: Sat, 7 Nov 1992 17:59:19 GMT

Yet Another Test.

-- 
Bob Fillmore, Technical Services Division          email: fillmore@emr.ca
  Information Management Branch,                   BIX:   bfillmore      
  Energy, Mines, & Resources Canada                Voice: (613) 992-2832
  580 Booth St., Ottawa, Ontario, Canada  K1A 0E4  FAX:   (613) 996-2953    
Newsgroups: ont.test
From: jstewart@alfred.carleton.ca (John Stewart)
Subject: testing
Organization: Carleton University
Date: Thu, 5 Nov 1992 20:46:47 GMT


testing the new ONet news server in Ottawa.

-- 
John Stewart -- Computing and Communications Services, Carleton University
Internet: jstewart@ccs.carleton.ca or Mr.Canoehead@algonquin.carleton.ca  
"The average middle income family with two parents and children pays $2,945
more in Federal taxes than they would have under the tax policies in place
before the Tories first came to power in 1984."
Newsgroups: ont.test
From: tannerc@cu18.crl.aecl.ca (Chris Tanner)
Subject: Test Message
Organization: AECL-Research
Distribution: ott
Date: Fri, 6 Nov 1992 15:47:06 GMT

This is a test message, testing our link to the new news server.

Chris
-- 
Chris Tanner                  Email: tannerc@CU18.CRL.AECL.CA
AECL Research                 Phone: (613) 584-3311 X4053       
Chalk River, Ont.             FAX:   (613) 584-1082
Canada, K0J 1J0
Newsgroups: ont.test
From: myhui@bnr.ca (Michael Hui)
Subject: << Buns are people too. Hug them. >>
Organization: Bell-Northern Research Ltd., Ottawa, Canada
Distribution: ont
Date: Mon, 09 Nov 92 01:19:18 GMT

 hug hug hug hug hug hug hug hug .....   :->
-- 
Michael MY Hui  ~{~}  myhui@bnr.ca  Ottawa Canada
Newsgroups: bnr.test,ont.test
From: lewis@bnrmtl.bnr.ca (Pierre LEWis)
Subject: Weekly test of outgoing news path (ignore)
Reply-To: lew@bnr.ca (Pierre LEWis)
Organization: Bell-Northern Research Montreal, Canada
Distribution: can
Date: Wed, 11 Nov 92 06:01:05 GMT

Quote of the week:

   Personally, I prefer "UNIX is a bell of AT&T Trademark Laboratories"
   which is I believe due to Chris Torek.

This is *only* a test, *please* ignore :-)!
-- 
Pierre LEWIS    +1 514 765-8207      ESN 852-8207
Internet: lew@bnr.ca                 Corwan: lewis@bnrmtl

Implementing standards is like walking on water -- both work best when frozen.
From: newsmgr@hpb.hwc.ca
Newsgroups: ont.test
Subject: Testing xmit to nott
Date: 6 Nov 92 12:27:41 EST
Organization: Health and Welfare, Canada

Testing 1-2-3, Quattro, Excel ...

Could someone please e-mail me at mgoddard@hpb.hwc.ca if this actually made
it to nott?

Thanks.

                                                       ....[MIchael]

-- 
NEWSMGR@HPB.HWC.CA : Michael Goddard : (613) 954-0169 : Fax (613) 952-9798
B9 Environmental Health Centre, Tunney's Pasture, Ottawa, Canada,  K1A 0L2
Newsgroups: ont.test
From: vaivads@gandalf.ca (Vic Vaivads)
Subject: gan - internal
Organization: Gandalf Data Ltd.
Distribution: ont
Date: Fri, 6 Nov 1992 20:33:49 GMT

test

Newsgroups: ont.jobs
From: "chris sherret" <chris.sherret@canrem.com>
Subject: contract programmer offer
Reply-To: "chris sherret" <chris.sherret@canrem.com>
Organization: Canada Remote Systems
Distribution: ont
Date: 12 Nov 92 12:29:51 EST

A l p h a   S y s t e m s   R e s o u r c e s
---------------------------------------------

Applications are invited for the following position:

DATE:           November 1992.
POSITION TITLE: Programmer Analyst.
LOCATION:       West Toronto.
SALARY:         Negotiable hourly rate. Overtime available.
QUALIFICATIONS:
        Proven success in providing software solutions using:
        -C / C++.
        -Databases.
        -Microsoft Windows / OS2
        -Communication skills.
        -Organizational skills.

DUTIES:
        Writing modules for a larger system, and providing design input
        to a team of programmers.

CONTACT:
        Fax resume to Alpha Systems Resources at (416) 234-9149.
            or
        Phone (416) 239-7761 .
--
Canada Remote Systems  - Toronto, Ontario
World's Largest PCBOARD System - 416-629-7000/629-7044
Newsgroups: ont.jobs
From: "barry ross" <barry.ross@canrem.com>
Subject: project engineer - tor
Reply-To: "barry ross" <barry.ross@canrem.com>
Organization: Canada Remote Systems
Distribution: ont
Date: 7 Nov 92 12:40:23 EST


ML>z  Newsgroup: ont.jobs
ML>z Message-ID: <1992Nov4.140945.2190@ists.ists.ca>
ML>z    Subject: Project Engineer - Toronto

ML> INSTITUTE FOR SPACE AND TERRESTRIAL SCIENCE (ISTS)

ML>           PROJECT COMPUTING ENGINEER: Ref. no. SGL-9211A

Maria Li,

Is  there  a summer student assistant position connected  to  the
above position for a second to third year electrical engineering,
U.  of  Toronto  student who has additional  computer  programing
experience.

He  won  the  Mr. Muffler award in high school  for  the  highest
computer science OAC mark for his year.

If there is such a position.  When should he submit his resume?

ML>ISTS is committed to Employment Equity.
ML>--
ML>Maria Li                       Tel.:     (416) 665-5402
ML>Director, Human Resources              Fax:      665-2032
ML>Institute for Space and Terrestrial Science    Internet: maria@ists.ists.ca
ML>4850 Keele Street

This is his father asking the questions, since I was the individ-
ual who noticed your notice and he is heavily into mid terms.

I  would appreciate a reply one way or the other.  That way I  am
assured you received the message and the message did not get lost
in cyber-space out there.

Regards,

Mr. Barry P. Ross
---
  DeLuxe 1.12 #10554  I tried the rest but bought the best!!!!
--
Canada Remote Systems  - Toronto, Ontario
World's Largest PCBOARD System - 416-629-7000/629-7044
Newsgroups: ont.jobs,can.jobs,kw.jobs,misc.jobs.resumes,tor.general,ott.general