11160 search results - page 1923 / 2232 » Incompleteness in a General Setting |
171
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
We discuss the problem of Web data extraction and describe an XML-based methodology whose goal extends far beyond simple "screen scraping." An ideal data extraction proc...
184
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
A wealth of information is available on the Web. But often, such data are hidden behind form interfaces which allow only a restrictive set of queries over the underlying databases...
276
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
309
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...
333
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
Inefficient use of memory, including leaks and bloat, remain a significant challenge for C and C++ developers. Applications with these problems become slower over time as their wo...