SearchBrowse

close this section of the libraryftp://ftp.cpsc.ucalgary.ca (36)
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/MLWS-CanAI94/holte.ps.gz, 19940505
ALearning Apprentice For Browsing Robert C. Holte Chris Drummond Computer Science Department University of Ottawa Ottawa, Ontario, Canada K1N 6N5 {holte,cdrummon}@csi.uottawa.ca
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/MLWS-CanAI94/yang.ps.gz, 19940505
Learning Situated Control Rules for Reactive Planning Qiang Yang Department of Computer Science University of Waterloo Waterloo, Ontario, Canada N2L3G1 qyang@logos.uwaterloo.ca (519) 885 - 1211 (ext. 4716) 1 Introduction We are interested in the automatic synthesis of reactive plans for agents
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/MLWS-CanAI94/macdonald.ps.gz, 19940505
Learning, planning, and understanding human instructions Bruce A. MacDonald and Jacky Baltes Department of Computer Science, University of Calgary, 2500 University Drive NW, Calgary, Alberta, Canada T2N 1N4 email: fbruce,baltesg@cpsc.ucalgary.ca
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/MLWS-CanAI94/evans.ps.gz, 19940505
Bounding the Vapnik-Chervonenkis Dimension of DNF via Learning Reductions Patricia A. Evans and Michael R. Fellows Department of Computer Science P. O. Box 3055 University of Victoria Victoria, B.C. V8W 3P6, Canada pevans@csr.uvic.ca, mfellows@csr.uvic.ca
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/MLWS-CanAI94/witten.ps.gz, 19940505
Trans-Pacific machine learning research: The Calgary/Waikato axis Ian H. Witten Department of Computer Science, University of Calgary, Calgary T2N 1N4 Canada Department of Computer Science, University of Waikato, Hamilton, New Zealand Email: ian@cpsc.ucalgary.ca The following five contributions
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/MLWS-CanAI94/mineau.ps.gz, 19940505
Conceptual Clustering for Software Reuse and Knowledge Sharing Guy Mineau Robert Godin, Rokia Missaoui D pt. d Informatique D pt. de Math matiques et Informatique Universit Laval Universit du Qu bec Montr al Cit universitaire C.P. 8888, Succ. A Qu bec, Qu bec Montr al, Qu bec Canada, G1K 7P4 Canada, H3C
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/MLWS-CanAI94/shamanski.ps.gz, 19940505
IntroductionRecently, Dawson and Schopflocher (1992)developed a variant of Rumelhart, Hinton, andWilliams' (1986) generalized delta rule to train valueunit networks, which represent an extension of whatAnderson and Rosenfeld (1988) call the generic par-allel distributed processing (PDP) architecture.
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/MLWS-CanAI94/schwalb.ps.gz, 19940505
Using Identifiability for Learning Horn Logic programs Eddie Schwalb, Rina Dechter, Mike Pazzani Department of Information and Computer Science University of California, Irvine CA 92717 feschwalb,dechter,pazzanig@ics.uci.edu May 4, 1994
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/MLWS-CanAI94/jirku.ps.gz, 19940505
Logical Foundations of Machine Learning Petr Jirk u1 and Ivan Bruha2 1 Faculty of Informatics and Statistics, Prague University of Economics Czech Republic E{mail: jirku@vse.cz 2 McMaster University, Hamilton, Ontario, Canada E{mail: bruha@mcmaster.ca
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/MLWS-CanAI94/dawson.ps.gz, 19940505
Parallel distributed processing (PDP) modelshave been developed for a diverse range of phenom-ena, as a survey of almost any journal related to cog-nitive science will show. As a result, it has been sug-gested that connectionism represents a potentialparadigm shift for the computational study of
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/MLWS-CanAI94/title.ps, 19940505
Proceedings of the Machine Learning Workshop at AI/GI/VI'94 Banff, Alberta, Canada 17 May 1994 Sponsored by: Canadian Society for Computational Studies of Intelligence Alberta Research Council Organizing committee: Bruce MacDonald University of Calgary Robert Holte University of Ottawa Charles Ling
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/MLWS-CanAI94/schuurmans.ps.gz, 19940505
Is PAC Learning Practical Dale Schuurmans Department of Computer Science University of Toronto Toronto, ON M5S 1A4 dale@cs.toronto.edu
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/MLWS-CanAI94/ling.ps.gz, 19940505
Predicting Irregular Past Tenses Comparing Symbolic and Connectionist models against Native English Speakers Charles X. Ling Department of Computer Science University of Western Ontario London, Ontario, Canada N6A 5B7 Email: ling@csd.uwo.ca
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/MLWS-CanAI94/minton.ps.gz, 19940505
A Brute-Force Approach to Learning Axioms Steven Minton Ian Underwood Recom Technologies NASA Ames Research Center Mail Stop 269-2 Moffett Field, CA 94035
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/MLWS-CanAI94/baltes.ps.gz, 19940505
Case-based Meta Learning: Reusing previously learned concepts in sustained learning JACKY BALTES COMPUTER SCIENCE DEPARTMENT UNIVERSITY OF CALGARY EMAIL: BALTES@CPSC.UCALGARY.CA
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/Lightning/paper.ps.gz, 19940509
Visual Simulation of Lightning Todd Reed and Brian Wyvill The University of Calgary1
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/Lightning/paper2.ps.gz, 19940509
Visual Simulation of Lightning Todd Reed and Brian Wyvill The University of Calgary1
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/MLWS-CanAI94/schedule.ps, 19940512
ADVANCE PROGRAM Machine Learning Workshop at AI'94 Canadian Artificial Intelligence Conference Banff Park Lodge, Banff, Alberta, Canada Conference: May 16-20, 1994 Workshop date: May 17 7:30 am Registration 8:30 Welcome 8:35 Keynote address: Ming Li (Waterloo) PAC{Learning Theory and its Applications
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/ImplicitNotes/chapter7.ps.gz, 19940512
Chapter 7: Building and Animating Implicit Surface Models Brian Wyvill 7.1 Introduction The idea of building 3D models by using equations which describe their shape is often the approach taken when first confronted with the problem of making a geometric computer model. For example the implicit equation:
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/categories/interaction/concur_94.ps.Z, 19941006
SProc Categorically J.R.B. Cockett and D.A. Spooner University of Calgary, Department of Computer Science, 2500 University Drive N.W., Calgary, Canada T2N 1N4
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/categories/interaction/mfps_x.ps.Z, 19941006
Constructing Process Categories J.R.B. Cockett D.A. Spooner Corresponding Author: David Spooner University of Calgary Department of Computer Science 2500 University Drive N.W. Calgary, Canada T2N 1N4 Phone: 403 220 6780 email: spoonerd@cpsc.ucalgary.ca
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/graham/van2.ps.gz, 19941103
TESTING THE CONSEQUENCES OF SPECIFICATIONS IN THE MODAL -CALCULUS Ying Liu, John Aldwinckle, Graham Birtwistle, Ken Stevens, Department of Computer Science, University of Calgary, Canada. Canadian Conference on Electronic and Computer Engineering, Vancouver, 1993. October 1, 1994
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/graham/opDen.ps.gz, 19941103
Relating Operational and Denotational Descriptions of ssDEMOS Graham Birtwistle Chris Tofts, Department of Computer Science, Department of Computer Science, University of Calgary the University Manchester. Calgary Manchester Canada UK November 3, 1994
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/graham/op1.ps.gz, 19941103
OPERATIONAL SEMANTICS OF PROCESS-ORIENTED SIMULATION LANGUAGES PART 1 : ssDemos G. Birtwistle1 and C. Tofts2, 1 Department of Computer Science, University of Calgary, 2 Department of Computer Science, University of Swansea 12 October 1993
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/graham/move2.ps.gz, 19941103
Case Studies in Asynchronous Design Part II: a 4 stroke AMM Graham Birtwistle, Ying Liu, John Aldwinckle, Ken Stevens and Wanzhen Yu Department of Computer Science, University of Calgary grahamjliuyjjohnajstevensjyuw@cpsc.ucalgary.ca 28 February 1994
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/graham/ccsDemos.ps.gz, 19941103
CHARACTERISING THE STRUCTURE OF SIMULATION MODELS IN CCS G. Birtwistle1, R. Pooley2, and C. Tofts3 1 Department of Computer Science, University of Calgary, 2 Department of Computer Science, University of Edinburgh, 3 Department of Computer Science, University of Swansea October 4 1993
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/graham/van1.ps.gz, 19941103
DESIGNING PARALLEL SPECIFICATIONS IN CCS Ken Stevens, John Aldwinckle, Graham Birtwistle, Ying Liu, Department of Computer Science, University of Calgary, Canada. Canadian Conference on Computer Engineering, Vancouver, 1993. October 1, 1994
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/graham/op2.ps.gz, 19941103
OPERATIONAL SEMANTICS OF PROCESS-ORIENTED SIMULATION LANGUAGES. PART II: Demos Graham Birtwistle, Department of Computer Science, University of Calgary, Calgary, Alberta T2N 1N4. Net: graham@cpsc.ucalgary.ca Chris Tofts, Department of Computer Science, University of Manchester, England. Net:
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/graham/holText.ps.gz, 19941103
new theory `HOL`;; An Introduction to Hardware Verification in Higher Order Logic by Graham Birtwistle, Computer Science, University of Calgary, Net address: graham@cpsc.ucalgary.ca Shiu-Kai Chin, Computer Engineering, Syracuse University, Net address: chin@cat.syr.edu Brian Graham, Computing
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/graham/lksecd.ps.gz, 19941103
From LispKit to SECD Chip: Some Steps on the way to a Verified System Todd Simpson, Brian Graham, and Graham Birtwistle, Department of Computer Science, University of Calgary, Calgary, Alberta, Canada T2N 1N4.
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/graham/euro.ps.gz, 19941103
OBJECTS THEN AND NOW Graham Birtwistle, Department of Computer Science, University of Calgary 28 December 1993
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/graham/fun.ps.gz, 19941103
The purely functional implementation of an object oriented simulation language Graham Birtwistley and Chris Toftsz yDepartment of Computer Science, University of Calgary, Calgary, Alberta T2N 1N4. Net: graham@cpsc.ucalgary.ca zDepartment of Computer Science, University of Manchester, England. Net:
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/graham/cornell.ps.gz, 19941103
Formalising the Design of an SECD chip1 Brian Graham and Graham Birtwistle, University of Calgary, Canada
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/graham/move1.ps.gz, 19941103
Case Studies in Asynchronous Design. Part 1: AMM architecture G. Birtwistle, Y. Liu, D. Spooner, John Aldwinckle, Ken Stevens, and Wanzhen Yu Department of Computer Science, University of Calgary grahamjliuyjspoonerdjjohnajstevensjyuw@cpsc.ucalgary.ca 31 December 1993
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/graham/denmark.ps.gz, 19941103
Verifying SECD in HOL1 G. Birtwistle and B. Graham, Department of Computer Science, University of Calgary, 2500 University Drive, Calgary, Alberta, Canada T2N 1N4
open this document and view contentsftp://ftp.cpsc.ucalgary.ca/pub/papers/categories/interaction/cpc.ps.gz, 19960513
Constructing process categories J.R.B. Cockett 1 and David A. Spooner 1;2 University of Calgary, Department of Computer Science, 2500 University Drive, Calgary, Canada T2N 1N4