3812 search results - page 307 / 763 » Combinations of TRAP Based Systems |
149
click to vote
ICDAR
2007
IEEE
16 years 1 months ago
2007
IEEE
Recognition of mathematical symbols is a challenging task, with a large set with many similar symbols. We present a support vector machine based hybrid recognition system that use...
159
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper highlights the interest of a language model in increasing the performances of on-line handwriting recognition systems. Models based on statistical approaches, trained o...
177
click to vote
MSE
2003
IEEE
15 years 12 months ago
2003
IEEE
Embedded systems have become common place in industry and domestic electronics, resulting in the need for educational institutions to teach advanced embedded systems design. Exper...
168
click to vote
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
166
Voted
AAAI
2006
15 years 8 months ago
2006
Teams of robots are more fault tolerant than single robots, and auctions appear to be promising means for coordinating them. In a recent paper at "Robotics: Science and Syste...