9405 search results - page 1606 / 1881 » Computing a Model of Set Theory |
277
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...
159
click to vote
ICDE
2010
IEEE
16 years 5 months ago
2010
IEEE
The increasing popularity of social networks has initiated a fertile research area in information extraction and data mining. Although such analysis can facilitate better understan...
173
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
We present Content Extraction via Tag Ratios (CETR) – a method to extract content text from diverse webpages by using the HTML document’s tag ratios. We describe how to comput...
156
Voted
AOSD
2009
ACM
16 years 29 days ago
2009
ACM
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires proper means for scoping aspects. Scoping issues are particularly crucial in a distribu...
166
Voted
IPSN
2009
Springer
16 years 28 days ago
2009
Springer
In this work we present new in-network techniques for communication efficient approximate query processing in wireless sensornets. We use a model-based approach that constructs a...