1173 search results - page 77 / 235 » Ranking functions and rankings on languages |
LREC
2010
13 years 2 months ago
2010
There are many accurate methods for language identification of long text samples, but identification of very short strings still presents a challenge. This paper studies a languag...
ICALP
2004
Springer
14 years 1 months ago
2004
Springer
We consider the Edit distance with moves on the class of words and the class of ordered trees. We first exhibit a simple tester for the class of regular languages on words and gen...
COLING
1996
13 years 9 months ago
1996
The objective of this pal)er is to [brmalize the intuition al)out l,he comph;xity of syntactic structures. We propose a definition of structm:al COml)h'xity such that sentenc...
CLEF
2008
Springer
13 years 9 months ago
2008
Springer
The present article presents the steps involved in the transformation of the TE system that was used in the RTE3 competition in 2007 for the AVE 2008 exercise. We describe the rule...
CONCUR
2005
Springer
14 years 1 months ago
2005
Springer
Usually, ranking function synthesis and invariant generation oop with integer variables involves abstracting the loop to have real variables. Integer division and modulo arithmetic...