2152 search results - page 108 / 431 » On Automating the Calculus of Relations |
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...
94
Voted
TIME
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper describes an annotation guideline for a temporal relation-tagged corpus of Chinese. Our goal is construction of corpora to be used for a corpus-based analysis of tempor...
114
Voted
EMNLP
2009
14 years 10 months ago
2009
This paper explores the use of innovative kernels based on syntactic and semantic structures for a target relation extraction task. Syntax is derived from constituent and dependen...
120
click to vote
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
108
Voted
KES
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Ontology-based modelling is becoming increasingly important in the design of complex knowledge management applications. However, many problems related to large-scale onto...