247 search results - page 13 / 50 » Two Size Measures for Timed Languages |
128
click to vote
LATA
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We consider the efficient simplification of regular expressions and suggest a quantitative comparison of heuristics for simplifying regular expressions. To this end, we...
164
click to vote
ICTAC
2009
Springer
15 years 2 months ago
2009
Springer
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...
151
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
Research into embedded sensor networks has placed increased focus on the problem of developing reliable and flexible software for microcontroller-class devices. Languages such as ...
158
click to vote
CLEF
2008
Springer
15 years 6 months ago
2008
Springer
GeoCLEF is an evaluation initiative for testing queries with a geographic specification in large set of text documents. GeoCLEF ran a regular track for the third time within the C...
134
click to vote
FORMATS
2005
Springer
15 years 10 months ago
2005
Springer
We define quantitative similarity functions between timed transition systems that measure the degree of closeness of two systems as a real, in contrast to the traditional boolean ...