Sciweavers

1863 search results - page 93 / 373
» Automatic Collection of Related Terms from the Web
Sort
View
TACAS
2009
Springer
127views Algorithms» more  TACAS 2009»
16 years 28 days ago
From Tests to Proofs
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko
EMNLP
2004
15 years 7 months ago
Unsupervised WSD based on Automatically Retrieved Examples: The Importance of Bias
This paper explores the large-scale acquisition of sense-tagged examples for Word Sense Disambiguation (WSD). We have applied the "WordNet monosemous relatives" method t...
Eneko Agirre, David Martínez
BMCBI
2008
127views more  BMCBI 2008»
15 years 6 months ago
AMMO-Prot: amine system project 3D-model finder
Background: Amines are biogenic amino acid derivatives, which play pleiotropic and very important yet complex roles in animal physiology. For many other relevant biomolecules, bio...
Ismael Navas Delgado, Raúl Montañez,...
SIGMOD
2012
ACM
240views Database» more  SIGMOD 2012»
13 years 8 months ago
Finding related tables
We consider the problem of finding related tables in a large corpus of heterogenous tables. Detecting related tables provides users a powerful tool for enhancing their tables wit...
Anish Das Sarma, Lujun Fang, Nitin Gupta 0003, Alo...
WWW
2009
ACM
16 years 6 months ago
A declarative framework for semantic link discovery over relational data
In this paper, we present a framework for online discovery of semantic links from relational data. Our framework is based on declarative specification of the linkage requirements ...
Oktie Hassanzadeh, Lipyeow Lim, Anastasios Kements...