|
|
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 |
18 | Sungkap Yeo, Hsien-Hsin S. Lee |
Using Mathematical Modeling in Provisioning a Heterogeneous Cloud Computing Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 44(8), pp. 55-62, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Cloud computing, Mathematical modeling |
18 | Yiannos A. Stathopoulos, Brian Harrington 0001 |
OMEX: Software for Mining Mathematical Expression Semantics from Scientific Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSC ![In: Proceedings of the 5th IEEE International Conference on Semantic Computing (ICSC 2011), Palo Alto, CA, USA, September 18-21, 2011, pp. 209-210, 2011, IEEE Computer Society, 978-1-4577-1648-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
recognition, expression, data, mathematical, mining |
18 | Artak Amirbekyan |
Applying Data Mining and Mathematical Morphology to Borehole Data Coming from Exploration and Mining Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eScience ![In: Sixth International Conference on e-Science, e-Science 2010, 7-10 December 2010, Brisbane, QLD, Australia, pp. 113-120, 2010, IEEE Computer Society, 978-1-4244-8957-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
k-near-neighbours, boreholes, inverse distance weighting, association rules, mathematical morphology |
18 | Yanyan Cao, Hengjun Yue, Jian Wu 0002, Jianming Chen, Zhiming Cui |
Vehicle Edge Detection Based on Multi-structure Mathematical Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IITSI ![In: Third International Symposium on Intelligent Information Technology and Security Informatics, IITSI 2010, Jinggangshan, China, April 2-4, 2010, pp. 258-262, 2010, IEEE Computer Society, 978-0-7695-4020-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
edge detectio, multi-structure, mathematical morphology, structure element |
18 | Wei-bin Chen, Xin Zhang |
A New Watershed Algorithm for Cellular Image Segmentation Based on Mathematical Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MVHI ![In: 2010 International Conference on Machine Vision and Human-machine Interface, MVHI 2010, Kaifeng, China, April 24-25, 2010, pp. 653-656, 2010, IEEE Computer Soceity, 978-0-7695-4009-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
cellular image segmentation, mathematical morphology, watershed transform, morphological reconstruction |
18 | Wei-bin Chen, Xin Zhang |
Improved Edge Detecting Algorithm Based on Mathematical Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MVHI ![In: 2010 International Conference on Machine Vision and Human-machine Interface, MVHI 2010, Kaifeng, China, April 24-25, 2010, pp. 199-202, 2010, IEEE Computer Soceity, 978-0-7695-4009-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
morphological gradient, cellular image, edge detection, mathematical morphology, morphological reconstruction |
18 | Antonio Glaría, Carla Taramasco, Jacques Demongeot |
Methodological Proposal to Estimate a Tailored to the Problem Specificity Mathematical Transformation: Use of Computer Intelligence to Optimize Algorithm Complexity and Application to Auditory Brainstem Responses Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA Workshops ![In: 24th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2010, Perth, Australia, 20-13 April 2010, pp. 775-781, 2010, IEEE Computer Society, 978-0-7695-4019-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Mathematical transform, nonorthogonal basis, Jewett Transform, nonlinearities, Computer Intelligence, ABR |
18 | Ioannis P. Androulakis, Wanpracha Art Chaovalitwongse |
Mathematical Programming for Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 1955-1959, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Data mining, Clustering, Optimization, Classification, Mathematical programming |
18 | Ralf Östermark |
Geno-mathematical identification of the multi-layer perceptron. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 18(4), pp. 331-344, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Geno-mathematical programming, Backpropagation, K nearest neighbors |
18 | Limin Mi, Yuanxing Liu 0003 |
The Uncertainty Mathematical Methods of Economic Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCM ![In: International Conference on Networked Computing and Advanced Information Management, NCM 2009, Fifth International Joint Conference on INC, IMS and IDC: INC 2009: International Conference on Networked Computing, IMS 2009: International Conference on Advanced Information Management and Service, IDC 2009: International Conference on Digital Content, Multimedia Technology and its Applications, Seoul, Korea, August 25-27, 2009, pp. 1118-1122, 2009, IEEE Computer Society, 978-0-7695-3769-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
uncertainty, Mathematical model, economic analysis |
18 | José Crispín Zavala Díaz, Dalia V. Garcia-Villagomez, Jorge A. Ruiz-Vanoye, Ocotlán Díaz-Parra |
Selection of an Investment Portfolio by Means of a Mathematical Model of Optimization Applied to Mexican Stock-Market in Period of Debacle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCM ![In: International Conference on Networked Computing and Advanced Information Management, NCM 2009, Fifth International Joint Conference on INC, IMS and IDC: INC 2009: International Conference on Networked Computing, IMS 2009: International Conference on Advanced Information Management and Service, IDC 2009: International Conference on Digital Content, Multimedia Technology and its Applications, Seoul, Korea, August 25-27, 2009, pp. 1001-1006, 2009, IEEE Computer Society, 978-0-7695-3769-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Investment Portfolio, Mathematical Optimization Model, Mexican stock-market |
18 | José Luis Risco-Martín, José Ignacio Hidalgo, David Atienza, Juan Lanchares, Oscar Garnica |
Mixed heuristic and mathematical programming using reference points for dynamic data types optimization in multimedia embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, pp. 1601-1608, 2009, ACM, 978-1-60558-325-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
evolutionary computation, particle swarm optimization, multi-objective optimization, mathematical programming, embedded systems design |
18 | Lihua Li, Rong Wang, Jintao Li, Ge Wang |
The Research of ISOETRP Clustering Algorithm on Optical Mathematical Symbols Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIS (3) ![In: 9th International Conference on Hybrid Intelligent Systems (HIS 2009), August 12-14, 2009, Shenyang, China, pp. 433-436, 2009, IEEE Computer Society, 978-0-7695-3745-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ISOETRP Clustering Algorithm, Optical Mathematical Symbols Recognition |
18 | Chuan Cai, Xun Lai, Wei Su 0008, Lian Li, Paul S. Wang |
A Web-Based Mathematical User Interface for E-Science System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC ![In: Eighth International Conference on Grid and Cooperative Computing, GCC 2009, Lanzhou, Gansu, China, August 27-29, 2009, pp. 176-181, 2009, IEEE Computer Society, 978-0-7695-3766-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
OpenMath, Infix, Mathematical Formula Editing, Interactive Geometry System, XML, SVG, e-Science, DOM, LaTex |
18 | Ion Petre, Andrzej Mizera, Ralph-Johan Back |
Computational Heuristics for Simplifying a Biological Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings, pp. 399-408, 2009, Springer, 978-3-642-03072-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
heat shock response, mathematical model, Model reduction |
18 | Karlheinz Spindler |
A Unified Mathematical Treatment of Regression Problems in Image Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDA ![In: Advances in Mass Data Analysis of Images and Signals in Medicine, Biotechnology, Chemistry and Food Industry, Third International Conference, MDA 2008, Leipzig, Germany, July 14, 2008, Proceedings, pp. 108-122, 2008, Springer, 978-3-540-70714-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Automatic Image Analysis, Medical Applications, Object Matching, Mathematical Optimization |
18 | Kang Luo, Cheng-zhong Deng, Jinge Wang 0001, Qiang Wang |
Coriolis Moments in Manipulators: Demonstrative Experiment and Mathematical Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIRA (2) ![In: Intelligent Robotics and Applications, First International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part II, pp. 1155-1162, 2008, Springer, 978-3-540-88516-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Coriolis moment, Experiment, Manipulator, Differential, Mathematical Analysis |
18 | Stela Sotirova, Lyubomir Sotirov |
Computer-mathematical modeling of one class investment processes, based on optimal singular adaptive M3A1N computer observer: part 1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompSysTech ![In: Proceedings of the 2007 International Conference on Computer Systems and Technologies, CompSysTech 2007, Rousse, Bulgaria, June 14-15, 2007, pp. 53, 2007, ACM, 978-954-9641-50-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Matlab-implementation, computer-mathematical modeling, financial-economic systems, initial state vector estimation, investment processes, optimal singular adaptive observation, identification, discrete systems |
18 | Stela Sotirova, Lyubomir Sotirov |
Computer-mathematical modeling of one class investment processes, based on optimal singular adaptive M3A1N computer observer: part 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompSysTech ![In: Proceedings of the 2007 International Conference on Computer Systems and Technologies, CompSysTech 2007, Rousse, Bulgaria, June 14-15, 2007, pp. 54, 2007, ACM, 978-954-9641-50-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Matlab-implementation, computer-mathematical modeling, financial-economic systems, initial state vector estimation, investment processes, optimal singular adaptive observation, identification, discrete systems |
18 | Francisco Ortiz |
Real-Time Elimination of Brightness in Color Images by MS Diagram and Mathematical Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAIP ![In: Computer Analysis of Images and Patterns, 12th International Conference, CAIP 2007, Vienna, Austria, August 27-29, 2007, Proceedings, pp. 458-465, 2007, Springer, 978-3-540-74271-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
brightness elimination, color mathematical morphology, connected vectorial filters |
18 | Fatma Bilge Yilmaz, Hakan Öktem, Gerhard-Wilhelm Weber |
Mathematical Modeling and Approximation of Gene Expression Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OR ![In: Operations Research, Proceedings 2004, Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Jointly Organized with the Netherlands Society for Operations Research (NGB), Tilburg, The Netherlands, September 1-3, 2004, pp. 280-287, 2004, 978-3-540-24274-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Optimization, Inference, Dynamical Systems, Mathematical Modeling, Gene Expression, Gene Regulation, Gene Network |
18 | Stanislav V. Klimenko, Gregory M. Nielson, Lialia Nikitina, Igor N. Nikitin |
Adventures of Möbius band: mathematical visualization in virtual environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 18th Annual Symposium on Computational Geometry, Barcelona, Spain, June 5-7, 2002, pp. 281-282, 2002, ACM, 1-58113-504-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
virtual environments, mathematical visualization |
18 | Francisco de Assis Zampirolli, Roberto de Alencar Lotufo |
Classification of the Distance Transformation Algorithms under the Mathematical Morphology Approach. ![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. 292-299, 2000, IEEE Computer Society, 0-7695-0878-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
distance transformation algorithm classification, sequential raster algorithms, parallel algorithms, image processing, image processing, computer architectures, mathematical morphology, binary image, distance metric, propagation algorithms |
18 | Rumen Andonov, Nicola Yanev, Hafid Bourzoufi |
Three-dimensional orthogonal tile sizing problem: mathematical programming approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 1997 International Conference on Application-Specific Systems, Architectures, and Processors (ASAP '97), 14-16 July 1997, Zurich, Switzerland, pp. 209-218, 1997, IEEE Computer Society, 0-8186-7958-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
three-dimensional orthogonal tile sizing problem, mathematical programming approach, optimal tiling transformation, three-dimensional uniform recurrences, distributed-memory general-purpose machines, parallelizing compilers, running time, performance tuning, parallelising compilers, nonlinear integer programming, parallel codes |
18 | Yan Solihin, Graham Leedham |
Mathematical properties of the native integral ratio handwriting and text extraction technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 4th International Conference Document Analysis and Recognition (ICDAR '97), 2-Volume Set, August 18-20, 1997, Ulm, Germany, Proceedings, pp. 1102-, 1997, IEEE Computer Society, 0-8186-7898-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
native integral ratio technique, text extraction technique, foreground-background separation, grey-scale handwriting image, pixels groups, fuzzy group, thresholded images, thresholding techniques, hypothetical Gaussian distributions, distribution strength, strong uniform noise, mathematical properties, performance, handwriting recognition, variance |
18 | Kyeong-Ryeol Park, Chung-Nim Lee |
Scale-Space Using Mathematical Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 18(11), pp. 1121-1126, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
causal property, generalized zero-crossing, alternating sequential filter, Mathematical morphology, fingerprints, scale-space |
18 | David J. Thuente, Pulin Sampat |
Mathematical programming in a hybrid genetic algorithm for Steiner point problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1995 ACM symposium on applied computing, SAC'95, Nashville, TN, USA, February 26-28, 1995, pp. 357-363, 1995, ACM, 0-89791-658-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
genetic algorithm, mathematical programming, Quasi-Newton method, Steiner points, heuristic optimization |
18 | Liang Ji, Jim Piper |
Fast Homotopy-Preserving Skeletons Using Mathematical Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(6), pp. 653-664, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
homotopy-preserving skeletons, 2-D binary images, pattern recognition, pattern recognition, picture processing, picture processing, image reconstruction, skeletonization, mathematical morphology, shape representation, distance functions, sufficient condition, combinatorial mathematics, combinatorial mathematics |
18 | Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet |
Mathematical Principles for a First Course in Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(5), pp. 550-559, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
mathematical principles, first course, introductory computer science course, software engineering, software engineering, computer science education, mathematics computing, educational courses |
18 | Isabelle Bloch |
Bipolar Fuzzy Mathematical Morphology for Spatial Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Mathematical Morphology and Its Application to Signal and Image Processing, 9th International Symposium, ISMM 2009, Groningen, The Netherlands, August 24-27, 2009 Proceedings, pp. 24-34, 2009, Springer, 978-3-642-03612-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
bipolar spatial information, bipolar fuzzy dilation and erosion, fuzzy sets, spatial reasoning, spatial relations |
18 | Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells |
Narrative Structure of Mathematical Texts. ![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. 296-312, 2007, Springer, 978-3-540-73083-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Serge Autexier, Dominik Dietrich |
Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings, pp. 94-109, 2006, Springer, 3-540-37104-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Ewgenij Gawrilow, Michael Joswig |
Flexible Object Hierarchies in Polymake. ![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. 219-221, 2006, Springer, 3-540-38084-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Tim Hoffmann, Markus Schmies |
jReality, jtem, and Oorange - A Way to Do Math with Computers. ![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. 74-85, 2006, Springer, 3-540-38084-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Klaus Grue |
Logiweb - A System for Web Publication of Mathematics. ![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. 343-353, 2006, Springer, 3-540-38084-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Arjeh M. Cohen, Hans Cuypers, Dorina Jibetean, Mark Spanbroek |
Interactive Learning and Mathematical Calculus. ![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. 330-345, 2005, Springer, 3-540-31430-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Manfred Kerber, Martin Pollet |
A Tough Nut for Mathematical Knowledge Management. ![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. 81-95, 2005, Springer, 3-540-31430-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Olga Caprotti, Mike Dewar, Daniele Turi |
Mathematical Service Matching Using Description Logic and OWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings, pp. 73-87, 2004, Springer, 3-540-23029-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Claudio Sacerdoti Coen, Stefano Zacchiroli |
Efficient Ambiguous Parsing of Mathematical Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings, pp. 347-362, 2004, Springer, 3-540-23029-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Andrea Asperti, Matteo Selmi |
Efficient Retrieval of Mathematical Statements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings, pp. 17-31, 2004, Springer, 3-540-23029-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Massimo Marchiori |
The Mathematical Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings, pp. 216-224, 2003, Springer, 3-540-00568-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Ferruccio Guidi, Irene Schena |
A Query Language for a Metadata Framework about Mathematical Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings, pp. 105-118, 2003, Springer, 3-540-00568-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Samuel S. Dooley |
Editing mathematical content and presentation markup in interactive mathematical documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2002, Lille, France, July 7-10, 2002, Proceedings, pp. 55-62, 2002, ACM, 1-58113-484-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | George J. Milne |
Design for Verifiability. ![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. 1-13, 1989, Springer, 3-540-97226-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Nagarajan Ranganathan, Upavan Gupta, Venkataraman Mahalingam |
Variation-aware multimetric optimization during gate sizing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 14(4), pp. 54:1-54:30, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
optimization, delay, power, mathematical programming, Gate sizing, crosstalk noise |
17 | Caslav Brukner |
Quantum complementarity and logical indeterminacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 8(3), pp. 449-453, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Quantum complementarity, Logical indeterminacy, Mathematical undecidability |
17 | Murali Sitaraman, Jason O. Hallstrom, Jarred White, Svetlana Drachova-Strang, Heather K. Harton, Dana P. Leonard, Joan Krone, Richard Pak |
Engaging students in specification and reasoning: "hands-on" experimentation and evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2009, Paris, France, July 6-9, 2009, pp. 50-54, 2009, ACM, 978-1-60558-381-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mathematical thinking, education, components, tools |
17 | Sushama P. Patil, Amol C. Goje |
The Effect of Developments in Student Attributes on Success in Programming of Management Students. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICETC ![In: 2009 International Conference on Education Technology and Computer, ICETC 2009, Singapore, 17-20 April 2009, pp. 191-193, 2009, IEEE Computer Society, 978-0-7695-3609-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mathematical aptitude, performance consistence in mathematics etc Citation: Sushama P. Patil, Amol C. Goje, The Effect of Developments in Student Attributes on Success in Programming of Management Students, icetc, pp.191-193, 2009 International Conference on Education Technology and Computer, 2009 Peer Review Notice, Give Us Feedback Usage of this product signifies your acceptance of the Terms of Use. var addtoMethod=1, var AddURL = escape(http://doi.ieeecomputersociety.org/), var AddTitle = escape(The Effect of Developments in Student Attributes on Success in Programming of Management Students), var savedIndex = 0, function openLinks(pPackageTitle,title,pProductTitle, index) { var productId = escape(1629), var pubYear = escape(2009), var volume = escape(0), var issueNo = escape(0), var packageTitle = escape(2009 International Conference on Education Technology and Computer), var productTitle = escape(Education Technology and Computer, International Conference on), var acronymTemp = escape(ICETC), var bcPageName = escape(I), var pubType = escape(p), var linkToYear=escape(/plugins/dl/years/1629), var linkToIssue=escape(/plugins/dl/years/1629?year=2009&vol=0), var linkToTOC=escape(/plugins/dl/toc/6836), var linkToAbstract = escape(/plugins/dl/doi/10.1109/ICETC.2009.35), var journalPage = escape(i), var abbrevTitle = escape(icetc), var yearTitle = escape(2009), var issueTitle = 'Issue No. ' + issueNo + ' - ' + packageTitle, var absTitle = escape(The Effect of Developments in Student Attributes on Success in Programming of Management Students), if(pubType == m) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/magazines/' + journalPage), } else if (pubType == t) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/transactions/' + journalPage), } else if (pubType == l) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/letters/' + journalPage), } else { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/proceedings/' + journalPage), } if (pubYear == 5555) { if(issueNo == 1) { if(abbrevTitle != cal) { breadcrumbs.add('PrePrints', linkToTOC, 1), } } else if(issueNo == 2) { breadcrumbs.add('RapidPosts', linkToTOC, 1), } else { }, } else if(pubType == p) { breadcrumbs.add(pProductTitle, linkToYear, 1), breadcrumbs.add(yearTitle, linkToYear + '?year=' + pubYear + '&vol=' + volume, 2), breadcrumbs.add(pPackageTitle,linkToTOC, 3), breadcrumbs.add(title , linkToAbstract, 4), } else { breadcrumbs.add(yearTitle, linkToYear + '?year=' + pubYear + '&vol=' + volume, 1), breadcrumbs.add(issueTitle,linkToTOC, 2), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 3), } if(pubType == m) { //document.location = /portal/web/csdl/magazines/ + journalPage, var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/magazines/' + journalPage, } else if (pubType == t) { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/transactions/' + journalPage, //document.location = /portal/web/csdl/transactions/ + journalPage, } else if (pubType == l) { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/letters/' + journalPage, //document.location = /portal/web/csdl/letters/ + journalPage, } else { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/proceedings/' + journalPage, //document.location = /portal/web/csdl/proceedings/ + journalPage, } } Open Download Liferay.Portlet.onLoad({ canEditTitle: false, columnPos: 1, isStatic: 'end', namespacedId: 'p_p_id_digitallibraryabstract_WAR_plugins_INSTANCE_uxob_', portletId: 'digitallibraryabstract_WAR_plugins_INSTANCE_uxob' }), //, Math.floor(Math.random()*1E16), document.write('')&rrc=848" title="Search for publications containing 'tile=3,sz=300x250,336x280,ord=' + ord + '?></script>')'">tile=3,sz=300x250,336x280,ord=' + ord + '?>'), //]]> Liferay.Portlet.onLoad({ canEditTitle: false, columnPos: 2, isStatic: 'end', namespacedId: 'p_p_id_56_INSTANCE_T3mf_', portletId: '56_INSTANCE_T3mf' }), spatial ability, setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), //breadcrumbs.select(index), //breadcrumbs.select(index), //breadcrumbs.select(index), //breadcrumbs.select(index), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 2), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 2) |
17 | Ping Yang |
A systematic approach on computational analysis and optimization design: for a nonlinear coupling shock absorber. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 24(1), pp. 87-96, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Nonlinear coupling shock absorber, Mathematical model, Computational simulation, Optimization design, Parameters selection |
17 | Claudia Diamantini, Domenico Potena |
Semantic enrichment of strategic datacubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOLAP ![In: DOLAP 2008, ACM 11th International Workshop on Data Warehousing and OLAP, Napa Valley, California, USA, October 30, 2008, Proceedings, pp. 81-88, 2008, ACM, 978-1-60558-250-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
mathematical ontology, strategic index, Data Warehouse, semantic annotation, datacube |
17 | Carla Dionisi, Francesca Mariani, Maria Cristina Recchioni, Francesco Zirilli |
Blackouts in Power Transmission Networks Due to Spatially Localized Load Anomalies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRITIS ![In: Critical Information Infrastructure Security, Third International Workshop, CRITIS 2008, Rome, Italy, October 13-15, 2008. Revised Papers, pp. 1-13, 2008, Springer, 978-3-642-03551-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
power transmission network, cascading blackout, mathematical programming, stochastic optimization |
17 | Benoît Colson, Patrice Marcotte, Gilles Savard |
An overview of bilevel optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 153(1), pp. 235-256, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Optimal pricing, Nonlinear programming, Bilevel programming, Mathematical programs with equilibrium constraints |
17 | Alexandre Campo, Marco Dorigo |
Efficient Multi-foraging in Swarm Robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAL ![In: Advances in Artificial Life, 9th European Conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007, Proceedings, pp. 696-705, 2007, Springer, 978-3-540-74912-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
multi-foraging, mathematical modelling, swarm robotics |
17 | Esko Turunen |
Semi-Boolean and Hyper-Archimedean BL -Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (1) ![In: Foundations of Fuzzy Logic and Soft Computing, 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007, Proceedings, pp. 419-426, 2007, Springer, 978-3-540-72917-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematical fuzzy logic, BL-algrebra, MV-algebra |
17 | Yuehuan Wang, Guirong Weng |
The Monitoring Population Density of Pests Based on Edge-enhancing Diffusion Filtering and Image Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCTA ![In: Computer And Computing Technologies In Agriculture, Volume II, First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007, pp. 899-907, 2007, Springer, 978-0-387-77252-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Monitoring Population, Edge-enhancing filtering, Mathematical Morphology, Digital Image-processing, Watershed Algorithm |
17 | Kristina Lerman |
Dynamics of a Collaborative Rating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WebKDD/SNA-KDD ![In: Advances in Web Mining and Web Usage Analysis, 9th International Workshop on Knowledge Discovery on the Web, WebKDD 2007, and 1st International Workshop on Social Networks Analysis, SNA-KDD 2007, San Jose, CA, USA, August 12-15, 2007. Revised Papers, pp. 77-96, 2007, Springer, 978-3-642-00527-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
collaborative rating, social networks, dynamics, News aggregation, mathematical analysis |
17 | Heng-Chang Liu, Bao-Hua Zhao |
A Near-Optimal Optimization Algorithm for Link Assignment in Wireless Ad-Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 21(1), pp. 89-94, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
wireless network, mathematical modeling, column generation, link scheduling, STDMA |
17 | Li Tu, Jinlian Deng, Huanya Cao, Pixuan Zhou |
Research on the Dynamics of Flexible Manipulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLAMAT ![In: Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management, Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15-17, 2006, Shanghai, China, pp. 217-223, 2006, Springer, 0-387-34402-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Dynamics, Mathematical Model, Flexible Manipulator |
17 | Lihua You, Javier Romero Rodriguez, Jian J. Zhang 0001 |
Manipulation of Elastically Deformable Surfaces through Maya Plug-in. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GMAI ![In: 2006 International Conference on Geometric Modeling and Imaging, GMAI 2006, London, UK, July 5-7, 2006, pp. 15-21, 2006, IEEE Computer Society, 0-7695-2604-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Elastically deformable surfaces, finite difference solution, Maya implementation, shape manipulation, computer animation, mathematical model |
17 | Gang Yu, Yuxiang Yang, Peng Li, Zhengzhong Bian |
Robust Segmentation for Left Ventricle Based on Curve Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006, Proceedings, Part III, pp. 507-514, 2006, Springer, 3-540-46542-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Echocardiographic Image, Mathematical morphology, Level set, Gaussian distribution, Nonlinear diffusion |
17 | Gang Kou, Yi Peng 0001, Yong Shi 0001, Zhengxin Chen |
Multiclass Credit Cardholders' Behaviors Classification Methods. ![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. 485-492, 2006, Springer, 3-540-34385-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
multi-group classification, See5, Multiple criteria mathematical programming (MCMP), one-against-all SVM, decision tree |
17 | Yu Wang 0013 |
G-Networks and the Modeling of Adversarial Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (1) ![In: Artificial Neural Networks - ICANN 2006, 16th International Conference, Athens, Greece, September 10-14, 2006. Proceedings, Part I, pp. 330-339, 2006, Springer, 3-540-38625-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
G-Networks, military strategy and planning, multi-agent systems, mathematical modelling |
17 | Sajib Barua, Ruppa K. Thulasiram, Parimala Thulasiraman |
High Performance Computing for a Financial Application Using Fast Fourier Transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings, pp. 1246-1253, 2005, Springer, 3-540-28700-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
HPC for commercial application, Parallel algorithm, Fast Fourier transform, Mathematical modeling, Data locality, Option pricing |
17 | Damián Vargas-Vázquez, José Crespo, Victor Maojo |
Morphological Image Reconstruction with Criterion from Labelled Markers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 11th International Conference, DGCI 2003, Naples, Italy, November 19-21, 2003, Proceedings, pp. 475-484, 2003, Springer, 3-540-20499-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
flat zones, labelled markers, reconstruction with criterion, segmentation, Mathematical Morphology |
17 | Stina Svensson, Pieter P. Jonker |
On the Use of Shape Primitives for Reversible Surface Skeletonization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 11th International Conference, DGCI 2003, Naples, Italy, November 19-21, 2003, Proceedings, pp. 317-326, 2003, Springer, 3-540-20499-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Topological erosion, mathematical morphology, distance transform |
17 | Pierre Soille |
Advances in the Analysis of Topographic Features on Discrete Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 10th International Conference, DGCI 2002, Bordeaux, France, April 3-5, 2002, Proceedings, pp. 175-186, 2002, Springer, 3-540-43380-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
minima imposition, plateau, lower complete transformation, grey scale hit-or-miss, crest lines, grey scale skeletonisation, Mathematical morphology, watersheds |
17 | John N. Hooker, Hak-Jin Kim, Greger Ottosson |
A Declarative Modeling Framework that Integrates Solution Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 104(1-4), pp. 141-161, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
linear programming, constraint programming, nonlinear programming, mathematical programming, modeling language, constraint propagation, optimization method |
17 | Ahmed E. Kamal 0001, Hesham El-Rewini |
On the Optimal Selection of Proxy Agents in Mobile Network Backbones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: Proceedings of the 2001 International Conference on Parallel Processing, ICPP 2002, 3-7 September 2001, Valencia, Spain, pp. 103-112, 2001, IEEE Computer Society, 0-7695-1257-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
search cost, update cost, proxy agent, clustering, mathematical programming, home agent |
17 | Zhen Liu 0001, Philippe Nain, Donald F. Towsley |
Sample path methods in the control of queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 21(3-4), pp. 293-335, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
mathematical formalism, sample path arguments, scheduling, Control, discrete event system, queueing system, stochastic comparison |
17 | Laurent D. Cohen |
Auxiliary Variables for Deformable Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 975-980, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
mathematical formulation, surface reconstruction algorithms, two step iterative algorithms, potential data attraction, variables energy, implicit data constraint, non convex potential, explicit convex reconstruction problem, closest feature point, feature extraction, iterative methods, image restoration, image restoration, deformable models, templates, minimisation, auxiliary variables |
17 | Krishnamoorthy Sivakumar, John Goutsias |
On the morphological analysis of binary random fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 514-517, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
image data modeling, random shapes processing, random shapes analysis, continuous space binary random fields, random closed sets separability, image processing, image processing, statistical analysis, image analysis, mathematical morphology, set theory, random processes, morphological analysis, statistical techniques |
17 | N. Feray, Denis de Brucq, Katerin Romeo-Pakker, Thierry Paquet |
Evaluation of codes and primitives: recognition of unconstrained handwritten numerals. ![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. 104-107, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
unconstrained handwritten numerals recognition, average length, transmitted information, probability, optical character recognition, optical character recognition, handwriting recognition, codes, codes, mathematical model, primitives, conditional entropies, handwritten numerals, binary decision trees |
17 | Jacques Calmet, Indra A. Tjandra |
Building Bridges Between Knowledge Representation and Algebraic Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994, Proceedings, pp. 295-304, 1994, Springer, 3-540-58495-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
modeling mathematical domains of computation, knowledge representation, program transformation, Methodology, algebraic specification |
17 | Dong Zheng 0002, Sha Wang, Jiying Zhao |
RST Invariant Image Watermarking Algorithm With Mathematical Modeling and Analysis of the Watermarking Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 18(5), pp. 1055-1068, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Simone Marinai, Beatrice Miotti, Giovanni Soda |
Mathematical Symbol Indexing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2009: Emergent Perspectives in Artificial Intelligence, XIth International Conference of the Italian Association for Artificial Intelligence, Reggio Emilia, Italy, December 9-12, 2009, Proceedings, pp. 102-111, 2009, Springer, 978-3-642-10290-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Simone Marinai, Beatrice Miotti, Giovanni Soda |
Mathematical Symbol Indexing Using Topologically Ordered Clusters of Shape Contexts. ![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. 1041-1045, 2009, IEEE Computer Society, 978-0-7695-3725-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Josef B. Baker, Alan P. Sexton, Volker Sorge |
A Linear Grammar Approach to Mathematical Formula Recognition from PDF. ![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. 201-216, 2009, Springer, 978-3-642-02613-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Nidhal Bouaynaya, Dan Schonfeld |
Theoretical Foundations of Spatially-Variant Mathematical Morphology Part II: Gray-Level Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 30(5), pp. 837-850, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Filtering, Morphological |
17 | Liang Pi, Yunpeng Pan, Leyuan Shi |
Hybrid Nested Partitions and Mathematical Programming Approach and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 5(4), pp. 573-586, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Victor V. Kuliamin |
Test Construction for Mathematical Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom/FATES ![In: Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings, pp. 23-37, 2008, Springer, 978-3-540-68514-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Christoph Lange 0002 |
SWiM - A Semantic Wiki for Mathematical Knowledge Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, Proceedings, pp. 832-837, 2008, Springer, 978-3-540-68233-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Robert C. Zeleznik, Timothy S. Miller, Chuanjun Li, Joseph J. LaViola Jr. |
MathPaper: Mathematical Sketching with Fluid Support for Interactive Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Graphics ![In: Smart Graphics, 8th International Symposium, SG 2008, Rennes, France, August 27-29, 2008. Proceedings, pp. 20-32, 2008, Springer, 978-3-540-85410-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Ali Diab 0001, Andreas Mitschele-Thiel, Florian Liers |
Estimation of the cost resulting from mobility management protocols using a generic mathematical model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSWiM ![In: Proceedings of the 11th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2008, Vancouver, British Columbia, Canada, October 27-31, 2008, pp. 157-161, 2008, ACM, 978-1-60558-235-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
All-IP wireless networks, mobility management, cost estimation |
17 | Sabina Jeschke, Marc Wilke, Nicole Natho, Olivier Pfeiffer |
Managing Mathematical Texts with OWL and Their Graphical Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA, pp. 330, 2008, IEEE Computer Society, 0-7695-3075-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Michael Kohlhase, Christine Müller, Florian Rabe 0001 |
Notations for Living Mathematical Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC/MKM/Calculemus ![In: Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings, pp. 504-519, 2008, Springer, 978-3-540-85109-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Liang-Hsuan Chen, Chan-Ching Hsueh |
A Mathematical Programming Method for Formulating a Fuzzy Regression Model Based on Distance Criterion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 37(3), pp. 705-712, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Marcos Eduardo Valle, Peter Sussner |
Fuzzy Associative Memories from the Perspective of Mathematical Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, UK, 23-26 July, 2007, Proceedings, pp. 1-6, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Sabina Jeschke, Marc Wilke, Marie Blanke, Nicole Natho, Olivier Pfeiffer |
Information extraction from mathematical texts by means of natural language processing techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia EMME Workshop ![In: Proceedings of the International Workshop on Educational Multimedia and Multimedia Education 2007, Augsburg, Bavaria, Germany, September 28, 2007, pp. 109-114, 2007, ACM, 978-1-59593-783-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
automated generation of metadata, natural language processing, semantic annotation, ontology engineering |
17 | Ádám Darvas, Peter Müller 0001 |
Faithful mapping of model classes to mathematical structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS ![In: Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, SAVCBS 2007, Dubrovnik, Croatia, September 3-4, 2007, pp. 31-38, 2007, ACM, 978-1-59593-721-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
model classes, verification, specification, abstraction, isomorphism, java modeling language |
17 | Kouji Aoyama, Takanori Ugai, Jun Arima |
Design and Evaluation a Knowledge Management System by Using Mathematical Model of Knowledge Transfer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![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 II, pp. 1253-1260, 2007, Springer, 978-3-540-74826-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
knowledge management, knowledge sharing, knowledge transfer |
17 | Ali Diab 0001, Florian Liers, Andreas Mitschele-Thiel |
Performance analysis of mobility management protocols using a generic mathematical model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSWiM ![In: Proceedings of the 10th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2007, Chania, Crete Island, Greece, October 22-26, 2007, pp. 52-59, 2007, ACM, 978-1-59593-851-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
all-ip wireless networks, performance analysis, mobility management |
17 | Jiaxing Xue, Jean Gao, Liping Tang |
Mathematical Modeling of Phagocyte Chemotaxis toward and Adherence to Biomaterial Implants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2007, Silicon Valley, CA, USA, November 2-4, 2007, pp. 302-307, 2007, IEEE Computer Society, 0-7695-3031-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Alfonso Sánchez-Macián, Encarna Pastor, Jorge E. López de Vergara, David López 0004 |
Extending SWRL to Enhance Mathematical Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007, Proceedings, pp. 358-360, 2007, Springer, 978-3-540-72981-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | William M. Farmer |
Biform Theories in Chiron. ![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. 66-79, 2007, Springer, 978-3-540-73083-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Hiroyasu Koshimizu, Yuji Tanaka, Takayuki Fujiwara |
OK-Quantization Theory - A Mathematical Theory of Quantization -. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (3) ![In: 18th International Conference on Pattern Recognition (ICPR 2006), 20-24 August 2006, Hong Kong, China, pp. 865-868, 2006, IEEE Computer Society, 0-7695-2521-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Xuedong Tian, Hai-Yan Li, Xinfu Li, Li-Ping Zhang |
Research on Symbol Recognition for Mathematical Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICIC (3) ![In: First International Conference on Innovative Computing, Information and Control (ICICIC 2006), 30 August - 1 September 2006, Beijing, China, pp. 357-360, 2006, IEEE Computer Society, 0-7695-2616-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Toshihiro Kanahori, Masakazu Suzuki |
Refinement of digitized documents through recognition of mathematical formulae. ![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. 297-302, 2006, IEEE Computer Society, 0-7695-2531-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Yoshinori Ito, Takanori Sato, Noritaka Yamashita, Jianming Lu, Hiroo Sekiya, Takashi Yahagi |
Impulse noise detector using mathematical morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Stephen M. Watt |
Improving Pen-Based Mathematical Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 26-29 September 2006, Timisoara, Romania, pp. 12, 2006, IEEE Computer Society, 0-7695-2740-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Dong Hu, Xiangzhong Tian |
A Multi-Directions Algorithm for Edge Detection Based on Fuzzy Mathematical Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAT Workshops ![In: 16th International Conference on Artificial Reality and Telexistence, ICAT 2006, Hangzhou, China, November 29 - December 1, 2006, Workshops Proceedings, pp. 361-364, 2006, IEEE Computer Society, 0-7695-2754-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
|
|