4036 search results - page 374 / 808 » Formal Methods |
157
click to vote
ICANN
2009
Springer
16 years 1 months ago
2009
Springer
The best recent supervised sequence learning methods use gradient descent to train networks of miniature nets called memory cells. The most popular cell structure seems somewhat ar...
190
click to vote
SCCC
2008
IEEE
16 years 1 months ago
2008
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In this work an automatic meth...
146
click to vote
FLAIRS
2004
15 years 8 months ago
2004
The purpose of this paper is to propose a method to analyze creative music expressions of a performer in South Indian Classical Music (Carnatic Music). The method performs a quali...
172
click to vote
COLING
2002
15 years 6 months ago
2002
We present in this paper a technique allowing to choose the parsing granularity within the same approach relying on a constraint-based formalism. Its main advantage lies in the fa...
151
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper proposes a syntactic method for detection and correction of misrecognized mathematical formulae for a practical mathematical OCR system. Linear monadic context-free tre...