C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Intelligent understanding of handwritten geometry theorem proving.
Yingying Jiang
Feng Tian
Hongan Wang
Xiaolong Zhang
XuGang Wang
Guozhong Dai
Published in:
IUI (2010)
Keyphrases
</>
geometry theorem proving
database
hidden markov models
theorem proving
human centric
information retrieval
artificial neural networks
character recognition
human beings
real time
social networks
e learning
multiscale
word spotting
numeral strings