9873 search results - page 1619 / 1975 » Emergent Semantics Systems |
207
click to vote
KDD
2003
ACM
16 years 8 months ago
2003
ACM
A recommender system suggests the items expected to be preferred by the users. Recommender systems use collaborative filtering to recommend items by summarizing the preferences of...
214
click to vote
ESORICS
2002
Springer
16 years 7 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
183
click to vote
PPOPP
2010
ACM
16 years 4 months ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...
207
click to vote
TLDI
2010
ACM
16 years 4 months ago
2010
ACM
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
175
click to vote
WWW
2010
ACM
16 years 2 months ago
2010
ACM
We propose Facetedpedia, a faceted retrieval system for information discovery and exploration in Wikipedia. Given the set of Wikipedia articles resulting from a keyword query, Fac...