7840 search results - page 616 / 1568 » On generalized Ramsey numbers |
189
click to vote
SIGSOFT
2004
ACM
16 years 8 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
177
click to vote
WWW
2009
ACM
16 years 8 months ago
2009
ACM
In the origin detection problem an algorithm is given a set S of documents, ordered by creation time, and a query document D. It needs to output for every consecutive sequence of ...
196
click to vote
WWW
2009
ACM
16 years 8 months ago
2009
ACM
More and more structured information in the form of semantic data is nowadays available. It offers a wide range of new possibilities especially for semantic search and Web data in...
167
click to vote
WWW
2007
ACM
16 years 8 months ago
2007
ACM
We present YAGO, a light-weight and extensible ontology with high coverage and quality. YAGO builds on entities and relations and currently contains more than 1 million entities a...
180
click to vote
WWW
2005
ACM
16 years 8 months ago
2005
ACM
We describe a framework of bootstrapped hypothesis testing for estimating the confidence in one web search engine outperforming another over any randomly sampled query set of a gi...