2008 |
45 | EE | Oleg Golubitsky,
Stephen M. Watt:
Online stroke modeling for handwriting recognition.
CASCON 2008: 6 |
2007 |
44 | | Marc Moreno Maza,
Stephen M. Watt:
Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada
ACM 2007 |
43 | | Stephen M. Watt,
Jan Verschelde:
Symbolic-Numeric Computation, SNC 2007, International Workshop, 25-27 July 2007, University of Western Ontario, London, Ontario, Canada
ACM 2007 |
42 | EE | Elena S. Smirnova,
Stephen M. Watt:
Aspects of Mathematical Expression Analysis in Arabic Handwriting.
ICDAR 2007: 1183-1187 |
41 | EE | Bruce W. Char,
Stephen M. Watt:
Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation.
ICDAR 2007: 1198-1202 |
40 | EE | Birendra Keshari,
Stephen M. Watt:
Streaming-Archival InkML Conversion.
ICDAR 2007: 1253-1257 |
39 | EE | Stephen M. Watt:
New Aspects of InkML for Pen-Based Computing.
ICDAR 2007: 457-460 |
38 | EE | Birendra Keshari,
Stephen M. Watt:
Hybrid Mathematical Symbol Recognition Using Support Vector Machines.
ICDAR 2007: 859-863 |
37 | EE | Thomas J. Ashby,
Anthony D. Kennedy,
Stephen M. Watt:
Generation and optimisation of code using coxeter lattice paths.
PASCO 2007: 1-10 |
36 | EE | Marc Moreno Maza,
Ben Stephenson,
Stephen M. Watt,
Yuzhen Xie:
Multiprocessed parallelism support in ALDOR on SMPs and multicores.
PASCO 2007: 60-68 |
2006 |
35 | | Wolfram Decker,
Mike Dewar,
Erich Kaltofen,
Stephen M. Watt:
Challenges in Symbolic Computation Software, 02.07. - 07.07.2006
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 |
34 | EE | Yannis Chicha,
Stephen M. Watt:
A Localized Tracing Scheme Applied to Garbage Collection.
APLAS 2006: 323-339 |
33 | EE | Stephen M. Watt:
Algorithms for Symbolic Polynomials.
CASC 2006: 302 |
32 | EE | Wolfram Decker,
Mike Dewar,
Erich Kaltofen,
Stephen M. Watt:
06271 Abstracts Collection -- Challenges in Symbolic Computation Software.
Challenges in Symbolic Computation Software 2006 |
31 | EE | Wolfram Decker,
Mike Dewar,
Erich Kaltofen,
Stephen M. Watt:
06271 Executive Summary - Challenges in Symbolic Computation Software.
Challenges in Symbolic Computation Software 2006 |
30 | EE | Thomas J. Ashby,
Anthony D. Kennedy,
Stephen M. Watt:
Coxeter Lattice Paths.
Challenges in Symbolic Computation Software 2006 |
29 | EE | Stephen M. Watt:
Pivot-Free Block Matrix Inversion.
Challenges in Symbolic Computation Software 2006 |
28 | EE | Stephen M. Watt:
Two Families of Algorithms for Symbolic Polynomials.
Challenges in Symbolic Computation Software 2006 |
27 | EE | Stephen M. Watt:
A technique for generic iteration and its optimization.
ICFP-WGP 2006: 76-86 |
26 | EE | Stephen M. Watt:
Improving Pen-Based Mathematical Interfaces.
SYNASC 2006: 12 |
25 | EE | Stephen M. Watt:
Pivot-Free Block Matrix Inversion.
SYNASC 2006: 151-155 |
2005 |
24 | | Clare M. So,
Mark Perry,
Stephen M. Watt:
Towards an Accessible Web through Semantic Web Standards.
CPSN 2005: 10-16 |
23 | EE | Stephen M. Watt,
Xiaofang Xie:
Recognition for Large Sets of Handwritten Mathematical Symbols.
ICDAR 2005: 740-744 |
22 | EE | Cosmin E. Oancea,
Stephen M. Watt:
Domains and expressions: an interface between two approaches to computer algebra.
ISSAC 2005: 261-268 |
21 | EE | Clare M. So,
Stephen M. Watt:
Determining Empirical Characteristics of Mathematical Expression Use.
MKM 2005: 361-375 |
20 | EE | Cosmin E. Oancea,
Stephen M. Watt:
Parametric polymorphism for software component architectures.
OOPSLA 2005: 147-166 |
19 | | Cosmin E. Oancea,
Jason W. A. Selby,
Mark Giesbrecht,
Stephen M. Watt:
Distributed Models of Thread Level Speculation.
PDPTA 2005: 920-927 |
18 | EE | Laurentiu Dragan,
Stephen M. Watt:
Performance Analysis of Generics in Scientific Computing.
SYNASC 2005: 93-100 |
2004 |
17 | EE | Elena S. Smirnova,
Clare M. So,
Stephen M. Watt:
An Architecture for Distributed Mathematical Web Services.
MKM 2004: 363-377 |
2003 |
16 | | Bill Naylor,
Stephen M. Watt:
Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms.
Ann. Math. Artif. Intell. 38(1-3): 3-25 (2003) |
2002 |
15 | EE | Robert M. Corless,
André Galligo,
Ilias S. Kotsireas,
Stephen M. Watt:
A geometric-numeric algorithm for absolute factorization of multivariate polynomials.
ISSAC 2002: 37-45 |
14 | | Russell J. Bradford,
Robert M. Corless,
James H. Davenport,
David J. Jeffrey,
Stephen M. Watt:
Reasoning about the Elementary Functions of Complex Analysis.
Ann. Math. Artif. Intell. 36(3): 303-318 (2002) |
2001 |
13 | EE | Robert M. Corless,
Mark Giesbrecht,
Mark van Hoeij,
Ilias S. Kotsireas,
Stephen M. Watt:
Towards factoring bivariate approximate polynomials.
ISSAC 2001: 85-92 |
2000 |
12 | EE | Robert M. Corless,
James H. Davenport,
David J. Jeffrey,
Gurjeet Litt,
Stephen M. Watt:
Reasoning about the Elementary Functions of Complex Analysis.
AISC 2000: 115-126 |
11 | EE | Robert M. Corless,
Mark Giesbrecht,
Ilias S. Kotsireas,
Stephen M. Watt:
Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra.
AISC 2000: 174-183 |
1999 |
10 | EE | Robert M. Corless,
Mark Giesbrecht,
David J. Jeffrey,
Stephen M. Watt:
Approximate polynomial decomposition.
ISSAC 1999: 213-219 |
1997 |
9 | | André Galligo,
Stephen M. Watt:
A Numerical Absolute Primality Test for Bivariate Polynomials.
ISSAC 1997: 217-224 |
8 | | Stéphane Dalmas,
Marc Gaëtano,
Stephen M. Watt:
An OpenMath 1.0 Implementation.
ISSAC 1997: 241-248 |
1995 |
7 | EE | Robert M. Corless,
Patrizia M. Gianni,
Barry M. Trager,
Stephen M. Watt:
The Singular Value Decomposition for Polynomial Systems.
ISSAC 1995: 195-207 |
6 | EE | Peter A. Broadbery,
T. Gómez-Díaz,
Stephen M. Watt:
On the Implementation of Dynamic Evaluation.
ISSAC 1995: 77-84 |
1994 |
5 | EE | Stephen M. Watt,
Peter A. Broadbery,
Samuel S. Dooley,
Pietro Iglio,
Scott C. Morrison,
Jonathan M. Steinbach,
Robert S. Sutor:
A First Report on the A# Compiler.
ISSAC 1994: 25-31 |
1988 |
4 | | Stephen M. Watt:
A Fixed Point Method for Power Series Computation.
ISSAC 1988: 206-217 |
1987 |
3 | | William H. Burge,
Stephen M. Watt:
Infinite structures in SCRATCHPAD II.
EUROCAL 1987: 138-148 |
2 | | Richard D. Jenks,
Robert S. Sutor,
Stephen M. Watt:
Scratchpad II: An Abstract Datatype System for Mathematical Computation.
Trends in Computer Algebra 1987: 12-37 |
1985 |
1 | | Stephen M. Watt:
A System for Parallel Computer Algebra Programs.
European Conference on Computer Algebra (2) 1985: 537-538 |