1813 search results - page 152 / 363 » Instance Pruning Techniques |
176
click to vote
ICCAD
2006
IEEE
16 years 15 days ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
161
click to vote
KDD
2004
ACM
15 years 11 months ago
2004
ACM
Spatial collocation patterns associate the co-existence of nonspatial features in a spatial neighborhood. An example of such a pattern can associate contaminated water reservoirs ...
171
click to vote
SSDBM
2003
IEEE
15 years 11 months ago
2003
IEEE
Space constrained optimization problems arise in a multitude of important applications such as data warehouses and pervasive computing. A typical instance of such problems is to s...
153
click to vote
VLDB
2000
ACM
15 years 10 months ago
2000
ACM
Many information resources on the web are relevant primarily to limited geographical communities. For instance, web sites containing information on restaurants, theaters, and apar...
166
click to vote
RECSYS
2010
ACM
15 years 6 months ago
2010
ACM
Since the development of the comparably simple neighborhood-based methods in the 1990s, a plethora of techniques has been developed to improve various aspects of collaborative fil...