6434 search results - page 865 / 1287 » Model Transformations with Reference Models |
119
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Vernacular place names are names that are commonly in use to refer to geographical places. For purposes of effective information retrieval, the spatial extent associated with thes...
152
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
We propose new features and algorithms for automating Web-page classification tasks such as content recommendation and ad blocking. We show that the automated classification of We...
122
click to vote
STOC
2009
ACM
16 years 5 months ago
2009
ACM
We initiate a systematic study of a special type of property testers. These testers consist of repeating a basic test for a number of times that depends on the proximity parameter...
263
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...
149
click to vote
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...