Sciweavers

2086 search results - page 27 / 418
» Mathematical Theory Exploration
Sort
View
61
Voted
IGPL
2007
75views more  IGPL 2007»
14 years 10 months ago
Logic for Mathematical Writing
In the School of Mathematical Sciences at Queen Mary in the University of London we have been running a module that teaches the students to write good mathematical English. The mo...
Edmund Harriss, Wilfrid Hodges
92
Voted
AIIA
2009
Springer
15 years 4 months ago
Mathematical Symbol Indexing
This paper addresses the indexing and retrieval of mathematical symbols from digitized documents. The proposed approach exploits Shape Contexts (SC) to describe the shape of mathe...
Simone Marinai, Beatrice Miotti, Giovanni Soda
77
Voted
MKM
2007
Springer
15 years 4 months ago
Using Formal Concept Analysis in Mathematical Discovery
Formal concept analysis (FCA) comprises a set of powerful algorithms which can be used for data analysis and manipulation, and a set of visualisation tools which enable the discove...
Simon Colton, Daniel Wagner
90
Voted
ICRA
2006
IEEE
130views Robotics» more  ICRA 2006»
15 years 4 months ago
Mathematical Foundation for Hormone-inspired Control for Self-reconfigurable Robotic Systems
– In this paper, we present a general mathematical foundation of hormone-inspired control for the selfreconfigurable robotic system. Problem considered here is the lack of a math...
Feili Hou, Wei-Min Shen
73
Voted
MVA
2000
118views Computer Vision» more  MVA 2000»
14 years 11 months ago
Granulometry Using Mathematical Morphology and Motion
This paper describes an efficient framework for image-based granulometry, which provides three main contributions. First, unlike most of the existing work on particle delineation,...
Fadi Dornaika, Hong Zhang