|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11014 occurrences of 5351 keywords
|
|
|
Results
Found 28291 publication records. Showing 28290 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
51 | Kiesha Prem, Kevin van Zandvoort, Petra Klepac, Rosalind M. Eggo, Nicholas G. Davies, Centre for the Mathematical Modelling of Infectious Diseases COVID-19 , Alex R. Cook, Mark Jit |
Projecting contact matrices in 177 geographical regions: An update and comparison with empirical data for the COVID-19 era. |
PLoS Comput. Biol. |
2021 |
DBLP DOI BibTeX RDF |
|
48 | Mustapha Eddahibi, Azzeddine Lazrek, Khalid Sami |
Arabic Mathematical e-Documents. |
TEX, XML, and Digital Typography |
2004 |
DBLP DOI BibTeX RDF |
Arabic mathematical presentation, Multilingual documents, e-documents, Unicode, MathML, Mozilla, Mathematical expressions |
48 | Hélder Ferreira, Diamantino Freitas |
Audio Rendering of Mathematical Formulae Using MathML and AudioMath. |
User Interfaces for All |
2004 |
DBLP DOI BibTeX RDF |
Audio Rendering of Mathematical Expressions, Conversion of mathematical formulae into text, Accessibility, Text-to-Speech, MathML |
47 | Joseph J. LaViola Jr., Robert C. Zeleznik |
MathPad2: a system for the creation and exploration of mathematical sketches. |
ACM Trans. Graph. |
2004 |
DBLP DOI BibTeX RDF |
mathematical sketching, gestures, pen-based interfaces |
46 | Hsi-Jian Lee, Jiumn-Shine Wang |
Design of a mathematical expression recognition system. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
mathematical expression recognition, scientific documents, mathematical equations understanding, feature extraction, feature extraction, labeling, page segmentation, character segmentation, heuristic rules, mathematical expressions |
45 | Seiichi Uchida, Akihiro Nomura 0001, Masakazu Suzuki |
Quantitative analysis of mathematical documents. |
Int. J. Document Anal. Recognit. |
2005 |
DBLP DOI BibTeX RDF |
Mathematical document, Database, OCR, Mathematical expressions, Touching characters |
45 | Mustapha Eddahibi, Azzeddine Lazrek, Khalid Sami |
Dynamic Arabic Mathematical Fonts. |
TEX, XML, and Digital Typography |
2004 |
DBLP DOI BibTeX RDF |
Mathematical font, Dynamic font, Variable-sized symbols, Arabic mathematical writing, Multilingual documents, Post- Script and OpenType, Unicode |
45 | Masakazu Suzuki, Fumikazu Tamari, Ryoji Fukuda, Seiichi Uchida, Toshihiro Kanahori |
INFTY: an integrated OCR system for mathematical documents. |
ACM Symposium on Document Engineering |
2003 |
DBLP DOI BibTeX RDF |
character and symbol recognition, mathematical OCR, structure analysis of mathematical expressions |
44 | Alan P. Sexton, Volker Sorge |
A Database of Glyphs for OCR of Mathematical Documents. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Li Liu 0001, Yi Yang 0017, Lian Li 0003 |
Mathematics Computing Environment on the Web. |
SKG |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Yingxu Wang 0001 |
On Mathematical Laws of Software. |
Trans. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
denotational mathematics, generic model of software, laws of meta-processes, laws of process relations, laws of process compositions, modeling, software engineering, programs, analysis, software, process models, mathematical models, computational intelligence, Software science, RTPA, algebraic laws |
41 | Shirley Moore, A. Jerry Baker, Jack J. Dongarra |
Active netlib: an active mathematical software collection for inquiry-based computational science & engineering education. |
JCDL |
2002 |
DBLP DOI BibTeX RDF |
education, software reuse, computational science, linear algebra, engineering, numerical analysis, learning environments, numerical methods, interactive interfaces, solvers, mathematical software, computational problems, computational servers |
41 | Shirley Moore, A. Jerry Baker, Jack J. Dongarra |
Active netlib: an active mathematical software collection for inquiry-based computational science & engineering education. |
JCDL |
2002 |
DBLP DOI BibTeX RDF |
education, software reuse, computational science, linear algebra, engineering, numerical analysis, learning environments, numerical methods, interactive interfaces, solvers, mathematical software, computational problems, computational servers |
41 | Clare M. So, Stephen M. Watt |
Determining Empirical Characteristics of Mathematical Expression Use. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Fairouz Kamareddine, Manuel Maarek, J. B. Wells |
Toward an Object-Oriented Structure for Mathematical Text. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Yuji Kasuya, Hayato Yamana |
MathBox: interactive pen-based interface for inputting mathematical expressions. |
IUI |
2007 |
DBLP DOI BibTeX RDF |
mathematical expression recognition, DP matching |
37 | Robert Miner, Rajesh Munavalli |
An Approach to Mathematical Search Through Query Formulation and Data Normalization. |
Calculemus/MKM |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Afef Kacem, Abdel Belaïd, Mohamed Ben Ahmed |
Automatic extraction of printed mathematical formulas using fuzzy logic and propagation of context. |
Int. J. Document Anal. Recognit. |
2001 |
DBLP DOI BibTeX RDF |
Mathematic formula extraction, Symbol labeling, Context propagation, Fuzzy logic, Document segmentation |
36 | William I. Gasarch |
A joint review of "Reality Conditions: Short Mathematical Fiction, by Alex Kasman", MAA 2005;"Numb3rs, TV show. CBS", Free. Currently running Fridays at 10: 00PM; "Mathematical Apocryphia: Stories and Annecdotes of Mathematicians and the Mathematical by Steven Kranz", MAA, 2002; "Mathematical Apocryphia Redux: More Stories and Annecdotes of Mathematicians and the Mathematical by Steven Kranz", MAA, 1999. |
SIGACT News |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Walaa Aly, Seiichi Uchida, Masakazu Suzuki |
Identifying Subscripts and Superscripts in Mathematical Documents. |
Math. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
Mathematical documents, structure analysis of mathematical expression, subscript and superscript |
35 | Yoshinori Hijikata, Hideki Hashimoto, Shogo Nishida |
Search Mathematical Formulas by Mathematical Formulas. |
HCI (8) |
2009 |
DBLP DOI BibTeX RDF |
mathematical formula, search engine, index, inverted file, MathML |
34 | Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner 0001 |
Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega. |
Math. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
Mathematical knowledge management, system architecture, proof assistants |
34 | Koji Nakagawa, Masakazu Suzuki |
Mathematical Knowledge Browser with Automatic Hyperlink Detection. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Elena S. Smirnova, Clare M. So, Stephen M. Watt |
An Architecture for Distributed Mathematical Web Services. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
34 | J. Toumit, Sonia Garcia-Salicetti, Hubert Emptoz |
A Hierarchical and Recursive Model of Mathematical Expressions for Automatic Reading of Mathematical Documents. |
ICDAR |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Christoph Benzmüller, Andreas Meier 0002, Volker Sorge |
Bridging Theorem Proving and Mathematical Knowledge Retrieval. |
Mechanizing Mathematical Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Serge Autexier, Armin Fiedler |
Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Isabelle Bloch |
Fuzzy and Bipolar Mathematical Morphology, Applications in Spatial Reasoning. |
ECSQARU |
2009 |
DBLP DOI BibTeX RDF |
Fuzzy mathematical morphology, bipolar mathematical morphology, bipolar spatial information, spatial reasoning, spatial relations |
32 | Ihab Salawdeh, Eduardo César, Anna Morajko, Tomàs Margalef, Emilio Luque |
Performance Model for Parallel Mathematical Libraries Based on Historical Knowledgebase. |
Euro-Par |
2008 |
DBLP DOI BibTeX RDF |
Mathematical Performance, PETSc Performance, Dynamic mathematical model, Performance Model |
32 | Jiro Katto, Mutsumi Ohta |
Mathematical analysis of MPEG compression capability and its application to rate control. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
MPEG compression, temporal predictive processing, MPEG video compression standard, optimum ordering, picture types, image source characteristics, target bit assignment, SNR gains, TM5 algorithm, B-pictures, P-pictures, I-pictures, data compression, video coding, rate control, mathematics, telecommunication standards, prediction theory, prediction theories, code standards, telecommunication control, mathematical analysis, mathematical analysis, coding gain |
31 | Yong Shi 0001, Yingjie Tian 0001, Xiaojun Chen 0001, Peng Zhang 0001 |
Regularized multiple criteria linear programs for classification. |
Sci. China Ser. F Inf. Sci. |
2009 |
DBLP DOI BibTeX RDF |
multiple criteria mathematical program, regularized multiple criteria mathematical program, data mining, classification |
31 | Salman Cheema, Joseph J. LaViola Jr. |
Towards intelligent motion inferencing in mathematical sketching. |
IUI |
2010 |
DBLP DOI BibTeX RDF |
mathematical sketching, sketch inferencing, sketch parsing, pen-based interfaces |
31 | Yingxu Wang 0001 |
Toward a Generic Mathematical Model of Abstract Game Theories. |
Trans. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
abstract games, static layout, layoff tables, zero-sum games, nonzero-sum games, serial matches, decision grids, game theory, decision making, mathematical models, utilities, Cognitive informatics, dynamic behaviors, properties |
31 | B. B. Chaudhuri 0001, Utpal Garain |
An Approach for Recognition and Interpretation of Mathematical Expressions in Printed Document. |
Pattern Anal. Appl. |
2000 |
DBLP DOI BibTeX RDF |
Symbol arrangement, OCR, Document, Symbol recognition, Mathematical Expression |
31 | Xuejun Zhao, Xinyu Liu, Shengling Zheng, Baochang Pan, Yuan Yan Tang |
On-line recognition handwritten mathematical symbol. |
ICDAR |
1997 |
DBLP DOI BibTeX RDF |
online handwritten mathematical symbol recognition, basic element ordering, standard symbols, basic element vector, basic element length vector, dynamic programming method, unmatching value, matching value, geometric restraints, improved Kohn-Munkres algorithm, correctness rate, incorrectness rate, refusal rate, handwriting recognition, relative positions |
31 | Kazuo Toraichi, Takahiko Horiuchi, Ryoji Haruki |
Observation method for mathematical graphology. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
mathematical graphology, graphological information processing, observation process, physiological saccade phenomena, character assessment from handwriting, information theory, handwriting recognition, contours, visual communication, feature points, handwriting analysis, smooth functions, observation method |
31 | Adam Grabowski, Christoph Schwarzweller |
Revisions as an Essential Tool to Maintain Mathematical Repositories. |
Calculemus/MKM |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Adam Grabowski, Christoph Schwarzweller |
Translating Mathematical Vernacular into Knowledge Repositories. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Kenichi Toyozumi, Naoya Yamada, Kenji Mase, Takayuki Kitasaka, Kensaku Mori, Yasuhito Suenaga, Tomoichi Takahashi |
A Study of Symbol Segmentation Method for Handwritten Mathematical Formula Recognition using Mathematical Structure Information. |
ICPR (2) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Claudio Sacerdoti Coen |
Mathematical Libraries as Proof Assistant Environments. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Peter Elbau, Leonidas Mindrinos, Otmar Scherzer |
Mathematical Methods of Optical Coherence Tomography. |
Handbook of Mathematical Methods in Imaging |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Athanassios S. Fokas, George A. Kastis |
Mathematical Methods in PET and SPECT Imaging. |
Handbook of Mathematical Methods in Imaging |
2015 |
DBLP DOI BibTeX RDF |
|
31 | David Makinson, Jacek Malinowski, Heinrich Wansing |
From Logic to Mathematical Philosophy. |
Towards Mathematical Philosophy |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Andrew Aberdein |
The Informal Logic Of Mathematical Proof. |
Perspectives On Mathematical Practices |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Jill Adler |
Mathematical Practices In And Across School Contexts. |
Perspectives On Mathematical Practices |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Reuben Hersh |
On The Interdisciplinary Study of Mathematical Practice, with a Real Live Case Study. |
Perspectives On Mathematical Practices |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Sal Restivo |
Theory of Mind, Social Science, and Mathematical Practice. |
Perspectives On Mathematical Practices |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Madeline Muntersbjorn |
Mathematical Progress As Increased Scope. |
Perspectives On Mathematical Practices |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Lifeng Li |
4. Mathematical Reflections on the Fourier Modal Method in Grating Theory. |
Mathematical Modeling in Optical Science |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Anne-Sophie Bonnet-Ben Dhia, Patrick Joly |
8. Mathematical Analysis and Numerical Approximation of Optical Waveguides. |
Mathematical Modeling in Optical Science |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Robert Marty |
Foundations of a Mathematical Semiotics. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Manfred Kudlek |
A Mathematical Model of Personal Pronouns. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
31 | S. S. Sritharan |
10. Mathematical Aspects of Harmonic Grid Generation. |
Mathematical Aspects of Numerical Grid Generation |
1991 |
DBLP DOI BibTeX RDF |
|
31 | Tamás Gergely, Konstantin Vershinin |
Natural mathematical texts vs. programs. |
Mathematical Methods of Specification and Synthesis of Software Systems |
1985 |
DBLP DOI BibTeX RDF |
|
31 | |
Panel session on the challenges for developments of mathematical software. |
Problems and Methodologies in Mathematical Software Production |
1980 |
DBLP DOI BibTeX RDF |
|
31 | Paul Messina |
Guidelines for managing mathematical software libraries at computer centers. |
Problems and Methodologies in Mathematical Software Production |
1980 |
DBLP DOI BibTeX RDF |
|
31 | Paul Messina |
The role of computer centers in the field of mathematical software. |
Problems and Methodologies in Mathematical Software Production |
1980 |
DBLP DOI BibTeX RDF |
|
30 | Carl A. Gunter |
Comparing Categories of Domains. |
Mathematical Foundations of Programming Semantics |
1985 |
DBLP DOI BibTeX RDF |
|
28 | Huizhu Luo, Gady Agam, Its'hak Dinstein |
Directional mathematical morphology approach for line thinning and extraction of character strings from maps and line drawings. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
directional mathematical morphology approach, line thinning, character string extraction, line vectorization, automatic algorithm, directional morphology operations, databases, feature extraction, CAD, computer aided design, maps, character recognition, mathematical morphology, string matching, visual databases, cartography, line drawings, symbol recognition |
28 | Hiromitsu Yamada, Kazuhiko Yamamoto, Katsumi Hosokawa |
Directional Mathematical Morphology and Reformalized Hough Transformation for the Analysis of Topographic Maps. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1993 |
DBLP DOI BibTeX RDF |
directional mathematical morphology, maps analysis, automatic digitisation, reformalized Hough transformation, graphical topographic maps, multiangled parallelism, erosion-dilation operations, directional feature planes, MAP matching method, 1/25000 scale map, parallel algorithms, image processing, image processing, feature extraction, feature extraction, mathematical morphology, Hough transforms, cartography, cartography |
28 | Lai-Jiu Lin 0001 |
Systems of variational inclusion problems and differential inclusion problems with applications. |
J. Glob. Optim. |
2009 |
DBLP DOI BibTeX RDF |
Systems of variational inclusion problem, Systems of variational differential inclusion problems, Systems of equilibrium problems, Mathematical program with systems of variational differential inclusion constraints, Mathematical program with systems of equilibrium constraints |
28 | Nikos Georgis, Maria Petrou, Josef Kittler |
On the generalised stock-cutting problem. |
Mach. Vis. Appl. |
2000 |
DBLP DOI BibTeX RDF |
Stock-cutting, Simulated annealing, Optimisation, Mathematical morphology, Mathematical programming |
28 | Ireneusz Karkowski |
Architectural synthesis with possibilistic programming. |
HICSS (1) |
1995 |
DBLP DOI BibTeX RDF |
possibilistic programming, fuzzy mathematical programming, simultaneous scheduling, FOAS, computational complexity, computational complexity, fuzzy logic, high level synthesis, high-level synthesis, circuit CAD, mathematical programming, possibility theory |
28 | Jack-Gérard Postaire, R. D. Zhang, C. Lecocq-Botte |
Cluster Analysis by Binary Morphology. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1993 |
DBLP DOI BibTeX RDF |
binary morphology, unsupervised pattern classification, mathematical morphology operations, multidimensional observations, mathematical discrete binary set, well separated subsets, pattern recognition, set theory |
28 | Mahesh Visvanathan, Bernhard Pfeifer, Christian Baumgartner, Bernhard Tilg, Gerald H. Lushington |
Integrative Approach for Combining TNFa-NFkB Mathematical Model to a Protein Interaction Connectivity Map. |
ISBRA |
2009 |
DBLP DOI BibTeX RDF |
TNF? mediated NF-?B signaling pathway - protein-protein interaction and mathematical model |
28 | Wai Kin Chan, Lee W. Schruben |
Mathematical programming models of closed tandem queueing networks. |
ACM Trans. Model. Comput. Simul. |
2008 |
DBLP DOI BibTeX RDF |
Event relationship graph, mathematical programming representation, symmetry, queueing network, blocking, reversibility |
28 | Joseph J. LaViola Jr. |
Advances in Mathematical Sketching: Moving Toward the Paradigm's Full Potential. |
IEEE Computer Graphics and Applications |
2007 |
DBLP DOI BibTeX RDF |
mathematical sketching, drawing rectification, open-form solutions, associations, gestural interfaces |
28 | Weidong Liao, Benjamin J. Koonse |
A Layered Java Application Framework for Supplying Mathematical Computing Power to the Distributed Environment. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
JSP Tag Libraries, Java, AJAX, MVC, Mathematical Computation |
28 | Isabelle Bloch |
Unifying Quantitative, Semi-quantitative and Qualitative Spatial Relation Knowledge Representations Using Mathematical Morphology. |
Theoretical Foundations of Computer Vision |
2002 |
DBLP DOI BibTeX RDF |
mathematical morphology, spatial reasoning, spatial relationships |
28 | Zinovy Diskin |
On Mathematical Foundations for Business Modeling (Presented at TOOLS-USA 2000). |
TOOLS (37) |
2000 |
DBLP DOI BibTeX RDF |
business domains, toposes, generalized sketch, predefined signature, visualization superstructures, business specifications, logical derivation, algebraic term rewriting, systems analysis, directed graphs, directed graph, business modeling, diagrams, diagrams, labels, predicate, corporate modelling, mathematical foundations |
28 | Ryoji Fukuda, Sou I, Fumikazu Tamari, Xie Ming, Masakazu Suzuki |
A Technique of Mathematical Expression Structure Analysis for the Handwriting Input System. |
ICDAR |
1999 |
DBLP DOI BibTeX RDF |
Mathematical formula, On line hand written recognition, Directional element feature |
28 | Josep Maria Font |
On the Contributions of Helena Rasiowa to Mathematical Logic. |
ISMVL |
1996 |
DBLP DOI BibTeX RDF |
Helena Rasiowa, abstract algebra, formal logic, ordered sets, non-classical logics, mathematical logic, biographies |
28 | Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller |
Towards Mathematical Knowledge Management for Electrical Engineering. |
Calculemus/MKM |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Amar Raja, Matthew Rayner, Alan P. Sexton, Volker Sorge |
Towards a Parser for Mathematical Formula Recognition. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Achim Mahnke, Jan Scheffczyk |
Engineering Mathematical Knowledge. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Adam Grabowski, Markus Moschner |
Managing Heterogeneous Theories within a Mathematical Knowledge Repository. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich, Anatoly V. Anisimov |
On Correctness of Mathematical Texts from a Logical and Practical Point of View. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Akio Fujiyoshi, Masakazu Suzuki, Seiichi Uchida |
Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Koji Nakagawa, Akihiro Nomura 0001, Masakazu Suzuki |
Extraction of Logical Structure from Articles in Mathematics. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Yannis Chicha, Marc Gaëtano |
Mathematical Web Services: A Case Study. |
TES |
2003 |
DBLP DOI BibTeX RDF |
|
27 | David Gries, Bill Marion, Peter B. Henderson, Diane Schwartz |
How mathematical thinking enchances computer science problem solving. |
SIGCSE |
2001 |
DBLP DOI BibTeX RDF |
|
27 | A. Buzin, I. Naftulin |
APL tutorial in mathematical modelling. |
APL |
2000 |
DBLP DOI BibTeX RDF |
APL |
27 | Manfred Kerber |
From MKRP to Omega. |
Mechanizing Mathematical Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Manfred Broy |
The Impact of Models in Software Development. |
Mechanizing Mathematical Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Armin Fiedler |
Natural Language Proof Explanation. |
Mechanizing Mathematical Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Peter Baumgartner 0001, Ulrich Furbach |
Living Books, Automated Deduction and Other Strange Things. |
Mechanizing Mathematical Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Elsa L. Gunter |
Pseudo-Retract Functors for Local Lattices and Bifinite L-domains. |
Mathematical Foundations of Programming Semantics |
1989 |
DBLP DOI BibTeX RDF |
|
27 | A. John Power |
An Algebraic Formulation for Data Refinement. |
Mathematical Foundations of Programming Semantics |
1989 |
DBLP DOI BibTeX RDF |
|
27 | Maria Zamfir, David L. Martin 0001 |
On the Syntax and Semantics of Concurrent Computing. |
Mathematical Foundations of Programming Semantics |
1985 |
DBLP DOI BibTeX RDF |
|
27 | Naphtali Rishe |
On Denotational Semantics of Data Bases. |
Mathematical Foundations of Programming Semantics |
1985 |
DBLP DOI BibTeX RDF |
|
25 | Paul Libbrecht, Erica Melis |
Methods to Access and Retrieve Mathematical Content in ActiveMath. |
ICMS |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Seyfettin Noyan Ogulata, Melik Koyuncu, Esra Karakas |
Personnel and Patient Scheduling in the High Demanded Hospital Services: A Case Study in the Physiotherapy Service. |
J. Medical Syst. |
2008 |
DBLP DOI BibTeX RDF |
Hospital services, Hierarchical mathematical model, Balanced workload, Mathematical programming, Staff scheduling |
24 | Heraldo Maciel França Madeira, Junior Barrera |
Incremental Evaluation of BDD-Represented Set Operators. |
SIBGRAPI |
2000 |
DBLP DOI BibTeX RDF |
translation invariant operators, locally defined set operators, 2D discrete W-operators, 3D discrete W-operators, reduced ordered binary decision diagram, equivalence proof, mathematical morphology, mathematical morphology, formal language, vocabulary, morphological operators |
24 | Tapas Kanungo, David M. Gay, Robert M. Haralick |
Constrained monotone regression of ROC curves and histograms using splines and polynomials. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
monotonically decreasing curves, single valued functions, parametric splines, parametric polynomials, monotonicity constraints, optimal operating points, cumulative density functions, monotonic splines, fitted spline function, end-point constraints, constrained monotone regression problem, mathematical programming language, AMPL, programming languages, statistical analysis, histograms, mathematical programming, curve fitting, curve fitting, splines (mathematics), receivers, ROC curves, receiver operating characteristics, parametric representation, density functions, closed form |
24 | Badr Al-Badr, Robert M. Haralick |
Segmentation-free word recognition with application to Arabic. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
segmentation-free word recognition, machine-printed Arabic words, shape primitives, word image, spatial arrangement, matched symbol models, spatial arrangements, design, implementation, image recognition, character recognition, mathematical morphology, mathematical morphology, lexicon, symbols, posterior probability |
24 | Stephen Fischer, Adnan Amin, D. Drivas |
Segmentation of the Yellow Pages. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
DEC computers, document scanning, Australian Telecom Yellow Pages, business entries, 5000/20 DEC workstation, image segmentation, testing, optical character recognition, OCR, image recognition, image recognition, mathematical morphology, mathematical morphology, graphics, document image processing, research, thresholding, business data processing, advertisements, C language, skew detection, text document, document image segmentation, digitisation |
24 | Alexander Brodsky 0001, Mayur M. Bhot, Manasa Chandrashekar, Nathan E. Egge, Xiaoyang Sean Wang |
A decisions query language (DQL): high-level abstraction for mathematical programming over databases. |
SIGMOD Conference |
2009 |
DBLP DOI BibTeX RDF |
decision query, databases, mathematical programming |
24 | Youxin Luo, Bin Zeng 0001, Zheming He |
Hyper-Chaotic Mathematical Programming Method and Its Application to Dodecahedron Variable Geometry Truss Manipulator. |
ISNN (1) |
2009 |
DBLP DOI BibTeX RDF |
Hyper-chaotic system, Mathematical programming method, Dodecahedron variable geometry truss manipulator, Non-linear equations, Neuron network |
24 | Ichiro Nishizaki, Takuma Notsu |
Nondominated equilibrium solutions of a multiobjective two-person nonzero-sum game in extensive form and corresponding mathematical programming problem. |
J. Glob. Optim. |
2008 |
DBLP DOI BibTeX RDF |
Nondominated equilibrium solution, Multiobjective two-person nonzero-sum game in extensive form, Mathematical programming problem |
24 | Wolfgang Achtziger, Christian Kanzow |
Mathematical programs with vanishing constraints: optimality conditions and constraint qualifications. |
Math. Program. |
2008 |
DBLP DOI BibTeX RDF |
Vanishing constraints, Constrained optimization, Optimality conditions, Structural optimization, Constraint qualifications, Mathematical programs with equilibrium constraints |
Displaying result #1 - #100 of 28290 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|