| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Vadim Mazalov, Stephen M. Watt |
Linear Compression of Digital Ink via Point Selection.  |
Document Analysis Systems  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cosmin E. Oancea, Stephen M. Watt |
An architecture for generic extensions. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Giesbrecht, Stephen M. Watt |
In honour of Keith Geddes on his 60th birthday. |
J. Symb. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dongming Wang, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie (eds.) |
13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011 |
SYNASC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stephen M. Watt |
Computational Tools for Mathematical Collaboration. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Golubitsky, Stephen M. Watt |
Distance-based classification of handwritten symbols. |
IJDAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Golubitsky, Vadim Mazalov, Stephen M. Watt |
Toward affine recognition of handwritten mathematical characters. |
Document Analysis Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Golubitsky, Stephen M. Watt |
Improved classification through runoff elections. |
Document Analysis Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tetsuo Ida, Viorel Negru, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie (eds.) |
12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010 |
SYNASC |
2010 |
DBLP BibTeX RDF |
|
| 1 | Stephen M. Watt |
On the Mathematics of Mathematical Handwriting Recognition. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt |
Symbolic Domain Decomposition. |
AISC/MKM/Calculemus |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vadim Mazalov, Stephen M. Watt |
Digital Ink Compression via Functional Approximation. |
ICFHR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurentiu Dragan, Stephen M. Watt |
Type Specialization in Aldor. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Amit Regmi, Stephen M. Watt |
A Collaborative Interface for Multimodal Ink and Audio Documents. |
ICDAR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Golubitsky, Stephen M. Watt |
Online Recognition of Multi-Stroke Symbols with Orthogonal Series. |
ICDAR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Golubitsky, Stephen M. Watt |
Confidence Measures in Recognizing Handwritten Mathematical Symbols. |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt (eds.) |
Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan P. Sexton, Volker Sorge, Stephen M. Watt |
Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen M. Watt |
Algorithms for the Functional Decomposition of Laurent Polynomials. |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen M. Watt, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Daniela Zaharie (eds.) |
11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009 |
SYNASC |
2009 |
DBLP BibTeX RDF |
|
| 1 | Cosmin E. Oancea, Alan Mycroft, Stephen M. Watt |
A new approach to parallelising tracing algorithms. |
ISMM |
2009 |
DBLP DOI BibTeX RDF |
memory-centric tracing algorithm, parallel |
| 1 | Oleg Golubitsky, Stephen M. Watt |
Online computation of similarity between handwritten characters. |
DRR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan P. Sexton, Volker Sorge, Stephen M. Watt |
Computing with abstract matrix structures. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
abstract matrix arithmetic, symbolic computation |
| 1 | Stephen M. Watt |
An Empirical Measure on the Set of Symbols Occurring in Engineering Mathematics Texts. |
Document Analysis Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena S. Smirnova, Stephen M. Watt |
Communicating Mathematics via Pen-Based Interfaces. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan P. Sexton, Volker Sorge, Stephen M. Watt |
Abstract Matrix Arithmetic. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Golubitsky, Stephen M. Watt |
Online stroke modeling for handwriting recognition. |
CASCON |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Birendra Keshari, Stephen M. Watt |
Streaming-Archival InkML Conversion. |
ICDAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Birendra Keshari, Stephen M. Watt |
Hybrid Mathematical Symbol Recognition Using Support Vector Machines. |
ICDAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena S. Smirnova, Stephen M. Watt |
Aspects of Mathematical Expression Analysis in Arabic Handwriting. |
ICDAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen M. Watt |
New Aspects of InkML for Pen-Based Computing. |
ICDAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruce W. Char, Stephen M. Watt |
Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation. |
ICDAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas J. Ashby, Anthony D. Kennedy, Stephen M. Watt |
Generation and optimisation of code using coxeter lattice paths. |
PASCO |
2007 |
DBLP DOI BibTeX RDF |
coxeter groups, code generation, stencils, data-parallel computing |
| 1 | Marc Moreno Maza, Ben Stephenson, Stephen M. Watt, Yuzhen Xie |
Multiprocessed parallelism support in ALDOR on SMPs and multicores. |
PASCO |
2007 |
DBLP DOI BibTeX RDF |
aldor, categorical parallelism, dynamic process management, multiprocessor parallelism, shared memory |
| 1 | Marc Moreno Maza, Stephen M. Watt (eds.) |
Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada |
PASCO |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stephen M. Watt, Jan Verschelde (eds.) |
Symbolic-Numeric Computation, SNC 2007, International Workshop, 25-27 July 2007, University of Western Ontario, London, Ontario, Canada |
SNC |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stephen M. Watt |
Improving Pen-Based Mathematical Interfaces. |
SYNASC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen M. Watt |
Pivot-Free Block Matrix Inversion. |
SYNASC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas J. Ashby, Anthony D. Kennedy, Stephen M. Watt |
Coxeter Lattice Paths. |
Challenges in Symbolic Computation Software |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wolfram Decker, Mike Dewar, Erich Kaltofen, Stephen M. Watt (eds.) |
Challenges in Symbolic Computation Software, 02.07. - 07.07.2006 |
Challenges in Symbolic Computation Software |
2006 |
DBLP BibTeX RDF |
|
| 1 | Stephen M. Watt |
Pivot-Free Block Matrix Inversion. |
Challenges in Symbolic Computation Software |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wolfram Decker, Mike Dewar, Erich Kaltofen, Stephen M. Watt |
06271 Executive Summary - Challenges in Symbolic Computation Software. |
Challenges in Symbolic Computation Software |
2006 |
DBLP BibTeX RDF |
|
| 1 | Stephen M. Watt |
Two Families of Algorithms for Symbolic Polynomials. |
Challenges in Symbolic Computation Software |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wolfram Decker, Mike Dewar, Erich Kaltofen, Stephen M. Watt |
06271 Abstracts Collection -- Challenges in Symbolic Computation Software. |
Challenges in Symbolic Computation Software |
2006 |
DBLP BibTeX RDF |
|
| 1 | Stephen M. Watt |
A technique for generic iteration and its optimization. |
ICFP-WGP |
2006 |
DBLP DOI BibTeX RDF |
generic program, iterators |
| 1 | Yannis Chicha, Stephen M. Watt |
A Localized Tracing Scheme Applied to Garbage Collection. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen M. Watt |
Algorithms for Symbolic Polynomials. |
CASC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Clare M. So, Mark Perry, Stephen M. Watt |
Towards an Accessible Web through Semantic Web Standards. |
CPSN |
2005 |
DBLP BibTeX RDF |
|
| 1 | Stephen M. Watt, Xiaofang Xie |
Recognition for Large Sets of Handwritten Mathematical Symbols. |
ICDAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Clare M. So, Stephen M. Watt |
Determining Empirical Characteristics of Mathematical Expression Use. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurentiu Dragan, Stephen M. Watt |
Performance Analysis of Generics in Scientific Computing. |
SYNASC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cosmin E. Oancea, Jason W. A. Selby, Mark Giesbrecht, Stephen M. Watt |
Distributed Models of Thread Level Speculation. |
PDPTA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Cosmin E. Oancea, Stephen M. Watt |
Parametric polymorphism for software component architectures. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
antiunification, software component architecture, generics, templates, parametric polymorphism |
| 1 | Cosmin E. Oancea, Stephen M. Watt |
Domains and expressions: an interface between two approaches to computer algebra. |
ISSAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Corless, Stephen M. Watt, Lihong Zhi |
QR factoring to compute the GCD of univariate approximate polynomials. |
IEEE Transactions on Signal Processing |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena S. Smirnova, Clare M. So, Stephen M. Watt |
An Architecture for Distributed Mathematical Web Services. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bill Naylor, Stephen M. Watt |
Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms. |
Ann. Math. Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Corless, André Galligo, Ilias S. Kotsireas, Stephen M. Watt |
A geometric-numeric algorithm for absolute factorization of multivariate polynomials. |
ISSAC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Corless, Mark Giesbrecht, Mark van Hoeij, Ilias S. Kotsireas, Stephen M. Watt |
Towards factoring bivariate approximate polynomials. |
ISSAC |
2001 |
DBLP DOI BibTeX RDF |
Maple |
| 1 | Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt |
Reasoning about the Elementary Functions of Complex Analysis. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
Complex identities, Topics: AI and Symbolic Mathematical Computing, Integration of Logical Reasoning and Computer Algebra, Elementary functions, Branch cuts |
| 1 | Robert M. Corless, Mark Giesbrecht, Ilias S. Kotsireas, Stephen M. Watt |
Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Corless, Mark Giesbrecht, David J. Jeffrey, Stephen M. Watt |
Approximate polynomial decomposition. |
ISSAC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Dalmas, Marc Gaëtano, Stephen M. Watt |
An OpenMath 1.0 Implementation. |
ISSAC |
1997 |
DBLP BibTeX RDF |
|
| 1 | André Galligo, Stephen M. Watt |
A Numerical Absolute Primality Test for Bivariate Polynomials. |
ISSAC |
1997 |
DBLP BibTeX RDF |
|
| 1 | Robert M. Corless, Patrizia M. Gianni, Barry M. Trager, Stephen M. Watt |
The Singular Value Decomposition for Polynomial Systems. |
ISSAC |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter A. Broadbery, T. Gómez-Díaz, Stephen M. Watt |
On the Implementation of Dynamic Evaluation. |
ISSAC |
1995 |
DBLP DOI BibTeX RDF |
C, SCHEME |
| 1 | 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 |
DBLP DOI BibTeX RDF |
LISP |
| 1 | Stephen M. Watt (eds.) |
Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, ISSAC '91, Bonn, Germany, July 15-17, 1991 |
ISSAC |
1991 |
DBLP BibTeX RDF |
|
| 1 | Stephen M. Watt |
A Fixed Point Method for Power Series Computation. |
ISSAC |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard D. Jenks, Robert S. Sutor, Stephen M. Watt |
Scratchpad II: An Abstract Datatype System for Mathematical Computation. |
Trends in Computer Algebra |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | William H. Burge, Stephen M. Watt |
Infinite structures in SCRATCHPAD II. |
EUROCAL |
1987 |
DBLP BibTeX RDF |
|
| 1 | Stephen M. Watt |
A System for Parallel Computer Algebra Programs. |
European Conference on Computer Algebra |
1985 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")