1813 search results - page 152 / 363 » Instance Pruning Techniques |
193
Voted
ICCAD
2006
IEEE
16 years 1 months 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...
177
click to vote
KDD
2004
ACM
16 years 10 days 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 ...
186
Voted
SSDBM
2003
IEEE
16 years 7 days 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...
165
Voted
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...
181
click to vote
RECSYS
2010
ACM
15 years 7 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...