11066 search results - page 15 / 2214 » Linearity in Process Languages |
ICALP
2010
Springer
13 years 11 months ago
2010
Springer
APLAS
2010
ACM
13 years 8 months ago
2010
ACM
JMLR
2012
11 years 10 months ago
2012
EDOC
2008
IEEE
13 years 9 months ago
2008
IEEE
We present an algorithm for the runtime monitoring of business process properties with data parameterization. The properties are expressed in LTL-FO+ , an extension to traditional...
EMNLP
2010
13 years 5 months ago
2010
We present a unified view of two state-of-theart non-projective dependency parsers, both approximate: the loopy belief propagation parser of Smith and Eisner (2008) and the relaxe...