Stem mathemat$ (all stems)

267 papers:

CASE-2015-AlfonsoXA #approach #capacity #programming #representation #scheduling

A simulation-optimization approach for capacity planning and appointment scheduling of blood donors based on mathematical programming representation of event dynamics (EA, XX, VA), pp. 728–733.

HCI-DE-2015-WatabeM #regular expression #user interface #visual notation

Graphical User Interface for Search of Mathematical Expressions with Regular Expressions (TW, YM), pp. 438–447.

SIGIR-2015-Liska #information retrieval

Enhancing Mathematics Information Retrieval (ML), p. 1063.

SIGIR-2015-SchubotzYMC #challenge #information retrieval #wiki

Challenges of Mathematical Information Retrievalin the NTCIR-11 Math Wikipedia Task (MS, AY, VM, HSC), pp. 951–954.

CADE-2015-Martin #lessons learnt

Stumbling Around in the Dark: Lessons from Everyday Mathematics (UM), pp. 29–51.

CAV-2015-ManoliosPP #framework #modulo theories #programming

The Inez Mathematical Programming Modulo Theories Framework (PM, JP, VP), pp. 53–69.

ILC-2014-Smith #lisp #programming

Common Lisp’s Predilection for Mathematical Programming (RS), p. 10.

DUXU-DI-2014-Souto #design #experience #interactive #learning #user interface #visualisation

Interactive Visualizations in Learning Mathematics: Implications for Information Design and User Experience (VTS), pp. 472–480.

DUXU-TMT-2014-BrangierD #case study #heuristic #persuasion

Heuristic Inspection to Assess Persuasiveness: A Case Study of a Mathematics E-learning Program (EB, MCD), pp. 425–436.

KDIR-2014-JohnsonC #clustering #identification #network

Mathematical Foundations of Networks Supporting Cluster Identification (JEJ, JWC), pp. 277–285.

SIGIR-2014-LinGHTXL #layout #retrieval

A mathematics retrieval system for formulae in layout presentations (XL, LG, XH, ZT, YX, XL), pp. 697–706.

LICS-CSL-2014-Mahboubi #order #proving #theorem

Computer-checked mathematics: a formal proof of the odd order theorem (AM), p. 1.

CASE-2013-ChenZH #analysis #modelling #performance

Mathematical modeling and performance analysis of battery equalization systems (HC, LZ, YH), pp. 711–716.

DATE-2013-LukasiewyczSC #programming #using

Priority assignment for event-triggered systems using mathematical programming (ML, SS, SC), pp. 982–987.

DRR-2013-MedjkouneMPV #approach #online #recognition #using

Using online handwriting and audio streams for mathematical expressions recognition: a bimodal approach (SM, HM, SP, CVG).

DRR-2013-SimistiraPKC #analysis #online

Structural analysis of online handwritten mathematical symbols based on support vector machines (FS, VP, VK, GC).

ICDAR-2013-AlkalaiBSL #analysis #identification

Improving Formula Analysis with Line and Mathematics Identification (MA, JBB, VS, XL), pp. 334–338.

ICDAR-2013-AlvaroSB #classification #hybrid #network #online

Classification of On-Line Mathematical Symbols with Hybrid Features and Recurrent Neural Networks (FA, JAS, JMB), pp. 1012–1016.

ICDAR-2013-FurukoriYMSO #documentation

An OCR System with OCRopus for Scientific Documents Containing Mathematical Formulas (FF, SY, TM, KS, MO), pp. 1175–1179.

ICDAR-2013-LinGTBAS #detection #recognition

A Text Line Detection Method for Mathematical Formula Recognition (XL, LG, ZT, JBB, MA, VS), pp. 339–343.

ICDAR-2013-MouchereVZGK #contest #online #recognition

ICDAR 2013 CROHME: Third International Competition on Recognition of Online Handwritten Mathematical Expressions (HM, CVG, RZ, UG, DHK), pp. 1428–1432.

FoSSaCS-2013-Abou-SalehP #semantics

Comodels and Effects in Mathematical Operational Semantics (FAS, DP), pp. 129–144.

DHM-HB-2013-ZhaoLZ #analysis #higher-order #statistics

Higher Order Statistics Analyses Based on the Mathematical Model of Surface Electromyography (YZ, DL, JZ), pp. 402–408.

DUXU-CXC-2013-TsueiCC #metric #mobile #usability

Measuring Usability of the Mobile Mathematics Curriculum-Based Measurement Application with Children (MT, HYC, BSC), pp. 304–310.

HCI-IMT-2013-MedjkouneMPV #multimodal #recognition #speech

Multimodal Mathematical Expressions Recognition: Case of Speech and Handwriting (SM, HM, SP, CVG), pp. 77–86.

HIMI-LCCB-2013-WatabeMH #process

Application to Help Learn the Process of Transforming Mathematical Expressions with a Focus on Study Logs (TW, YM, YH), pp. 157–164.

ICEIS-v1-2013-Santibanez-GonzalezM #network #novel

A Novel Mathematical Formulation for the Strategic Planning of a Reverse Supply Chain Network — Theoretical and Computational Results (EDRSG, NM), pp. 570–577.

SIGIR-2013-KamaliT #documentation

Retrieving documents with mathematical content (SK, FWT), pp. 353–362.

POPL-2013-Gonthier #order #proving #theorem

Engineering mathematics: the odd order theorem proof (GG), pp. 1–2.

ER-BR-2013-VilelaRC #multi #named

Mastem: A Mathematics Tutoring Multi-Agent System (JV, RAR, JC).

ESEC-FSE-2013-Gonthier #re-engineering

Software engineering for mathematics (keynote) (GG), p. 13.

