3653 search results - page 227 / 731 » On Recognizable Timed Languages |
177
click to vote
EMNLP
2009
15 years 5 months ago
2009
Current statistical machine translation systems usually extract rules from bilingual corpora annotated with 1-best alignments. They are prone to learn noisy rules due to alignment...
239
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
The complexity of the isomorphism problem for regular trees, regular linear orders, and regular words is analyzed. A tree is regular if it is isomorphic to the prefix order on a r...
209
click to vote
ESOP
2011
Springer
14 years 10 months ago
2011
Springer
Programs written in scripting languages employ idioms that confound conventional type systems. In this paper, we highlight one important set of related idioms: the use of local con...
171
click to vote
TIME
2005
IEEE
16 years 24 days ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
193
click to vote
EMSOFT
2004
Springer
16 years 18 days ago
2004
Springer
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...