2347 search results - page 409 / 470 » Collecting commonsense experiences |
WWW
2006
ACM
16 years 16 days ago
2006
ACM
On the investigation of linguistic techniques used in ontology matching, we propose a new idea of virtual documents to pursue a cost-effective approach to linguistic matching in t...
WWW
2005
ACM
16 years 16 days ago
2005
ACM
In contrast with the current Web search methods that essentially do document-level ranking and retrieval, we are exploring a new paradigm to enable Web search at the object level....
WWW
2004
ACM
16 years 16 days ago
2004
ACM
Manually querying search engines in order to accumulate a large body of factual information is a tedious, error-prone process of piecemeal search. Search engines retrieve and rank...
105
click to vote
WWW
2002
ACM
16 years 16 days ago
2002
ACM
Table is a commonly used presentation scheme, especially for describing relational information. However, table understanding remains an open problem. In this paper, we consider th...
227
click to vote
PLDI
2009
ACM
16 years 15 days ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....