CASE-2012-KoJJ #automation #modelling #optimisation

Mathematical modeling and optimization of the automated wireless charging electric transportation system (YDK, YJJ, SJ), pp. 250–255.

DRR-2012-LinGTHL #documentation #embedded #identification #using

Identification of embedded mathematical formulas in PDF documents using SVM (XL, LG, ZT, XH, XL).

DRR-2012-SchellenbergYZ #retrieval

Layout-based substitution tree indexing and retrieval for mathematical expressions (TS, BY, RZ).

ITiCSE-2012-Asad #image #student

Junior high school students performing image smoothening and noise filtering by applying mathematical operations (KA), p. 390.

ITiCSE-2012-CookDHHJKS #abstraction #approach #education #modelling

A systematic approach to teaching abstraction and mathematical modeling (CTC, SDS, JOH, JEH, DPJ, JK, MS), pp. 357–362.

ITiCSE-2012-DrorR #automaton #finite

The effect of mathematical vs. verbal formulation for finite automata (TD, DLR), p. 382.

TFPIE-2012-Ragde

Mathematics Is Imprecise (PR), pp. 40–49.

SAS-2012-IoualalenM #abstract domain #representation

A New Abstract Domain for the Representation of Mathematically Equivalent Expressions (AI, MM), pp. 75–93.

CSCW-2012-TausczikP #community #online

Participation in an online mathematics community: differentiating motivations to add (YRT, JWP), pp. 207–216.

CIKM-2012-KimYK #equation #query #retrieval #using #word

Mathematical equation retrieval using plain words as a query (SK, SY, YK), pp. 2407–2410.

CIKM-2012-ReyesD #natural language #preprocessor

Preprocessing of informal mathematical discourse in context ofcontrolled natural language (REGdPR, JFDF), pp. 1632–1636.

ICPR-2012-HuHPZ #parsing

Baseline extraction-driven Parsing of handwritten mathematical expressions (LH, KH, RP, RZ), pp. 326–330.

SIGIR-2012-LimSG #on the #trade-off

On the mathematical relationship between expected n-call@k and the relevance vs. diversity trade-off (KWL, SS, SG), pp. 1117–1118.

IJCAR-2012-KuhlweinLTUH #bibliography #evaluation #scalability

Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics (DK, TvL, ET, JU, TH), pp. 378–392.

IJCAR-2012-Matiyasevich #automation #reasoning

Enlarging the Scope of Applicability of Successful Techniques for Automated Reasoning in Mathematics (YM), p. 9.

DATE-2011-RemondNBM #approach #design #empirical #process #simulation

Mathematical approach based on a “Design of Experiment” to simulate process variations (ER, EN, CB, RM), pp. 1486–1490.

DocEng-2011-SojkaL #retrieval

The art of mathematics retrieval (PS, ML), pp. 57–60.

DRR-2011-ZanibbiY #keyword #retrieval

Keyword and image-based retrieval of mathematical expressions (RZ, BY), pp. 1–10.

ICDAR-2011-AlvaroSB #2d #context-free grammar #probability #recognition #using

Recognition of Printed Mathematical Expressions Using Two-Dimensional Stochastic Context-Free Grammars (FA, JAS, JMB), pp. 1225–1229.

ICDAR-2011-BakerSSS #analysis #documentation

Comparing Approaches to Mathematical Document Analysis from PDF (JBB, APS, VS, MS), pp. 463–467.

ICDAR-2011-CelikY #2d #graph grammar #probability #recognition #using

Probabilistic Mathematical Formula Recognition Using a 2D Context-Free Graph Grammar (MC, BAY), pp. 161–166.

ICDAR-2011-HuZ #online #recognition #using

HMM-Based Recognition of Online Handwritten Mathematical Symbols Using Segmental K-Means Initialization and a Modified Pen-Up/Down Feature (LH, RZ), pp. 457–462.

ICDAR-2011-LinGTLH #documentation #identification

Mathematical Formula Identification in PDF Documents (XL, LG, ZT, XL, XH), pp. 1419–1423.

ICDAR-2011-MarinaiMS11a #distance #retrieval #using

Using Earth Mover’s Distance in the Bag-of-Visual-Words Model for Mathematical Symbol Retrieval (SM, BM, GS), pp. 1309–1313.

ICDAR-2011-MedjkouneMPV #recognition

Handwritten and Audio Information Fusion for Mathematical Symbol Recognition (SM, HM, SP, CVG), pp. 379–383.

ICDAR-2011-MouchereVKKG #contest #named #online #recognition

CROHME2011: Competition on Recognition of Online Handwritten Mathematical Expressions (HM, CVG, DHK, JHK, UG), pp. 1497–1500.

ICDAR-2011-QuiniouMSVMPM #dataset #named

HAMEX — A Handwritten and Audio Dataset of Mathematical Expressions (SQ, HM, SPS, CVG, EM, SP, SM), pp. 452–456.

ICDAR-2011-YamazakiFZSO

Embedding a Mathematical OCR Module into OCRopus (SY, FF, QZ, KS, MO), pp. 880–884.

ICDAR-2011-ZanibbiPMVB #metric #performance

Stroke-Based Performance Metrics for Handwritten Mathematical Expressions (RZ, AP, HM, CVG, DB), pp. 334–338.

ICFP-2011-ChyzakD #generative #ml #runtime #using #web

Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web (FC, AD), pp. 259–265.

CHI-2011-CranshawK #collaboration #lessons learnt #online

The polymath project: lessons from a successful online collaboration in mathematics (JC, AK), pp. 1865–1874.

CHI-2011-HowisonTRA #concept #interactive #learning

