83 search results - page 17 / 17 » An Improved Redundancy Elimination Algorithm for Underspecif... |
CHI
2008
ACM
14 years 5 months ago
2008
ACM
Collaborative filtering (CF) has been successfully deployed over the years to compute predictions on items based on a user's correlation with a set of peers. The black-box na...
BIRTHDAY
2009
Springer
14 years 5 days ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
ICIP
2002
IEEE
2002
IEEE
Real-time reconstruction of wavelet encoded meshes for view-dependent transmission and visualization
14 years 7 months ago
Wavelet methods for geometry encoding is a recently emerged superset of multiresolution analysis which has proven to be very efficient in term of compression and adaptive transmis...