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.