Stephen M. Watt - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

In honour of Keith Geddes on his 60th birthdayMark Giesbrecht, Stephen M. Watt. JSC, 46(7):735-740, 2011. [doi]

An architecture for generic extensionsCosmin E. Oancea, Stephen M. Watt. SCP, 76(4):258-277, 2011. [doi]

2010

Symbolic Domain DecompositionJacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt. AISC 2010: 172-188 [doi]

Type Specialization in AldorLaurentiu Dragan, Stephen M. Watt. casc 2010: 73-84 [doi]

Toward affine recognition of handwritten mathematical charactersOleg Golubitsky, Vadim Mazalov, Stephen M. Watt. das 2010: 35-42 [doi]

Improved classification through runoff electionsOleg Golubitsky, Stephen M. Watt. das 2010: 59-64 [doi]

Distance-based classification of handwritten symbolsOleg Golubitsky, Stephen M. Watt. ijdar, 13(2):133-146, 2010. [doi]

12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010Tetsuo Ida, Viorel Negru, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie, editors, IEEE Computer Society, 2010.

Digital Ink Compression via Functional ApproximationVadim Mazalov, Stephen M. Watt. icfhr 2010: 688-694 [doi]

On the Mathematics of Mathematical Handwriting RecognitionStephen M. Watt. synasc 2010: 17 [doi]

2009

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. ProceedingsJacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt, editors, Volume 5625 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Confidence Measures in Recognizing Handwritten Mathematical SymbolsOleg Golubitsky, Stephen M. Watt. mkm 2009: 460-466 [doi]

Online computation of similarity between handwritten charactersOleg Golubitsky, Stephen M. Watt. drr 2009: 1-10 [doi]

Online Recognition of Multi-Stroke Symbols with Orthogonal SeriesOleg Golubitsky, Stephen M. Watt. icdar 2009: 1265-1269 [doi]

A new approach to parallelising tracing algorithmsCosmin E. Oancea, Alan Mycroft, Stephen M. Watt. iwmm 2009: 10-19 [doi]

A Collaborative Interface for Multimodal Ink and Audio DocumentsAmit Regmi, Stephen M. Watt. icdar 2009: 901-905 [doi]

Computing with abstract matrix structuresAlan P. Sexton, Volker Sorge, Stephen M. Watt. issac 2009: 325-332 [doi]

Reasoning with Generic Cases in the Arithmetic of Abstract MatricesAlan P. Sexton, Volker Sorge, Stephen M. Watt. mkm 2009: 138-153 [doi]

Algorithms for the Functional Decomposition of Laurent PolynomialsStephen M. Watt. mkm 2009: 186-200 [doi]

2008

2007

Generation and optimisation of code using coxeter lattice pathsThomas J. Ashby, Anthony D. Kennedy, Stephen M. Watt. issac 2007: 1-10 [doi]

Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional ApproximationBruce W. Char, Stephen M. Watt. icdar 2007: 1198-1202 [doi]

Streaming-Archival InkML ConversionBirendra Keshari, Stephen M. Watt. icdar 2007: 1253-1257 [doi]

Hybrid Mathematical Symbol Recognition Using Support Vector MachinesBirendra Keshari, Stephen M. Watt. icdar 2007: 859-863 [doi]

Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, CanadaMarc Moreno Maza, Stephen M. Watt, editors, ACM, 2007.

Multiprocessed parallelism support in ALDOR on SMPs and multicoresMarc Moreno Maza, Ben Stephenson, Stephen M. Watt, Yuzhen Xie. issac 2007: 60-68 [doi]

Aspects of Mathematical Expression Analysis in Arabic HandwritingElena S. Smirnova, Stephen M. Watt. icdar 2007: 1183-1187 [doi]

Symbolic-Numeric Computation, SNC 2007, International Workshop, 25-27 July 2007, University of Western Ontario, London, Ontario, CanadaStephen M. Watt, Jan Verschelde, editors, ACM, 2007.

New Aspects of InkML for Pen-Based ComputingStephen M. Watt. icdar 2007: 457-460 [doi]

2006

Coxeter Lattice PathsThomas J. Ashby, Anthony D. Kennedy, Stephen M. Watt. dagstuhl 2006: [doi]

A Localized Tracing Scheme Applied to Garbage CollectionYannis Chicha, Stephen M. Watt. aplas 2006: 323-339 [doi]

Challenges in Symbolic Computation Software, 02.07. - 07.07.2006Wolfram Decker, Mike Dewar, Erich Kaltofen, Stephen M. Watt, editors, Volume 06271 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.

06271 Abstracts Collection -- Challenges in Symbolic Computation SoftwareWolfram Decker, Mike Dewar, Erich Kaltofen, Stephen M. Watt. dagstuhl 2006: [doi]

