9284 search results - page 1793 / 1857 » Knowledge State Algorithms |
150
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
159
click to vote
KDD
2009
ACM
16 years 6 months ago
2009
ACM
This paper describes and evaluates privacy-friendly methods for extracting quasi-social networks from browser behavior on user-generated content sites, for the purpose of finding ...
166
click to vote
KDD
2009
ACM
16 years 6 months ago
2009
ACM
Email is one of the most prevalent communication tools today, and solving the email overload problem is pressingly urgent. A good way to alleviate email overload is to automatical...
178
click to vote
KDD
2009
ACM
16 years 6 months ago
2009
ACM
Collaborative filtering is the most popular approach to build recommender systems and has been successfully employed in many applications. However, it cannot make recommendations ...
167
click to vote
KDD
2009
ACM
16 years 6 months ago
2009
ACM
In recent years, the number of patents filed by the business enterprises in the technology industry are growing rapidly, thus providing unprecedented opportunities for knowledge d...