Sciweavers

11066 search results - page 15 / 2214
» Linearity in Process Languages
Sort
View
ICALP
2010
Springer
15 years 10 months ago
Linear Orders in the Pushdown Hierarchy
Laurent Braud, Arnaud Carayol
142
Voted
APLAS
2010
ACM
15 years 7 months ago
Relational Parametricity for a Polymorphic Linear Lambda Calculus
Jianzhou Zhao, Qi Zhang, Steve Zdancewic
192
Voted
EDOC
2008
IEEE
15 years 9 months ago
Runtime Monitoring of Message-Based Workflows with Data
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...
Sylvain Hallé, Roger Villemaire
192
Voted
EMNLP
2010
15 years 5 months ago
Turbo Parsers: Dependency Parsing by Approximate Variational Inference
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...
André F. T. Martins, Noah A. Smith, Eric P....