2496 search results - page 251 / 500 » On covering by translates of a set |
199
click to vote
AMTA
2004
Springer
16 years 3 days ago
2004
Springer
MT systems that use only superficial representations, including the current generation of statistical MT systems, have been successful and useful. However, they will experience a p...
187
click to vote
CLEF
2004
Springer
16 years 3 days ago
2004
Springer
For the CLEF 2004 ImageCLEF St Andrew’s Collection task the Dublin City University group carried out three sets of experiments. We carried out standard cross-language informatio...
216
click to vote
IFIP
2004
Springer
16 years 2 days ago
2004
Springer
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...
176
click to vote
ISOLA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
152
click to vote
NOSSDAV
2004
Springer
16 years 1 days ago
2004
Springer
A large number of overlay multicast protocols have been developed, almost all of which assume universal connectivity between end hosts. However, in reality, this assumption is not...