1312 search results - page 80 / 263 » Quantitative Comparison of Languages |
ICALP
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...
KI
1994
Springer
14 years 3 months ago
1994
Springer
The paper presentsa method for terminological reasoningabout spatial objects on the basis of a KL-ONE-like framework (LOOM). We apply this method to the domain of deductive geograp...
LICS
2010
IEEE
13 years 9 months ago
2010
IEEE
We develop the theory of regular cost functions over finite trees: a quantitative extension to the notion of regular languages of trees: Cost functions map each input (tree) to a v...
CORR
2011
Springer
13 years 6 months ago
2011
Springer
— The Cartier-Perrin theorem, which was published in 1995 and is expressed in the language of nonstandard analysis, permits, for the first time perhaps, a clear-cut mathematical...
HICSS
2003
IEEE
14 years 4 months ago
2003
IEEE
A key advantage for the use of a Domain-Specific Language (DSL) is the leverage that can be captured from a concise representation of a programmer’s intention. This paper report...