9359 search results - page 547 / 1872 » Generalization Algorithms for Second-Order Terms |
162
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
194
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Program slicing is a technique to identify statements that may influence the computations at other statements. Precise slicing has been shown to be undecidable for concurrent prog...
117
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In community-type content such as blogs and SNSs, we call the user's unawareness of information as a "content hole"and the search for this information as a "co...
166
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
We describe an optimize-and-dispatch approach for delivering pay-per-impression advertisements in online advertising. The platform provider for an advertising network commits to s...
158
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we describe a buzz-based recommender system based on a large source of queries in an eCommerce application. The system detects bursts in query trends. These bursts ...