370 search results - page 5 / 74 » Mathematical Symbol Indexing |
PRL
2008
14 years 9 months ago
2008
Structural analysis in handwritten mathematical expressions focuses on interpreting the recognized symbols using geometrical information such as relative sizes and positions of th...
ISSAC
2007
Springer
15 years 3 months ago
2007
Springer
CASC
2005
Springer
15 years 3 months ago
2005
Springer
GECCO
2009
Springer
15 years 2 months ago
2009
Springer
Given a set of strings S of equal lengths over an alphabet Σ, the closest string problem seeks a string over Σ whose maximum Hamming distance to any of the given strings is as s...
FCSC
2007
14 years 9 months ago
2007
The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives...