644 search results - page 31 / 129 » Precedence Automata and Languages |
EMNLP
2009
14 years 9 months ago
2009
Traditional learning-based coreference resolvers operate by training a mentionpair classifier for determining whether two mentions are coreferent or not. Two independent lines of ...
FSEN
2009
Springer
15 years 6 months ago
2009
Springer
We present an automata theoretic framework for modular schedulability analysis of real time asynchronous objects modeled in the language Creol. In previous work we analyzed the sch...
108
click to vote
ENTCS
2008
14 years 11 months ago
2008
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Abstract The class of ω-regular languages provide a robust specification language in verification. Every ω-regular condition can be decomposed into a safety part and a liveness...
ICALP
2009
Springer
15 years 6 months ago
2009
Springer