The mathematical imagery trainer: from embodied interaction to conceptual learning (MH, DT, DR, DA), pp. 1989–1998.

CHI-2011-TausczikP #online #predict #quality

Predicting the perceived quality of online mathematics contributions from users’ reputations (YRT, JWP), pp. 1885–1888.

HCD-2011-BoltonS #design #tool support

Culturally Situated Design Tools: Animated Support Tools for Mathematics (ATB, CDS), pp. 351–359.

HIMI-v1-2011-OkuboTT #comparison #complexity

Comparison between Mathematical Complexity and Human Feeling (MO, AT, ST), pp. 132–141.

KDD-2011-Pearl

The mathematics of causal inference (JP), p. 5.

POPL-2011-BattyOSSW #c++ #concurrent

Mathematizing C++ concurrency (MB, SO, SS, PS, TW), pp. 55–66.

CASE-2010-KumarKST #predict #programming

A mathematical programming for predicting molecular formulas in accurate mass spectrometry (SK, MK, RS, KT), pp. 246–251.

DATE-2010-LauLCB #probability

A general mathematical model of probabilistic ripple-carry adders (MSKL, KVL, YCC, AB), pp. 1100–1105.

DRR-2010-AwalMV #classification #hybrid #recognition

A hybrid classifier for handwritten mathematical expression recognition (AMA, HM, CVG), pp. 1–10.

SEFM-2010-CristiaAM #detection #framework #testing

Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions (MC, PA, PRM), pp. 268–277.

CIKM-2010-KamaliT #retrieval

A new mathematics retrieval system (SK, FWT), pp. 1413–1416.

ICPR-2010-AlvaroS #recognition

Comparing Several Techniques for Offline Recognition of Printed Mathematical Symbols (FA, JAS), pp. 1953–1956.

KEOD-2010-NeumaierS #framework #representation

A Framework for Representing and Processing Arbitrary Mathematics (AN, PS), pp. 476–479.

KMIS-2010-Muller #adaptation #documentation #generative #metadata

Adaptation of Mathematical Documents — Exploring Document Structures, Metadata, and Context for the Generation of User-specific Documents (CM), pp. 143–148.

PPDP-2010-Tarau #declarative #finite #modelling

Declarative modeling of finite mathematics (PT), pp. 131–142.

PADL-2010-AgarwalBGG #automation #program transformation

Automating Mathematical Program Transformations (AA, SB, AGG, IEG), pp. 134–148.

ASE-2009-DenneyF #approach #documentation #traceability

A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software (ED, BF), pp. 560–564.

CASE-2009-RoyBCC

HIV model with intracellular delay — a mathematical study (PKR, NB, JC, BC), pp. 373–378.

ICDAR-2009-AlyUFS #classification #statistics

Statistical Classification of Spatial Relationships among Mathematical Symbols (WA, SU, AF, MS), pp. 1350–1354.

ICDAR-2009-AwalMV #recognition #towards

Towards Handwritten Mathematical Expression Recognition (AMA, HM, CVG), pp. 1046–1050.

ICDAR-2009-FujiyoshiSU #detection

Syntactic Detection and Correction of Misrecognitions in Mathematical OCR (AF, MS, SU), pp. 1360–1364.

ICDAR-2009-Garain #documentation #identification #image

Identification of Mathematical Expressions in Document Images (UG), pp. 1340–1344.

ICDAR-2009-KimRLK #consistency #recognition

Utilizing Consistency Context for Handwritten Mathematical Expression Recognition (KK, THR, JSL, JHK), pp. 1051–1055.

ICDAR-2009-MarinaiMS #clustering #order #using

Mathematical Symbol Indexing Using Topologically Ordered Clusters of Shape Contexts (SM, BM, GS), pp. 1041–1045.

SIGMOD-2009-BrodskyBCEW #abstraction #database #programming #query

A decisions query language (DQL): high-level abstraction for mathematical programming over databases (AB, MMB, MC, NEE, XSW), pp. 1059–1062.

CHI-2009-BuntTL #research

Friend or foe?: examining CAS use in mathematics research (AB, MAT, EL), pp. 229–238.

HIMI-DIE-2009-HijikataHN

Search Mathematical Formulas by Mathematical Formulas (YH, HH, SN), pp. 404–411.

ICEIS-ISAS-2009-OhmoriK #approach #development #enterprise #invariant

Enterprise System Development with Invariant Preserving — A Mathematical Approach by the Homotopy Lifting and Extension Properties (KO, TLK), pp. 116–123.

SEKE-2009-SoriaMSDH #estimation #modelling

Software Project Effort Estimation Non Lineal Mathematical Models (PRS, BMH, MFdS, MJDA, MAH), pp. 619–624.

ECMDA-FA-2009-SchmitzZRJPPKR #development #modelling

Mapping Requirement Models to Mathematical Models in Control System Development (DS, MZ, TR, MJ, AP, JP, SK, MR), pp. 253–264.

TLCA-2009-FioreH #deduction #equation #synthesis

Mathematical Synthesis of Equational Deduction Systems (MPF, CKH), pp. 1–2.

ESOP-2008-Coquand #functional #programming

Constructive Mathematics and Functional Programming (Abstract) (TC), pp. 146–147.

AFL-2008-Petre #assembly

Mathematics of gene assembly in ciliates (Abstract) (IP), pp. 54–55.

GPCE-2008-Batory #modelling #using

Using modern mathematics as an FOSD modeling language (DSB), pp. 35–44.

TestCom-FATES-2008-Kuliamin

Test Construction for Mathematical Functions (VVK), pp. 23–37.

CASE-2007-ReveliotisR0 #algebra #concurrent #correctness #policy #programming #verification

Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies through Mathematical Programming (SR, ER, JYC), pp. 200–206.

