Sciweavers

2086 search results - page 27 / 418
» Mathematical Theory Exploration
Sort
View
IGPL
2007
75views more  IGPL 2007»
13 years 8 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
AIIA
2009
Springer
14 years 3 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
MKM
2007
Springer
14 years 2 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
ICRA
2006
IEEE
130views Robotics» more  ICRA 2006»
14 years 2 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
MVA
2000
118views Computer Vision» more  MVA 2000»
13 years 10 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