3374 search results - page 377 / 675 » Explaining Similarity of Terms |
189
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
Web provides rich information about a variety of objects. Trustability is a major concern on the web. Truth establishment is an important task so as to provide the right informati...
204
click to vote
JAR
2010
15 years 1 months ago
2010
Nominal logic is a variant of first-order logic with special facilities for reasoning about names and binding based on the underlying concepts of swapping and freshness. It serves ...
221
click to vote
ACL
2011
14 years 10 months ago
2011
We present a first known result of high precision rare word bilingual extraction from comparable corpora, using aligned comparable documents and supervised classification. We in...
251
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
Social applications on the web let users track and follow the activities of a large number of others regardless of location or affiliation. There is a potential for this transpare...
209
click to vote
LPAR
2012
Springer
14 years 2 months ago
2012
Springer
E-matching is the most commonly used technique to handle quantifiers in SMT solvers. It works by identifying characteristic subexpressions of quantified formulae, named triggers,...