DRR-2007-BuyukbayrakYE #online #recognition

Online handwritten mathematical expression recognition (HB, BAY, AE).

ICDAR-2007-ChangTO #image #physics #segmentation

Physical Structure Segmentation with Projection Profile for Mathematic Formulae and Graphics in Academic Paper Images (TYC, YT, MO), pp. 1193–1197.

ICDAR-2007-CharW #approximate #functional #representation

Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation (BWC, SMW), pp. 1198–1202.

ICDAR-2007-FitzgeraldGK #fuzzy #named #recognition

Mathpad: A Fuzzy Logic-Based Recognition System for Handwritten Mathematics (JAF, FG, MTK), pp. 694–698.

ICDAR-2007-GuoHLJ #automation #comprehension

An Automatic Mathematical Expression Understanding System (YsG, LH, CpL, XJ), pp. 719–723.

ICDAR-2007-KeshariW #hybrid #recognition #using

Hybrid Mathematical Symbol Recognition Using Support Vector Machines (BK, SMW), pp. 859–863.

ICDAR-2007-PrusaH #2d #recognition #using

Mathematical Formulae Recognition Using 2D Grammars (DP, VH), pp. 849–853.

ICDAR-2007-ShiLS #framework #recognition #segmentation

A Unified Framework for Symbol Segmentation and Recognition of Handwritten Mathematical Expressions (YS, HL, FKS), pp. 854–858.

ICDAR-2007-SmirnovaW #analysis #aspect-oriented

Aspects of Mathematical Expression Analysis in Arabic Handwriting (ESS, SMW), pp. 1183–1187.

DHM-2007-NiuLS #3d #analysis #bibliography #comparison #perspective

Mathematical Methods for Shape Analysis and form Comparison in 3D Anthropometry: A Literature Review (JN, ZL, GS), pp. 161–170.

HCI-AS-2007-LiuLS #behaviour #comprehension #design #game studies #online #what

What Makes Game Players Want to Play More? A Mathematical and Behavioral Understanding of Online Game Design (DL, XL, RS), pp. 284–293.

SIGAda-2007-Maurer #ada #proving #using

Using mathematics to improve ada compiled code, part 2: the proof (WDM), pp. 11–26.

CAV-2007-Russinoff #approach #verification

A Mathematical Approach to RTL Verification (DMR), p. 2.

AdaEurope-2006-Maurer #ada #using

Using Mathematics to Improve Ada Compiled Code (WDM), pp. 191–202.

ICPR-v2-2006-AnR #linear #novel #recognition

Novel Mathematical Model for Enhanced Fisher’s Linear Discriminant and Its Application to Face Recognition (GA, QR), pp. 524–527.

ICPR-v2-2006-TakiguchiOM #case study #comprehension #fault #recognition

A Study on Character Recognition Error Correction at Higher Level Recognition Step for Mathematical Formulae Understanding (YT, MO, YM), pp. 966–969.

ICPR-v3-2006-AsanoTTTANTHM #using

Extraction of trabecular structures of mandible excluding tooth roots on dental panoramic radiographs using mathematical morphology (AA, TT, AT, CMA, TN, KT, TH, MM), pp. 988–991.

ICPR-v3-2006-KoshimizuTF

OK-Quantization Theory — A Mathematical Theory of Quantization - (HK, YT, TF), pp. 865–868.

SAC-2006-GotoC #analysis #logic

A quantitative analysis of implicational paradoxes in classical mathematical logic (YG, JC), pp. 42–43.

IJCAR-2006-Buchberger

Mathematical Theory Exploration (BB), pp. 1–2.

LICS-2006-Dawson #assessment #logic

Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gödel’s Impact on Logic, Mathematics, and Computer Science (JWD), pp. 339–341.

LICS-2006-FioreS #calculus #congruence #process #semantics

A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics (MPF, SS), pp. 49–58.

CASE-2005-WeiL #concurrent #policy #programming #using

A deadlock prevention policy for FMS using mathematical programming (NW, ZL), pp. 399–403.

ICDAR-2005-DrakeB #geometry #using

Distinguishing Mathematics Notation from English Text using Computational Geometry (DMD, HSB), pp. 1270–1274.

ICDAR-2005-GarainC #analysis #approach #multi #segmentation

Segmentation of Touching Symbols for OCR of Printed Mathematical Expressions: An Approach based on Multifactorial Analysis (UG, BBC), pp. 177–181.

ICDAR-2005-SuzukiUN #database #image

A Ground-Truthed Mathematical Character and Symbol Image Database (MS, SU, AN), pp. 675–679.

ICDAR-2005-TakiguchiOM #comprehension #layout #recognition #semantics

A Fundamental Study of Output Translation from Layout Recognition and Semantic Understanding System for Mathematical Formulae (YT, MO, YM), pp. 745–749.

ICDAR-2005-TapiaR #online #recognition

Recognition of On-Line Handwritten Mathematical Expressions in the E-Chalk System — An Extension (ET, RR), pp. 1206–1210.

ICDAR-2005-WattX #recognition #scalability #set

Recognition for Large Sets of Handwritten Mathematical Symbols (SMW, XX), pp. 740–744.

ICDAR-2005-ZhangBZ #fuzzy #logic #using

Using Fuzzy Logic to Analyze Superscript and Subscript Relations in Handwritten Mathematical Expressions (LZ, DB, RZ), pp. 972–976.

FoSSaCS-2005-Fiore #combinator #modelling

Mathematical Models of Computational and Combinatorial Structures (MPF), pp. 25–46.

IFM-2005-Parnas #documentation #product line

A Family of Mathematical Methods for Professional Software Documentation (DLP), pp. 1–4.

