587 search results - page 20 / 118 » Mathematical Analysis of Multi-Agent Systems |
146
click to vote
ICDAR
2011
IEEE
14 years 9 days 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...
127
click to vote
ICDAR
2005
IEEE
15 years 6 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...
DAS
2008
Springer
15 years 2 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...
115
Voted
ICCS
2009
Springer
14 years 10 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 ...
116
Voted
MKM
2007
Springer
15 years 6 months 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 ...