4666 search results - page 191 / 934 » Equations on Timed Languages |
176
click to vote
ITA
2007
15 years 6 months ago
2007
We study the problem of learning regular tree languages from text. We show that the framework of function distinguishability as introduced by the author in Theoretical Computer Sc...
159
click to vote
ERCIMDL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...
170
click to vote
NLPRS
2001
Springer
15 years 11 months ago
2001
Springer
Translating news articles frequently involves finding foreign language equivalents for proper nouns occurring for the first time in an original article, a time-consuming and labor...
125
click to vote
HPCN
1999
Springer
15 years 11 months ago
1999
Springer
We motivate and define the XSIL language as a flexible, hierarchical, extensible transport language for scientific data objects. The entire object may be represented in the file, o...
191
click to vote
HPCN
2000
Springer
15 years 10 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...