06271 Executive Summary - Challenges in Symbolic Computation SoftwareWolfram Decker, Mike Dewar, Erich Kaltofen, Stephen M. Watt. dagstuhl 2006: [doi]

Two Families of Algorithms for Symbolic PolynomialsStephen M. Watt. dagstuhl 2006: [doi]

Pivot-Free Block Matrix InversionStephen M. Watt. dagstuhl 2006: [doi]

Pivot-Free Block Matrix InversionStephen M. Watt. synasc 2006: 151-155 [doi]

Algorithms for Symbolic PolynomialsStephen M. Watt. cascon 2006: 302 [doi]

A technique for generic iteration and its optimizationStephen M. Watt. ICFP 2006: 76-86 [doi]

Improving Pen-Based Mathematical InterfacesStephen M. Watt. synasc 2006: 12 [doi]

2005

Performance Analysis of Generics in Scientific ComputingLaurentiu Dragan, Stephen M. Watt. synasc 2005: 93-100 [doi]

Parametric polymorphism for software component architecturesCosmin E. Oancea, Stephen M. Watt. OOPSLA 2005: 147-166 [doi]

Distributed Models of Thread Level SpeculationCosmin E. Oancea, Jason W. A. Selby, Mark Giesbrecht, Stephen M. Watt. pdpta 2005: 920-927

Domains and expressions: an interface between two approaches to computer algebraCosmin E. Oancea, Stephen M. Watt. issac 2005: 261-268 [doi]

Towards an Accessible Web through Semantic Web StandardsClare M. So, Mark Perry, Stephen M. Watt. cpsn 2005: 10-16

Determining Empirical Characteristics of Mathematical Expression UseClare M. So, Stephen M. Watt. mkm 2005: 361-375 [doi]

Recognition for Large Sets of Handwritten Mathematical SymbolsStephen M. Watt, Xiaofang Xie. icdar 2005: 740-744 [doi]

2004

An Architecture for Distributed Mathematical Web ServicesElena S. Smirnova, Clare M. So, Stephen M. Watt. mkm 2004: 363-377 [doi]

2003

Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple FormsBill Naylor, Stephen M. Watt. AMAI, 38(1-3):3-25, 2003.

2002

Reasoning about the Elementary Functions of Complex AnalysisRussell J. Bradford, Robert M. Corless, James H. Davenport, David J. Jeffrey, Stephen M. Watt. AMAI, 36(3):303-318, 2002.

A geometric-numeric algorithm for absolute factorization of multivariate polynomialsRobert M. Corless, André Galligo, Ilias S. Kotsireas, Stephen M. Watt. issac 2002: 37-45 [doi]

2001

Towards factoring bivariate approximate polynomialsRobert M. Corless, Mark Giesbrecht, Mark van Hoeij, Ilias S. Kotsireas, Stephen M. Watt. issac 2001: 85-92 [doi]

2000

Numerical Implicitization of Parametric Hypersurfaces with Linear AlgebraRobert M. Corless, Mark Giesbrecht, Ilias S. Kotsireas, Stephen M. Watt. AISC 2001: 174-183 [doi]

Reasoning about the Elementary Functions of Complex AnalysisRobert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt. AISC 2001: 115-126 [doi]

1999

Approximate polynomial decompositionRobert M. Corless, Mark Giesbrecht, David J. Jeffrey, Stephen M. Watt. issac 1999: 213-219 [doi]

1997

An OpenMath 1.0 ImplementationStéphane Dalmas, Marc Gaëtano, Stephen M. Watt. issac 1997: 241-248

A Numerical Absolute Primality Test for Bivariate PolynomialsAndré Galligo, Stephen M. Watt. issac 1997: 217-224

1995

On the Implementation of Dynamic EvaluationPeter A. Broadbery, T. Gómez-Díaz, Stephen M. Watt. issac 1995: 77-84 [doi]

The Singular Value Decomposition for Polynomial SystemsRobert M. Corless, Patrizia M. Gianni, Barry M. Trager, Stephen M. Watt. issac 1995: 195-207 [doi]

1994

A First Report on the A:::#::: CompilerStephen M. Watt, Peter A. Broadbery, Samuel S. Dooley, Pietro Iglio, Scott C. Morrison, Jonathan M. Steinbach, Robert S. Sutor. issac 1994: 25-31 [doi]

1988

A Fixed Point Method for Power Series ComputationStephen M. Watt. issac 1989: 206-217

1987

Infinite structures in SCRATCHPAD IIWilliam H. Burge, Stephen M. Watt. eurocal 1989: 138-148

Scratchpad II: An Abstract Datatype System for Mathematical ComputationRichard D. Jenks, Robert S. Sutor, Stephen M. Watt. ibm 1988: 12-37

1985

A System for Parallel Computer Algebra ProgramsStephen M. Watt. eurocal 1985: 537-538