5510 search results - page 69 / 1102 » Mathematics |
171
click to vote
ICRA
2006
IEEE
16 years 21 hour ago
2006
IEEE
– 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...
175
click to vote
ICDAR
2005
IEEE
15 years 11 months ago
2005
IEEE
Natural and convenient mathematical handwriting recognition requires recognizers for large sets of handwritten symbols. This paper presents a recognition system for such handwritt...
183
click to vote
GREC
2005
Springer
15 years 11 months ago
2005
Springer
We present an approach for recognising mathematical texts using an extensive LATEX symbol database and a novel recognition algorithm. The process consists essentially of three step...
174
click to vote
ECTEL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The MiGen project is designing and developing an intelligent, exploratory environment to support 11–14-year-old students in their learning of mathematical generalisatio...
158
click to vote
TPHOL
1996
IEEE
15 years 10 months ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...