Sciweavers

11066 search results - page 15 / 2214
» Linearity in Process Languages
Sort
View
65
Voted
ICALP
2010
Springer
15 years 6 months ago
Linear Orders in the Pushdown Hierarchy
Laurent Braud, Arnaud Carayol
98
Voted
APLAS
2010
ACM
15 years 2 months ago
Relational Parametricity for a Polymorphic Linear Lambda Calculus
Jianzhou Zhao, Qi Zhang, Steve Zdancewic
123
Voted
EDOC
2008
IEEE
15 years 4 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
124
Voted
EMNLP
2010
15 years 19 days 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....