1312 search results - page 80 / 263 » Quantitative Comparison of Languages |
166
Voted
ICALP
2005
Springer
15 years 10 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...
155
click to vote
KI
1994
Springer
15 years 9 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...
157
click to vote
LICS
2010
IEEE
15 years 2 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...
131
click to vote
CORR
2011
Springer
15 years 1 hour 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...
129
Voted
HICSS
2003
IEEE
15 years 10 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...