155 search results - page 10 / 31 » A Formal Framework for Linguistic Annotation |
COLING
2010
14 years 4 months ago
2010
Empty categories represent an important source of information in syntactic parses annotated in the generative linguistic tradition, but empty category recovery has only started to...
FM
2003
Springer
15 years 2 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...
102
click to vote
IRCDL
2008
14 years 11 months ago
2008
Annotation and retrieval tools for multimedia digital libraries have to cope with the complexity of multimedia content. In particular, when dealing with video content, annotation ...
LRE
2008
14 years 9 months ago
2008
Abstract. We introduce LTAG-spinal, a novel variant of traditional Lexicalized Tree Adjoining Grammar (LTAG) with desirable linguistic, computational and statistical properties. Un...
90
Voted
AAAI
1994
14 years 11 months ago
1994
Formalizing the ontological commitment of a logical language means offering a way to specify the intended meaning of its vocabulary by constraining the set of its models, giving e...