42388 search results - page 8046 / 8478 » Classification Using Information |
158
Voted
POPL
2010
ACM
16 years 2 months ago
2010
ACM
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
126
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...
128
click to vote
SDM
2009
SIAM
16 years 2 months ago
2009
SIAM
Most pattern discovery algorithms easily generate very large numbers of patterns, making the results impossible to understand and hard to use. Recently, the problem of instead sel...
165
Voted
SDM
2009
SIAM
16 years 2 months ago
2009
SIAM
As the amount of textual information grows explosively in various kinds of business systems, it becomes more and more desirable to analyze both structured data records and unstruc...
147
click to vote
ICDCS
2009
IEEE
16 years 2 months ago
2009
IEEE
Content sharing through vehicle-to-vehicle communication can help people find their interested content on the road. In VANETs, due to limited contact duration and unreliable wire...