9642 search results - page 1618 / 1929 » Semantics in Multimedia Systems |
WWW
2003
ACM
15 years 12 months ago
2003
ACM
The World-Wide Web was originally developed as a shared, writable, hypertext medium, a facility that is still widely needed. We have recently developed a Web-based management repo...
KDD
2003
ACM
15 years 11 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...
ESORICS
2002
Springer
15 years 10 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 ...
PPOPP
2010
ACM
15 years 8 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...
TLDI
2010
ACM
15 years 8 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...