Sciweavers

1064 search results - page 94 / 213
» Single Tree Grammars
Sort
View
110
Voted
PODS
2004
ACM
86views Database» more  PODS 2004»
16 years 3 months ago
Frontiers of Tractability for Typechecking Simple XML Transformations
Typechecking consists of statically verifying whether the output of an XML transformation is always conform to an output type for documents satisfying a given input type. We focus...
Wim Martens, Frank Neven
133
Voted
CALCO
2005
Springer
126views Mathematics» more  CALCO 2005»
15 years 9 months ago
Context-Free Languages via Coalgebraic Trace Semantics
In this paper we identify context-free grammars as coalgebras. To obtain the associated context-free languages (consisting of only finite-length strings) we introduce a general a...
Ichiro Hasuo, Bart Jacobs
127
Voted
DLS
2007
138views Languages» more  DLS 2007»
15 years 7 months ago
OMeta: an object-oriented language for pattern matching
This paper introduces OMeta, a new object-oriented language for pattern matching. OMeta is based on a variant of Parsing Expression Grammars (PEGs) [5]--a recognitionbased foundat...
Alessandro Warth, Ian Piumarta
137
Voted
ACL
2006
15 years 5 months ago
Trace Prediction and Recovery with Unlexicalized PCFGs and Slash Features
This paper describes a parser which generates parse trees with empty elements in which traces and fillers are co-indexed. The parser is an unlexicalized PCFG parser which is guara...
Helmut Schmid
122
Voted
EMNLP
2004
15 years 5 months ago
Max-Margin Parsing
We present a novel discriminative approach to parsing inspired by the large-margin criterion underlying support vector machines. Our formulation uses a factorization analogous to ...
Ben Taskar, Dan Klein, Mike Collins, Daphne Koller...