COCV-J-2005-Langmaack #question #reasoning #what

What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer? (HL), pp. 5–32.

VMCAI-2005-SankaranarayananSM #analysis #linear #programming #scalability #using

Scalable Analysis of Linear Systems Using Mathematical Programming (SS, HBS, ZM), pp. 25–41.

DRR-2004-Najman #documentation #estimation #using

Using mathematical morphology for document skew estimation (LN), pp. 182–191.

ITiCSE-2004-ConradF #object-oriented #paradigm #source code #using

Using the synergies between the object-oriented paradigm and mathematics in joint mathematics/computer science programs (MC, TF), p. 254.

ICPR-v1-2004-GarainCC #documentation #embedded #identification

Identification of Embedded Mathematical Expressions in Scanned Documents (UG, BBC, ARC), pp. 384–387.

ICPR-v1-2004-GarainCG #classification #multi #recognition

A Multiple-Classifier System for Recognition of Printed Mathematical Symbols (UG, BBC, RPG), pp. 380–383.

ICPR-v2-2004-ToyozumiYMKMST #case study #recognition #segmentation #using

A Study of Symbol Segmentation Method for Handwritten Mathematical Formula Recognition using Mathematical Structure Information (KT, NY, KM, TK, KM, YS, TT), pp. 630–633.

CAV-2004-Hunt #verification

Mechanical Mathematical Methods for Microprocessor Verification (WAHJ), pp. 523–533.

DocEng-2003-SuzukiTFUK #documentation #named

INFTY: an integrated OCR system for mathematical documents (MS, FT, RF, SU, TK), pp. 95–104.

ICDAR-2003-GarainC #comprehension #on the #online

On Machine Understanding of Online Handwritten Mathematical Expressions (UG, BBC), pp. 349–353.

ICDAR-2003-JinHW

Mathematical Formulas Extraction (JJ, XH, QW), pp. 1138–1141.

ICDAR-2003-MitraGCVP #automation #comprehension

Automatic Understanding of Structures in Printed Mathematical Expressions (JM, UG, BBC, KSHV, TP), pp. 540–544.

ICDAR-2003-NomuraMUS #detection #segmentation

Detection and Segmentation of Touching Characters in Mathematical Expression (AN, KM, SU, MS), pp. 126–130.

ICDAR-2003-TapiaR #online #recognition

Recognition of On-line Handwritten Mathematical Formulas in the E-Chalk System (ET, RR), pp. 980–984.

ITiCSE-2003-Papadimitriou #education #named

Mythematics: storytelling in the teaching of computer science and mathematics (CHP), p. 1.

ICFP-2003-Page

Software is discrete mathematics (RLP), pp. 79–86.

CGO-2003-Thomas

Inlining of Mathematical Functions in HP-UX for Itanium ® 2 (JWT), pp. 135–148.

CSL-2003-Buchberger #logic #symbolic computation

Computational Mathematics, Computational Logic, and Symbolic Computation (Invited Lecture) (BB), pp. 98–99.

ICLP-2003-Morozov #development #logic #logic programming #web

Development and Application of Logical Actors Mathematical Apparatus for Logic Programming of Web Agents (AAM), pp. 494–495.

RTA-2003-UrsoK #induction

“Term Partition” for Mathematical Induction (PU, EK), pp. 352–366.

ITiCSE-2002-AlmstrumGHM #education #research

Import and export to/from computing science education: the case of mathematics education research (VLA, DG, OH, TM), pp. 193–194.

SCAM-2002-RamseyA #framework #using

A Simple Mathematically Based Framework for Rule Extraction Using Wide Spectrum Language (FVR, JJA), p. 44–?.

ICEIS-2002-KimT #communication #design #enterprise #modelling #ontology #process #using

Designing Business Processes and Communication Structures for E-Business Using Ontology-Based Enterprise Models with Mathematical Models (HMK, KDT), pp. 635–641.

ICPR-v2-2002-BarataP #classification #clustering #modelling #set #using

Improving Classification Rates by Modelling the Clusters of Trainings Sets in Features Space Using Mathematical Morphology Operators (TB, PP), pp. 328–331.

ICPR-v3-2002-GurevichJS #image #invariant #recognition

A Method of Image Recognition Based on the Fusion of Reduced Invariant Representations: Mathematical Substantiation (IBG, IAJ, YGS), pp. 391–394.

ICPR-v4-2002-BarataP02a #classification #clustering #modelling #set #using

Improving Classification Rates by Modelling the Clusters of Trainings Sets in Features Space Using Mathematical Morphology Operators (TB, PP), pp. 90–93.

UML-2002-VarroP #framework #metamodelling #modelling #precise #semantics #uml #visual notation

Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models (DV, AP), pp. 18–33.

SAC-2002-Sarbazi-AzadO #adaptation

A simple mathematical model of adaptive routing in wormhole k-ary n-cubes (HSA, MOK), pp. 835–839.

CADE-2002-AudemardBCKS #approach #linear #satisfiability

A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions (GA, PB, AC, AK, RS), pp. 195–210.

CADE-2002-ZimmerK #distributed #reasoning

System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning (JZ, MK), pp. 139–143.

CSL-2002-HayashiA

Limit-Computable Mathematics and Its Applications (SH, YA), p. 1.

ICDAR-2001-ChanY #named #novel #online #recognition

PenCalc: A Novel Application of On-Line Mathematical Expression Recognition Technology (KFC, DYY), pp. 774–778.

ICDAR-2001-Couasnon #automation #documentation #generative #named #recognition

DMOS: A Generic Document Recognition Method, Application to an Automatic Generator of Musical Scores, Mathematical Formulae and Table Structures Recognition Systems (BC), pp. 215–220.

