8228 search results - page 235 / 1646 » Structural Logical Relations |
126
click to vote
CICLING
2010
Springer
15 years 10 months ago
2010
Springer
We introduce an Information Extraction (IE) system which uses the logical theory of an ontology as a generalisation of the typical information extraction patterns to extract biolog...
143
click to vote
ICDIM
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper proposes a system of retrieving English sentences by utilizing linguistically structural information. The user’s query consists of a sequence of keywords. The system ...
131
Voted
WCRE
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a suite of small tools, implemented as a pipeline of text file manipulating scripts, that, on one hand, measure the evolution of any software structure that can be rep...
240
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...
127
click to vote
FSS
2010
15 years 3 months ago
2010
The paper considers an early approach toward a (fuzzy) set theory with a graded membership predicate and a graded equality relation which had been developed by the German mathemat...