370 search results - page 5 / 74 » Mathematical Symbol Indexing |
202
Voted
PRL
2008
15 years 7 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...
103
Voted
ISSAC
2007
Springer
16 years 1 months ago
2007
Springer
171
Voted
CASC
2005
Springer
16 years 29 days ago
2005
Springer
194
Voted
GECCO
2009
Springer
16 years 1 days 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...
178
click to vote
FCSC
2007
15 years 7 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...