ICDAR-2001-EtoS #network #recognition #using

Mathematical Formula Recognition Using Virtual Link Network (YE, MS), pp. 762–767.

ICDAR-2001-OkamotoIT #evaluation #performance #recognition #robust

Performance Evaluation of a Robust Method for Mathematical Expression Recognition (MO, HI, KT), pp. 121–128.

ICDAR-2001-ToyozumiMSS #realtime #recognition

A System for Real-time Recognition of Handwritten Mathematical Formulas (KT, KM, YS, TS), pp. 1059–1063.

ICDAR-2001-ZanibbiBC #analysis

Baseline Structure Analysis of Handwritten Mathematics Notation (RZ, DB, JRC), pp. 768–773.

FME-2001-Airchinnigh #towards

Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics (MMaA), pp. 396–418.

ASE-2000-MartinWTG #kernel

Formal Construction of the Mathematically Analyzed Separation Kernel (WM, PW, FST, AG), pp. 133–142.

CSEET-2000-Tremblay #formal method #question #re-engineering

Formal Methods: Mathematics, Computer Science, or Software Engineering? (GT), pp. 273–282.

ITiCSE-2000-Kosa #algorithm #distributed

Distributed algorithms in the discrete mathematics course (poster session) (MJK), pp. 189–190.

ICML-2000-ColtonBW #automation #concept #identification

Automatic Identification of Mathematical Concepts (SC, AB, TW), pp. 183–190.

ICPR-v2-2000-KanekoGF #3d #recognition #using

Abdominal Organ Recognition Using 3D Mathematical Morphology (TK, LG, HF), pp. 2263–2266.

ICPR-v4-2000-BarataPG #image

Segmenting at Higher Scales to Classify at Lower Scales. A Mathematical Morphology Based Methodology Applied to Forest Cover Remote Sensing Images (TB, PP, IG), pp. 4084–4087.

ICPR-v4-2000-GarainC #approach #documentation

A Syntactic Approach for Processing Mathematical Expressions in Printed Documents (UG, BBC), pp. 4523–4526.

ICPR-v4-2000-SuzukiMSA #realtime #recognition

A New System for the Real-Time Recognition of Handwritten Mathematical Formulas (TS, KM, YS, SA), pp. 4515–4518.

TOOLS-PACIFIC-2000-Diskin #modelling #on the

On Mathematical Foundations for Business Modeling (Presented at TOOLS-USA 2000) (ZD), pp. 182–189.

FoSE-2000-Maibaum #re-engineering #roadmap

Mathematical foundations of software engineering: a roadmap (TSEM), pp. 161–172.

CADE-2000-FrankeK #knowledge base

System Description: MBASE, an Open Mathematical Knowledge Base (AF, MK), pp. 455–459.

CADE-2000-Harrison #proving #theorem proving #using #verification

High-Level Verification Using Theorem Proving and Formalized Mathematics (JH), pp. 1–6.

CSL-2000-KahleS #formal method

A Theory of Explicit Mathematics Equivalent to ID1 (RK, TS), pp. 356–370.

ICDAR-1999-FukudaSTXS #analysis

A Technique of Mathematical Expression Structure Analysis for the Handwriting Input System (RF, IS, FT, MX, MS), pp. 131–134.

ICDAR-1999-KacemBA #automation #named

EXTRAFOR: Automatic EXTRAction of Mathematical FORmulas (AK, AB, MBA), pp. 527–530.

ICDAR-1999-MoritaFBGS

Mathematical Morphology and Weighted Least Squares to Correct Handwriting Baseline Skew (MEM, JF, FB, SJAG, RS), pp. 430–433.

ICDAR-1999-ToumitGE #automation #documentation #recursion

A Hierarchical and Recursive Model of Mathematical Expressions for Automatic Reading of Mathematical Documents (JT, SGS, HE), pp. 119–122.

TACAS-1999-ParnasP #tool support

An Easily Extensible Toolset for Tabular Mathematical Expressions (DLP, DKP), pp. 345–359.

HCI-CCAD-1999-JohnsonO #learning #multi #problem #using

Innovative mathematical learning environments — Using multimedia to solve real world problems (LFJ, POJ), pp. 677–681.

CAV-1999-Chou #evaluation

The Mathematical Foundation fo Symbolic Trajectory Evaluation (CTC), pp. 196–207.

ASE-1998-LowryBK #empirical #integration #testing #towards #verification

Towards a Theory for Integration of Mathematical Verification and Empirical Testing (MRL, MB, DK), p. 322–?.

ITiCSE-1998-JohnsonLHSFDM #collaboration #using

Virtual office hours using TechTalk, a Web-based mathematical collaboration tool (JRJ, YNL, TTH, TS, TF, SD, PM), pp. 130–133.

ICPR-1998-AsanoYY #modelling

Active contour model based on mathematical morphology (AA, TY, SY), pp. 1455–1457.

ICPR-1998-GuKTH #image #robust #using

Robust extraction of characters from color scene image using mathematical morphology (LG, TK, NT, RMH), pp. 1002–1004.

ICPR-1998-RiazanovSZ #algebra #logic #optimisation #pattern matching #pattern recognition #recognition

Mathematical methods for pattern recognition: logic, optimization, algebraic approaches (VVR, OVS, YIZ), pp. 831–834.

ICPR-1998-SchaufAH #modelling #recognition #recursion #using

Model-based shape recognition using recursive mathematical morphology (MLS, SA, RMH), pp. 202–204.

ICPR-1998-SoilleT #image #using

Image structure orientation using mathematical morphology (PS, HT), pp. 1467–1469.

