|
|
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 |
22 | James Cummings 0001 |
Itay Neeman. Aronszajn trees and failure of the Singular Cardinal Hypothesis. Journal of Mathematical Logic, vol. 9, no. 1 (2009), pp. 139-157. - Dima Sinapova. The tree property at אּω+1. Journal of Symbolic Logic, vol. 77, no. 1 (2012), pp. 279-290. - Dima Sinapova. The tree property and the failure of SCH at uncountable cofinality. Archive for Mathematical Logic, vol. 51, no. 5-6 (2012), pp. 553-562. - Dima Sinapova. The tree property and the failure of the Singular Cardinal Hypothesis at אּω2. Journal of Symbolic Logic, vol. 77, no. 3 (2012), pp. 934-946. - Spencer Unger. Aronszajn trees and the successors of a singular cardinal. Archive for Mathematical Logic, vol. 52, no. 5-6 (2013), pp. 483-496. - Itay Neeman. The tree property up to אּω+1. Journal of Symbolic Logic. vol. 79, no. 2 (2014), pp. 429-459. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 21(2), pp. 188-192, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Burçin Eröcal, William Stein |
The Sage Project: Unifying Free Mathematical Software to Create a Viable Alternative to Magma, Maple, Mathematica and MATLAB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings, pp. 12-27, 2010, Springer, 978-3-642-15581-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | R. D. Arthan |
Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings, pp. 148, 2010, Springer, 978-3-642-15581-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Josef Urban, Krystof Hoder, Andrei Voronkov |
Evaluation of Automated Theorem Proving on the Mizar Mathematical Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings, pp. 155-166, 2010, Springer, 978-3-642-15581-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Martin von Gagern, Christian Mercat |
A Library of OpenGL-Based Mathematical Image Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings, pp. 174-185, 2010, Springer, 978-3-642-15581-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Alexandre Benoît, Frédéric Chyzak, Alexis Darrasse, Stefan Gerhold, Marc Mezzarobba, Bruno Salvy |
The Dynamic Dictionary of Mathematical Functions (DDMF). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings, pp. 35-41, 2010, Springer, 978-3-642-15581-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Tatsuyoshi Hamada, Kuniyasu Suzaki, Kengo Iijima, Arimitsu Shikoda |
KNOPPIX/Math: Portable and Distributable Collection of Mathematical Software and Free Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2006, Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings, pp. 385-390, 2006, Springer, 3-540-38084-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Masayuki Noro, Nobuki Takayama |
Links to Projects. Mathematical Software, icms2006 - Developer's Meeting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2006, Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings, pp. 438-450, 2006, Springer, 3-540-38084-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Vitorino Ramos, Pedro Pina |
Exploiting and Evolving R N Mathematical Morphology Feature Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Mathematical Morphology: 40 Years On, Proceedings of the 7th International Symposium on Mathematical Morphology, ISMM 2005, Paris, France, April 18-20, 2005, pp. 465-474, 2005, Springer, 978-1-4020-3442-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Isabelle Bloch, Olivier Colliot, Roberto M. Cesar |
Mathematical Modeling of the Relationship "between" Based On Morphological Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Mathematical Morphology: 40 Years On, Proceedings of the 7th International Symposium on Mathematical Morphology, ISMM 2005, Paris, France, April 18-20, 2005, pp. 299-308, 2005, Springer, 978-1-4020-3442-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Shiu-Kai Chin |
Combining Engineering Vigor with Mathematical Rigor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware Specification, Verification and Synthesis ![In: Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings, pp. 152-176, 1989, Springer, 3-540-97226-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
22 | R. Tyrrell Rockafellar |
Generalized Subgradients in Mathematical Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMP ![In: Mathematical Programming The State of the Art, XIth International Symposium on Mathematical Programming, Bonn, Germany, August 23-27, 1982., pp. 368-390, 1982, Springer, 978-3-642-68876-8. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
22 | |
About the XIth International Symposium on Mathematical Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMP ![In: Mathematical Programming The State of the Art, XIth International Symposium on Mathematical Programming, Bonn, Germany, August 23-27, 1982., pp. 1-11, 1982, Springer, 978-3-642-68876-8. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
21 | Margaret L. Brandeau |
Facility Location with Externalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 979-982, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Discrete location and assignment, Mathematical economics, Game theory, Mathematical programming, Continuous location |
21 | Franklin César Flores, Roberto Hirata Jr., Junior Barrera, Roberto de Alencar Lotufo, Fernand Meyer |
Morphological Operators for Segmentation of Color Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: 13th Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2000), 17-20 October 2000, Gramado (RS), Brazil, pp. 300-307, 2000, IEEE Computer Society, 0-7695-0878-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
color sequence segmentation, moving object segmentation, image sequences, mathematical morphology, mathematical morphology, morphological operators, video frames, statistical optimization, computational learning |
21 | Benjamin J. Ewy, Joseph B. Evans, Victor Frost, Gary J. Minden |
TCP/ATM Experiences in the MAGIC Testbed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 4th International Symposium on High Performance Distributed Computing (HPDC '95), Washington, DC, USA, August 2-4, 1995., pp. 87-93, 1995, IEEE Computer Society, 0-8186-7088-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
TCP/ATM, MAGIC testbed, cell level pacing, bandwidth capacity, high performance distributed systems, traffic management infrastructureThe limited applicability of block decomposition in cluster computing - Crandall, P.E. Dept. of Comput, Sci. & Eng., Connecticut Univ., Storrs, USA This Paper Appears in : High Performance Distributed Computing, 1995., Proceedings of the Fourth IEEE International Symposium on on Pages: 102 - 109 This Conference was Held : 2-4 Aug. 1995 1995 ISBN: 0-8186-7088-6 IEEE Catalog Number: 95TB8075 Total Pages: xiv+246 Refer, Mathematical characterizations of the communication costs for contiguous partitioning and block decomposition in both a ring-connected and switched network are presented, Simulations of ring and switch technologies indicate that as network speeds increase and as the effects of message-preparation latency dominate, the advantages claimed for block decomposition diminish, Subject Terms: FDDI, block decomposition, high-speed switch technology, mathematical characterizations, contiguous partitioning, ring-connected networks, simulations, performance evaluation, performance evaluation, performance, asynchronous transfer mode, congestion control, cluster computing, local area networks, transport protocols, performance measurements, wide area networks, CT, switched network, FDDI, congestion avoidance, token networks |
21 | Ronald Jones, Imants D. Svalbe |
Algorithms for the Decomposition of Gray-Scale Morphological Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(6), pp. 581-588, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
gray scale morphological operations, mathematical morthology, data level description, image processing, image processing, decomposition, mathematical morphology, filtering and prediction theory, morphological filters, structuring elements |
21 | Srinivasan Raghunathan |
A Planning Aid: An Intelligent Modeling System for Planning Problems Based on Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 4(4), pp. 317-335, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
planning aid, intelligent modeling system, planning problems, manufacturing planning, qualitative relationships, mathematical relationships, manufacturing computer control, artificial intelligence, artificial intelligence, knowledge-based system, knowledge based systems, constraint satisfaction, mathematical models, operations research, operations research, constraint theory, manufacturing data processing, symbolic models, domain specific knowledge, truth maintenance system |
21 | Xiaoli Wang, Gilles Bertrand 0001 |
Some Sequential Algorithms for a Generalized Distance Transformation Based on Minkowski Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(11), pp. 1114-1121, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
generalized distance transformation, Minkowski operations, point-to-point distance, image processing, image processing, transforms, mathematical morphology, mathematical morphology, binary images, medial axis transformation, sequential algorithms |
21 | Andreas Schierwagen |
Mathematical and Computational Modeling of Neurons and Neuronal Ensembles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers, pp. 159-166, 2009, Springer, 978-3-642-04771-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
neuronal ensembles, modeling, computational, mathematical, neurons |
21 | Anirban Mukherjee, Utpal Garain |
A review of methods for automatic understanding of natural language mathematical problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 29(2), pp. 93-122, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematical problems, Artificial intelligence, Natural language processing, Knowledge engineering, Automated reasoning |
21 | Michael D. Marcozzi |
On the Approximation of Infinite Dimensional Optimal Stopping Problems with Application to Mathematical Finance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 34(3), pp. 287-307, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Infinite dimensional diffusion, Mathematical finance, Finite element method, Variational methods, Optimal stopping |
21 | Mihaela Cocea |
Learner Modelling in Exploratory Learning for Mathematical Generalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AH ![In: Adaptive Hypermedia and Adaptive Web-Based Systems, 5th International Conference, AH 2008, Hannover, Germany, July 29 - August 1, 2008. Proceedings, pp. 394-399, 2008, Springer, 978-3-540-70984-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
feedback generation, mathematical generalisation, exploratory learning, learner modelling |
21 | Lichao Chen, Lihu Pan, Yingjun Zhang |
Research on Spatial Clustering Acetabuliform Model and Algorithm Based on Mathematical Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2008, 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part II, pp. 100-109, 2008, Springer, 978-3-540-87733-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Acetabuliform model, Mathematical morphology, Spatial clustering |
21 | Kehinde Alabi |
Generation, documentation and presentation of mathematical equations and symbolic scientific expressions using pure HTML and CSS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007, pp. 1321-1322, 2007, ACM, 978-1-59593-654-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
mathematical equations, symbolic scientific expressions, HTML, CSS, MATHML |
21 | Masahiko Ishino, Naokazu Yamaki, Teruhisa Ichikawa, Tadanori Mizuno |
The Recommendation System Using Mathematical Programming Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part III, pp. 539-546, 2007, Springer, 978-3-540-74828-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Data-mining, Recommendation System, Marketing, Analytic Hierarchy Process, CRM, Mathematical Programming, Conjoint Analysis |
21 | Linna Zhou, Dongming Wang, Yunbiao Guo, Jingfei Zhang |
Blur Detection of Digital Forgery Using Mathematical Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31- June 1, 2007, Proceedings, pp. 990-998, 2007, Springer, 978-3-540-72829-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
safety content management application, mathematical morphology, blur, image forensics, security agent |
21 | Min Wang, Yee Leung, Chenghu Zhou, Tao Pei, Jiancheng Luo |
A Mathematical Morphology Based Scale Space Method for the Mining of Linear Features in Geographic Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 12(1), pp. 97-118, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Linear Belt, Seismic Belt, Clustering, Mathematical Morphology, Spatial Data Mining, Scale Space Theory |
21 | Michael Beeson |
Mathematical Induction in Otter-Lambda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 36(4), pp. 311-344, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
computer proofs, second-order, Otter, mathematical induction, unification, automated deduction |
21 | Gang Kou, Yi Peng 0001, Yong Shi 0001, Zhengxin Chen |
Network Intrusion Detection by Multi-group Mathematical Programming based Classifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM Workshops ![In: Workshops Proceedings of the 6th IEEE International Conference on Data Mining (ICDM 2006), 18-22 December 2006, Hong Kong, China, pp. 803-807, 2006, IEEE Computer Society, 0-7695-2702-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Multiple criteria mathematical programming, Multi-group classification, Security, Network intrusion detection |
21 | Gui-Hua Lin, Masao Fukushima |
A Modified Relaxation Scheme for Mathematical Programs with Complementarity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 133(1-4), pp. 63-84, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
mathematical program with complementarity constraints, (MPEC-)linear independence constraint qualification, (B-, M-, C-)stationarity, weak second-order necessary conditions, upper level strict complementarity, nondegeneracy |
21 | V. P. Dinesh Kumar, Tessamma Thomas |
Automatic Estimation of Orientation and Position of Spine in Digitized X-rays using Mathematical Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Imaging ![In: J. Digit. Imaging 18(3), pp. 234-241, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Vertebrae segmentation, spine X-ray, content-based image retrieval, mathematical morphology |
21 | Christos Babajimopoulos, Athanasios Panoras |
Estimation of the water balance of cultivated soils by mathematical models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 5(1), pp. 127-140, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Irrigation scheduling, water balance, mathematical modeling |
21 | Jason R. J. Lee, Melvyn L. Smith, Lyndon N. Smith, P. Sagar Midha |
A mathematical morphology approach to image based 3D particle shape analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Vis. Appl. ![In: Mach. Vis. Appl. 16(5), pp. 282-288, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
3D particle analysis, 3D shape analysis, Mathematical morphology |
21 | Xinwei Liu, Jie Sun 0001 |
Generalized stationary points and an interior-point method for mathematical programs with equilibrium constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 101(1), pp. 231-261, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Interior-point methods, Global convergence, Stationary point, Mathematical programming with equilibrium constraints |
21 | Sajib Barua, Ruppa K. Thulasiram, Parimala Thulasiraman |
Fast Fourier Transform for Option Pricing: Improved Mathematical Modeling and Design of Efficient Parallel Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part III, pp. 686-695, 2004, Springer, 3-540-22057-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Financial Derivatives, Parallel Algorithm, Fast Fourier Transform, Mathematical Modeling, Data Locality, Option Pricing |
21 | Takashi Hashimoto, Yuya Kumagai |
Meta-evolutionary Game Dynamics for Mathematical Modelling of Rules Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAL ![In: Advances in Artificial Life, 7th European Conference, ECAL 2003, Dortmund, Germany, September 14-17, 2003, Proceedings, pp. 107-117, 2003, Springer, 3-540-20057-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Dynamics of rules, Meta-evolutionary game dynamics, Replicator equations, Evolutionary stable games, Mathematical modelling |
21 | Cesar Augusto Cardoso Caetano, Liliane Ventura, Sidney J. F. Sousa, Roberto de Alencar Lotufo |
Identification and Segmentation of Cells in Images of Donated Corneas using Mathematical Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: 13th Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2000), 17-20 October 2000, Gramado (RS), Brazil, pp. 344, 2000, IEEE Computer Society, 0-7695-0878-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
cell identification, donated corneas, optical evaluation method, endothelial cell counting, slit lamp, dedicated software, interactive counting method, image segmentation, mathematical morphology, correlation coefficient, eye |
21 | Robert P. Grzeszczuk, Milana Huang, Louis H. Kauffman |
Physically-Based Stochastic Simplification of Mathematical Knots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 3(3), pp. 262-272, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
knot classification, polynomial invariants, simulated annealing, knot theory, Mathematical visualization |
21 | Chuang Gu, Ming-Chieh Lee |
Semantic Video Object Segmentation and Tracking Using Mathematical Morphology and Perspective Motion Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 514-517, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
semantic video object segmentation, video object tracking, semantic video object extraction system, perspective motion model, semi-automatic I-frame segmentation, automatic P-frame tracking, video object boundary, morphological segmentation tool, boundary refinement, motion estimation, mathematical morphology, motion compensation, set theory, video signal processing, human visual system |
21 | Hashim M. Twaakyondo, Masayuki Okamoto |
Structure analysis and recognition of mathematical expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume I, pp. 430-437, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
two-dimensional layout structures, specific structure analysis, subexpressions, printed journals, image recognition, document image processing, structure analysis, tree structure, mathematical expressions, structure recognition, local structures, top-down method, bottom-up method |
21 | Ben-Kwei Jang, Roland T. Chin |
Analysis of Thinning Algorithms Using Mathematical Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 12(6), pp. 541-551, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
digital skeletons, skeletal bias, convergence, computerised picture processing, mathematical morphology, noise immunity, thinning algorithms |
21 | J. F. Bronskill, Anastasios N. Venetsanopoulos |
Multidimensional shape description and recognition using mathematical morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 1(2), pp. 117-143, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Computer vision, mathematical morphology, shape recognition, shape description, shape classification |
21 | Immanuel Normann, Michael Kohlhase |
Extended Formula Normalization for epsilon -Retrieval and Sharing of Mathematical Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus/MKM ![In: Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings, pp. 356-370, 2007, Springer, 978-3-540-73083-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Simon Colton, Daniel Wagner 0002 |
Using Formal Concept Analysis in Mathematical Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus/MKM ![In: Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings, pp. 205-220, 2007, Springer, 978-3-540-73083-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | William Naylor, Julian A. Padget |
From Untyped to Polymorphically Typed Objects in Mathematical Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings, pp. 222-236, 2006, Springer, 3-540-37104-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Andrew Aberdein |
Managing Informal Mathematical Knowledge: Techniques from Informal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings, pp. 208-221, 2006, Springer, 3-540-37104-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Predrag Janicic |
GCLC - A Tool for Constructive Euclidean Geometry and More Than That. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2006, Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings, pp. 58-73, 2006, Springer, 3-540-38084-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Masayoshi Sekiguchi, Satoshi Yamashita, Setsuo Takato |
Development of a Maple Macro Package Suitable for Drawing Fine TEX-Pictures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2006, Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings, pp. 24-34, 2006, Springer, 3-540-38084-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Zenon Kulpa |
On Diagrammatic Representation of Mathematical Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings, pp. 190-204, 2004, Springer, 3-540-23029-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Georgi Goguadze, Erica Melis, Carsten Ullrich, Paul A. Cairns |
Problems and Solutions for Markup for Mathematical Examples and Exercises. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings, pp. 80-92, 2003, Springer, 3-540-00568-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
markup for mathematics documents, knowledge representation |
21 | Bernd D. Heumesser, Dietmar Seipel, Ulrich Güntzer |
An Expert System for the Flexible Processing of XML-Based Mathematical Knowledge in a PROLOG-Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings, pp. 133-146, 2003, Springer, 3-540-00568-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Moody Ebrahem Altamimi, Abdou S. Youssef |
A Math Query Language with an Expanded Set of Wildcards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 2(2), pp. 305-331, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Math search, XPath, XQuery, MathML, mathematical expression |
20 | Alexandre Monteiro da Silva, Peter Sussner |
A Brief Review and Comparison of Feedforward Morphological Neural Networks with Applications to Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (2) ![In: Artificial Neural Networks - ICANN 2008, 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part II, pp. 783-792, 2008, Springer, 978-3-540-87558-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematical Morphology, Pattern Classification, Complete Lattice, Morphological Neural Network |
20 | Ryuzo Azuma, Ryo Umetsu, Shingo Ohki, Fumikazu Konishi, Sumi Yoshikawa, Akihiko Konagaya, Kazumi Matsumura |
Discovering Dynamic Characteristics of Biochemical Pathways using Geometric Patterns among Parameter-Parameter Dependencies in Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 25(4), pp. 425-441, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Pharmacokinetics, Simulation, Visualization, Grid Computing, Mathematical Models |
20 | Ondrej Jakl, Roman Kohut, Jirí Starý |
MPI and OpenMP Computations for Nuclear Waste Deposition Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected Papers, pp. 409-418, 2007, Springer, 978-3-540-68105-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
deep geological repository, thermo-elasticity, parallel solver, MPI, OpenMP, mathematical model |
20 | Ionut D. Aron, Daniel H. Leventhal, Meinolf Sellmann |
A Totally Unimodular Description of the Consistent Value Polytope for Binary Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings, pp. 16-28, 2006, Springer, 3-540-34306-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
mathematical programming, hybrid methods, Cost-based filtering |
20 | Gang Kou, Yi Peng 0001, Yong Shi 0001, Zhengxin Chen |
A New Multi-criteria Convex Quadratic Programming Model for Credit Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (4) ![In: Computational Science - ICCS 2006, 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV, pp. 476-484, 2006, Springer, 3-540-34385-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Credit Analysis, Classification, Mathematical Programming, Multi-criteria Decision Making |
20 | Krishnamoorthy Sivakumar, John Goutsias |
Morphologically Constrained GRFs: Applications to Texture Synthesis and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 21(2), pp. 99-113, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
morphological constraints, size density, texture synthesis and analysis, mathematical morphology, Monte Carlo simulation, statistical inference, Metropolis algorithm, Gibbs random fields |
20 | Aristotel Tentov, Aksenti L. Grnarov |
Performance Analysis of ATM Switches with Multistage Packet Switching Interconnection Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 21st Conference on Local Computer Networks, Minneapolis, Minnesota, USA, October 13-16, 1996, pp. 94-101, 1996, IEEE Computer Society, 0-8186-7617-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
multistage packet switching interconnection networks, mathematical method, finite buffering capacity, switching elements output, uniform traffic, buffered interconnection networks, synchronous buffered switching element, finite buffer size, performance analysis, asynchronous transfer mode, blocking, ATM switches, output buffering, traffic patterns, nonuniform traffic |
20 | Dongming Wang 0001, Bernd Schürmann |
Computer Aided Analysis and Derivation for Artificial Neural Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(8), pp. 728-735, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
computer aided analysis and derivation, symbolic mathematical objects manipulation, artificial neural systems, biological knowledge, Lyapunov stability theory, computer aided analysis, artificial intelligence, neural nets, toolkit, symbolic computation, symbol manipulation, mathematics computing, MACSYMA, Lyapunov methods, learning rule |
20 | Josef B. Baker, Alan P. Sexton, Volker Sorge |
Faithful mathematical formula recognition from PDF documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Document Analysis Systems ![In: The Ninth IAPR International Workshop on Document Analysis Systems, DAS 2010, June 9-11, 2010, Boston, Massachusetts, USA, pp. 485-492, 2010, ACM, 978-1-60558-773-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Kirby McMaster, Brian W. Rague, Steven M. Hadfield |
Two mathematical gestalts for computer theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2009, Chattanooga, TN, USA, March 4-7, 2009, pp. 251-255, 2009, ACM, 978-1-60558-183-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
computational math, logical math, model, algorithm, framework, proof, computer theory, theorem, gestalt |
20 | Akio Fujiyoshi, Masakazu Suzuki, Seiichi Uchida |
Syntactic Detection and Correction of Misrecognitions in Mathematical OCR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 10th International Conference on Document Analysis and Recognition, ICDAR 2009, Barcelona, Spain, 26-29 July 2009, pp. 1360-1364, 2009, IEEE Computer Society, 978-0-7695-3725-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Ahmad-Montaser Awal, Harold Mouchère, Christian Viard-Gaudin |
Towards Handwritten Mathematical Expression Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 10th International Conference on Document Analysis and Recognition, ICDAR 2009, Barcelona, Spain, 26-29 July 2009, pp. 1046-1050, 2009, IEEE Computer Society, 978-0-7695-3725-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Patrick D. F. Ion |
Some Traditional Mathematical Knowledge Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus/MKM ![In: Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings, pp. 28, 2009, Springer, 978-3-642-02613-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Youxin Luo, Xiguang Huang, Bin Zeng 0001 |
Forward Displacement Analysis of the 4SPS-2CCS Generalized Stewart Platform Based on Hyper-Chaotic Neural Network Mathematical Programming Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 2857-2862, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Saúl Zapotecas Martínez, Carlos A. Coello Coello |
Hybridizing an evolutionary algorithm with mathematical programming techniques for multi-objective optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, pp. 769-770, 2008, ACM, 978-1-60558-130-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Nelder-Mead method, multi-objective optimization, hybrid algorithms, NSGA-II |
20 | Jackson Marques de Carvalho, Helmut Jürgensen |
A Dynamical Document Structure to Capture the Semantics of Mathematical Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACHI ![In: First International Conference on Advances in Computer-Human Interaction, ACHI 2008, February 10-15, 2008, Sainte Luce, Martinique, France, pp. 257-264, 2008, IEEE Computer Society, 978-0-7695-3086-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
grammar fragments, attributed context-free grammars, meaning-to-syntax binding, extensibility, incremental update, meta-structure, authoring model |
20 | Seongmoon Kim |
Modeling Decisions for the Time-Dependent Optimal Lane Configuration Policy with Queueing Theory and Mathematical Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAI ![In: Modeling Decisions for Artificial Intelligence, 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007, Proceedings, pp. 489-499, 2007, Springer, 978-3-540-73728-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | John G. Stell |
Relations in Mathematical Morphology with Applications to Graphs and Rough Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory, 8th International Conference, COSIT 2007, Melbourne, Australia, September 19-23, 2007, Proceedings, pp. 438-454, 2007, Springer, 978-3-540-74786-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Seiichi Toyota, Seiichi Uchida, Masakazu Suzuki |
Structural Analysis of Mathematical Formulae with Verification Based on Formula Description Grammar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Document Analysis Systems ![In: Document Analysis Systems VII, 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006, Proceedings, pp. 153-163, 2006, Springer, 3-540-32140-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Yuichi Goto, Jingde Cheng |
A quantitative analysis of implicational paradoxes in classical mathematical logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 42-43, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
automated forward deduction, strong relevance, knowledge representation and reasoning, relevant logics |
20 | Qingtian Zeng, Cungen Cao 0001, Hua Duan, Yongquan Liang |
NKIMathE - A Multi-purpose Knowledge Management Environment for Mathematical Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings, pp. 625-636, 2006, Springer, 3-540-37033-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Bruno Buchberger |
Mathematical Theory Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 1-2, 2006, Springer, 3-540-37187-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Kazuki Ashida, Masayuki Okamoto, Hiroki Imai, Tsubasa Nakatsuka |
Performance Evaluation of a Mathematical Formula Recognition System with a large scale of printed formula images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIAL ![In: Second International Workshop on Document Image Analysis for Libraries (DIAL 2006), 27-28 April 2006, Lyon, France, pp. 320-331, 2006, IEEE Computer Society, 0-7695-2531-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Fernando Alonso, José L. Fuertes, Ángel Lucas González, Loïc Martínez |
SBT: A Translator from Spanish Mathematical Braille to MathML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 10th International Conference, ICCHP 2006, Linz, Austria, July 11-13, 2006, Proceedings, pp. 1207-1214, 2006, Springer, 3-540-36020-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Gregory J. Chaitin |
The Omega Number: Irreducible Complexity in Pure Math. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings, pp. 1, 2006, Springer, 3-540-37104-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Qiming Wang, Bonita V. Saunders |
Web-based 3D visualization in a digital library of mathematical functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web3D ![In: Proceeding of the Tenth International Conference on 3D Web Technology, Web3D 2005, Bangor, UK, March 29 - April 1, 2005, pp. 151-157, 2005, ACM, 1-59593-012-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
digital library, VRML, virtual reality modeling language, X3D, extensible 3D, 3D visualization, special functions |
20 | Christoph Schwarzweller |
Gröbner Bases - Theory Refinement in the Mizar System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers, pp. 299-314, 2005, Springer, 3-540-31430-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Hao Chen, Guangming Xie |
Nonlinear mathematical model of switched reluctance machine system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (7) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 6054-6060, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Masakazu Suzuki, Toshihiro Kanahori, Nobuyuki Ohtake, Katsuhito Yamaguchi |
An Integrated OCR Software for Mathematical Documents and Its Output with Accessibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 9th International Conference, ICCHP 2004, Paris, France, July 7-9, 2004, Proceedings, pp. 648-655, 2004, Springer, 3-540-22334-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Bruno Buchberger |
Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 236-250, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Martin Pollet, Volker Sorge, Manfred Kerber |
Intuitive and Formal Representations: The Case of Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings, pp. 317-331, 2004, Springer, 3-540-23029-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Alexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine |
Theorem Proving and Proof Verification in the System SAD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings, pp. 236-250, 2004, Springer, 3-540-23029-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Joydip Mitra, Utpal Garain, B. B. Chaudhuri 0001, Kumar Swamy H. V., Tamaltaru Pal |
Automatic Understanding of Structures in Printed Mathematical Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 7th International Conference on Document Analysis and Recognition (ICDAR 2003), 2-Volume Set, 3-6 August 2003, Edinburgh, Scotland, UK, pp. 540-544, 2003, IEEE Computer Society, 0-7695-1960-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Andrew A. Adams |
Digitisation, Representation, and Formalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings, pp. 1-16, 2003, Springer, 3-540-00568-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Sándor Dominich, Mounia Lalmas, Keith van Rijsbergen |
Report on ACM SIGIR workshop on mathematical/formal methods in information retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR Forum ![In: SIGIR Forum 36(2), pp. 62-67, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Arthur I. Karshmer, Gopal Gupta 0001, Douglas J. Gillan |
Architecting an Auditory Browser for Navigating Mathematical Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 8th International Conference, ICCHP 2002, Linz, Austria, July 15-20, Proceedings, pp. 477-485, 2002, Springer, 3-540-43904-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani |
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 231-245, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Vassilios Chatzis, Ioannis Pitas |
A generalized fuzzy mathematical morphology and its application in robust 2-D and 3-D object representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 9(10), pp. 1798-1810, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Kristina Lerman |
Design and Mathematical Analysis of Agent-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAABS ![In: Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers, pp. 222-234, 2000, Springer, 3-540-42716-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Afef Kacem, Abdel Belaïd, Mohamed Ben Ahmed |
EXTRAFOR: Automatic EXTRAction of Mathematical FORmulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Fifth International Conference on Document Analysis and Recognition, ICDAR 1999, 20-22 September, 1999, Bangalore, India, pp. 527-530, 1999, IEEE Computer Society, 0-7695-0318-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Hemant K. Bhargava, Michael S. Downs |
On Generating an Integrated DSS from a Mathematical Model Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 29th Annual Hawaii International Conference on System Sciences (HICSS-29), January 3-6, 1996, Maui, Hawaii, USA, pp. 396-406, 1996, IEEE Computer Society, 0-8186-7324-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Manfred Broy |
Mathematical System Models as a Basis of Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Science Today ![In: Computer Science Today: Recent Trends and Developments, pp. 292-306, 1995, Springer, 3-540-60105-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Susan L. Epstein, N. S. Sridharan |
Knowledge representation for mathematical discovery: Three experiments in graph theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 1(1), pp. 7-33, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Knowledge representation, graph theory, discovery |
20 | C. J. van Rijsbergen |
Quantum haystacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2006: Proceedings of the 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Seattle, Washington, USA, August 6-11, 2006, pp. 1-2, 2006, ACM, 1-59593-369-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Yukari Shirota |
Design of Automation Systems for Web Based Courseware Using XML and XSLT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNIS ![In: Databases in Networked Information Systems, 4th International Workshop, DNIS 2005, Aizu-Wakamatsu, Japan, March 28-30, 2005, Proceedings, pp. 186-203, 2005, Springer, 3-540-25361-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Bruno Buchberger |
A view on the future of symbolic computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings, pp. 1, 2005, ACM, 1-59593-095-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Wolfram Sperber |
Math-Net International and the Math-Net Page. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electronic Information and Communication in Mathematics ![In: Electronic Information and Communication in Mathematics, ICM 2002 International Satellite Conference, Beijing, China, August 29-31, 2002, Revised Papers, pp. 169-177, 2002, Springer, 3-540-40689-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
|
|