278 search results - page 34 / 56 » Correcting Dependency Annotation Errors |
110
click to vote
EMNLP
2006
15 years 3 months ago
2006
This paper demonstrates how unsupervised techniques can be used to learn models of deep linguistic structure. Determining the semantic roles of a verb's dependents is an impo...
119
click to vote
BMCBI
2004
15 years 1 months ago
2004
Background: With ever increasing numbers of closely related virus genomes being sequenced, it has become desirable to be able to compare two genomes at a level more detailed than ...
128
click to vote
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
119
click to vote
TCAD
2008
15 years 1 months ago
2008
Abstract--Multimedia and DSP applications have several computationally intensive kernels which are often offloaded and accelerated by application-specific hardware. This paper pres...
165
click to vote
ESOP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...