LOPSTR-1998-AyedDFM #program transformation

Mathematical Foundations for Program Transformations (RBA, JD, MF, AM), pp. 319–321.

ICDAR-1997-SolihinL

Mathematical properties of the native integral ratio handwriting and text extraction technique (YS, GL), p. 1102–?.

ICDAR-1997-ZhaoLZPT #online #recognition

On-line recognition handwritten mathematical symbol (XZ, XL, SZ, BP, YYT), pp. 645–648.

ITiCSE-1997-Berry #algorithm #education

Improving discrete mathematics and algorithms curricula with LINK (JWB), pp. 14–20.

ITiCSE-WGR-1997-Berry97a #algorithm #named

LINK: a software package for discrete mathematics and algorithms (demonstration) (JWB), p. 145.

ITiCSE-WGR-1997-BogoiavlenskiPS #education

Use of computing curricula 1991 for transition from “Mathematics” to “Applied Mathematics and CS” baccalaureate programme (poster) (IAB, AAP, GSS, AVV), p. 144.

ITiCSE-WGR-1997-Glazunov #education #on the

On mathematical assistant CARANT-REDUCE and its application to computer science education (demonstration) (NMG), p. 150.

ITiCSE-WGR-1997-TengstrandH #assessment #case study #communication

Forms of assessment that develop communication skills in computer science and mathematics — a case study (AT, MH), pp. 135–136.

DLT-1997-Kuich #automaton #named

Semirings: A basis for a mathematical automata and language theory (WK), pp. 49–60.

FME-1997-YoungB #analysis #memory management #modelling

Mathematical Modeling and Analysis of an External Memory Manager (WDY, WRB), pp. 237–257.

SAC-1997-FeinsilverGS #approach #on the #polynomial

On the computation of polynomial representations of nilpotent Lie groups: a symbolic mathematical approach (PF, UG, RS), pp. 537–539.

ICSE-1997-LindigS #composition #concept analysis #legacy

Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis (CL, GS), pp. 349–359.

CADE-1997-BenzmullerCFFHKKKMMSSS #named #towards

Omega: Towards a Mathematical Assistant (CB, LC, DF, AF, XH, MK, MK, KK, AM, EM, WS, JHS, VS), pp. 252–255.

LICS-1997-TuriP #semantics #towards

Towards a Mathematical Operational Semantics (DT, GDP), pp. 280–291.

ITiCSE-1996-AndreevaG

Informatics in an advanced mathematical high school (EA, IG), p. 231.

CHI-1996-TweedieSDS #modelling

Externalising Abstract Mathematical Models (LT, RS, HD, HS), p. 406–?.

ICPR-1996-AizenbergAK #image #learning #multi #network #pattern matching #pattern recognition #recognition

Multi-valued and universal binary neurons: mathematical model, learning, networks, application to image processing and pattern recognition (NNA, INA, GAK), pp. 185–189.

ICPR-1996-Foltyniewicz #automation #recognition

Automatic face recognition via wavelets and mathematical morphology (RF), pp. 13–17.

ICPR-1996-Matsui #detection #image #multi

A new mathematical human vision model with an autonomous image observing mechanism and its application to multiple motion detection (TM), pp. 723–727.

ICPR-1996-YamamotoMTI0 #automation #detection

Quoit filter-a new filter based on mathematical morphology to extract the isolated shadow, and its application to automatic detection of lung cancer in X-ray CT (SY, MM, YT, TI, TM), pp. 3–7.

ICDAR-v1-1995-GrbavecB #graph grammar #recognition #using

Mathematics recognition using graph rewriting (AG, DB), pp. 417–421.

ICDAR-v1-1995-LuoAD #approach #string

Directional mathematical morphology approach for line thinning and extraction of character strings from maps and line drawings (HL, GA, ID), pp. 257–260.

ICDAR-v1-1995-TwaakyondoO #analysis #recognition

Structure analysis and recognition of mathematical expressions (HMT, MO), pp. 430–437.

ICDAR-v2-1995-LeeW #design #recognition

Design of a mathematical expression recognition system (HJL, JSW), pp. 1084–1087.

ICDAR-v2-1995-ToraichiHH

Observation method for mathematical graphology (KT, TH, RH), pp. 656–659.

FPLE-1995-Karczmarczuk #functional #programming

Functional Programming and Mathematical Objects (JK), pp. 121–137.

SAC-1995-ThuenteS #algorithm #hybrid #problem #programming #search-based

Mathematical programming in a hybrid genetic algorithm for Steiner point problems (DJT, PS), pp. 357–363.

PPoPP-1995-AnderssonF #generative #modelling #object-oriented #parallel

Generating Parallel Code from Object Oriented Mathematical Models (NA, PF), pp. 48–57.

LICS-1995-Pratt #coordination

The Stone Gamut: A Coordinatization of Mathematics (VRP), pp. 444–454.

RTA-1995-Matiyasevich #logic #on the

On Some Mathematical Logic Contributions to Rewriting Techniques: Lost Heritage (Abstract) (YM), p. 1.

FME-1994-AnlauffJS #reasoning

An experimental support system for formal mathematical reasoning (MA, SJ, MS), pp. 421–440.

FME-1994-Weber #development

Literate Mathematical Development of a Revision Management System (MW), pp. 441–460.

KR-1994-GruberO #ontology

An Ontology for Engineering Mathematics (TRG, GRO), pp. 258–269.

CADE-1994-Slaney #automation #finite #reasoning

The Crisis in Finite Mathematics: Automated Reasoning as Cause and Cure (JKS), pp. 1–13.

ICDAR-1993-LeeL #comprehension #documentation

Understanding mathematical expressions in a printed document (HJL, MCL), pp. 502–505.

