Sciweavers

2784 search results - page 28 / 557
» Relation Extraction with Relation Topics
Sort
View
TLCA
2009
Springer
14 years 2 months ago
Relating Classical Realizability and Negative Translation for Existential Witness Extraction
Friedman showed how to turn a classical proof of a Σ0 1 formula into an intuitionistic proof of the same formula, thus giving an effective method to extract witnesses from classi...
Alexandre Miquel
ICDM
2009
IEEE
103views Data Mining» more  ICDM 2009»
14 years 2 months ago
Unsupervised Relation Extraction by Massive Clustering
Edgar González, Jordi Turmo