2098 search results - page 53 / 420 » Syntactic Topic Models |
ATVA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper, we develop a syntactical version of elaborated reductions for high-level Petri nets. These reductions simplify the model by merging some sequential transit...
OOPSLA
2001
Springer
14 years 1 months ago
2001
Springer
The ability to extend a language with new syntactic forms is a powerful tool. A sufficiently flexible macro system allows programmers to build from a common base towards a langua...
CSL
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We present a new proof of decidability of higher-order subtyping in the presence of bounded quantification. The algorithm is formulated as a judgement which operates on b...
ICDAR
2011
IEEE
12 years 8 months ago
2011
IEEE
—This paper presents a new method for localization of digit strings with a specific syntax in Farsi/ Arabic document images. First, some features are extracted from all connected...
ICDAR
2007
IEEE
14 years 3 months ago
2007
IEEE
Modern optical character recognition software relies on human interaction to correct misrecognized characters. Even though the software often reliably identifies low-confidence ...