1420 search results - page 258 / 284 » Multi-point Constructive Search |
WWW
2007
ACM
16 years 2 months ago
2007
ACM
We address the problem of identifying the domain of online databases. More precisely, given a set F of Web forms automatically gathered by a focused crawler and an online database...
119
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
This paper is concerned with the problem of browsing social annotations. Today, a lot of services (e.g., Del.icio.us, Filckr) have been provided for helping users to manage and sh...
119
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
Some previous works show that a web page can be partitioned to multiple segments or blocks, and usually the importance of those blocks in a page is not equivalent. Also, it is pro...
206
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
Memoization is a well-known optimization technique used to eliminate redundant calls for pure functions. If a call to a function f with argument v yields result r, a subsequent ca...
262
click to vote
PLDI
2009
ACM
16 years 2 months 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....