8094 search results - page 307 / 1619 » Improvements in Formula Generalization |
138
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
This paper presents new classes of tree automata combining automata with equality test and automata modulo equational theories. We believe that these classes have a good potential ...
108
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
This paper presents a complete analytical characterization of a large class of central and non-central imaging devices dubbed linear cameras by Ponce [9]. Pajdla [7] has shown tha...
131
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
Under three-language formula, the destination address block of postal document of an Indian state is generally written in three languages: English, Hindi and the State official la...
CAISE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Poor quality data may be detected and corrected by performing various quality assurance activities that rely on techniques with different efficacy and cost. In this pape...
141
click to vote
RTA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...