FME-1993-Butterfield #fault tolerance #towards

A VDM Study of Fault-Tolerant Stable Storage — Towards a Computer Engineering Mathematics (AB), pp. 216–234.

HCI-SHI-1993-SaitoN #algebra #comprehension #visual notation

An Algebraic System that Symbolic Expressions Can Interact with Graphical Representations for Understanding Mathematics (HS, MN), pp. 267–272.

INTERCHI-1993-NielsenL #problem #usability

A mathematical model of the finding of usability problems (JN, TKL), pp. 206–213.

TOOLS-EUROPE-1992-FritzsonVHF #algebra #analysis #industrial #modelling #object-oriented

Industrial Application of OO Mathematical Modeling and Computer Algebra in Mechanical Analysis (PF, LV, JH, DF), pp. 167–181.

CADE-1992-Ammon #analysis #automation #logic #proving

Automatic Proofs in Mathematical Logic and Analysis (KA), pp. 4–19.

VDME-1991-2-GoodY #development

Mathematical Methods for Digital Systems Development (DIG, WDY), pp. 406–430.

CSL-1991-Troelstra #formal method

Comparing the Theory of Representations and Constructive Mathematics (AST), pp. 383–395.

CADE-1990-FarmerGT #interactive #named #proving

IMPS: An Interactive Mathematical Proof System (WMF, JDG, FJT), pp. 653–654.

CADE-1990-WosWMOLSB #automation #logic #reasoning

Automated Reasoning Contributed to Mathematics and Logic (LW, SW, WM, RAO, ELL, RLS, RB), pp. 485–499.

CSL-1990-BorgerR #algebra #implementation #prolog #towards

From Prolog Algebras Towards WAM — A Mathematical Study of Implementation (EB, DR), pp. 31–66.

DAC-1989-PrasitjutrakulK #approach #programming

Path-Delay Constrained Floorplanning: A Mathematical Programming Approach for Initial Placement (SP, WJK), pp. 364–369.

CHI-1989-Nakayama #editing

Mathematical formula editor for CAI (YN), pp. 387–392.

ML-1989-HolteZ #framework #representation

A Mathematical Framework for Studying Representation (RCH, RMZ), pp. 454–456.

ML-1989-SimsB

Discovering Mathematical Operation Definitions (MHS, JLB), pp. 308–313.

ICSE-1989-Linger #re-engineering

Mathematics-Based Software Engineering for Completely Validated Software (RCL), p. 358.

LICS-1989-Lifschitz #reasoning

The Mathematics of Nonmonotonic Reasoning (Abstract) (VL), p. 242.

LFP-1988-FelleisenWFD #continuation #semantics

Abstract Continuations: A Mathematical Semantics for Handling Full Jumps (MF, MW, DPF, BFD), pp. 52–62.

LFP-1988-Roylance

Expressing Mathematical Subroutines Constructively (GR), pp. 8–13.

CADE-1988-McAllester #information management #named #representation

Ontic: A Knowledge Representation System for Mathematics (DAM), pp. 742–743.

VDME-1987-Airchinnigh #morphism

Mathematical Structures and their Morphisms in Meta-IV (MMaA), pp. 287–320.

HCI-SES-1987-Roesser

A Notation for the Input and Storage of Mathematics: An Application of SGML (JRR), pp. 137–142.

LICS-1986-Nerode #research

A Logician Looks at Expert Systems: Areas for Mathematical Research (Abstract of Invited Lecture) (AN), p. 120.

POPL-1985-Leivant #imperative #logic #reasoning #source code

Logical and Mathematical Reasoning about Imperative Programs (DL), pp. 132–140.

CADE-1984-Ketonen #named #proving

EKL — A Mathematically Oriented Proof Checker (JK), pp. 65–79.

STOC-1979-DeMilloL #complexity #logic

Some Connections between Mathematical Logic and Complexity Theory (RAD, RJL), pp. 153–159.

SIGMOD-1978-MarchS #approach #automation #database #design #modelling

A Mathematical Modeling Approach to the Automatic Selection of Database Designs (STM, DGS), pp. 52–65.

ICALP-1977-EhrigR

The Mathematics of Record Handling (HE, BKR), pp. 206–220.

POPL-1976-Kosinski #data flow #programming #semantics

Mathematical Semantics and Data Flow Programming (PRK), pp. 175–184.

POPL-1975-Ligler #approach #design

A Mathematical Approach to Language Design (GTL), pp. 41–53.

POPL-1975-Naur #natural language #programming language

Programming Languages, Natural Languages, and Mathematics (PN), pp. 137–148.

POPL-1973-Tennent #semantics

Mathematical Semantics of Snobol 4 (RDT), pp. 95–107.

ICALP-1972-Turner #approach #complexity #infinity

An Infinite Hierarchy of Term Languages — An Approach to Mathematical Complexity (RT), pp. 593–608.

SOSP-J-1973-CoffmanR72 #case study #clustering #locality #using

A Study of Storage Partitioning Using a Mathematical Model of Locality (EGCJ, TAR), pp. 185–190.

STOC-1971-Meyers #linear #representation

Linear Representation of Tree Structure: A Mathematical Theory of Parenthesis-Free Notations (WJM), pp. 50–62.

SOSP-1971-CoffmanR #case study #clustering #using

A Study of Storage Partitioning Using a Mathematical Model (Abstract) (EGCJ, TAR), pp. 122–129.

DAC-1970-Borgmeyer #mockup

A mathematical mockup — engine envelope described by computer (CHB), pp. 310–314.

STOC-1970-Manna #higher-order

Second-Order Mathematical Theory of Computation (ZM), pp. 158–168.