587 search results - page 20 / 118 » Mathematical Analysis of Multi-Agent Systems |
ICDAR
2011
IEEE
12 years 6 months ago
2011
IEEE
— A competition on recognition of online handwritten mathematical expressions is organized. Recognition of mathematical expressions has been an attractive problem for the pattern...
ICDAR
2005
IEEE
14 years 11 days 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...
DAS
2008
Springer
13 years 8 months ago
2008
Springer
Certain forms of mathematical expression are used more often than others in practice. A quantitative understanding of actual usage can provide additional information to improve th...
ICCS
2009
Springer
13 years 4 months ago
2009
Springer
This article presents a local control approach to linear vehicle platooning. Linear platoon systems are sets of vehicles that use local or global perception capabilities to form a ...
MKM
2007
Springer
14 years 26 days ago
2007
Springer
Abstract. We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type ...