15372 search results - page 2663 / 3075 » The Semantics of Semantic Annotation |
202
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
198
click to vote
PODC
2010
ACM
15 years 11 months ago
2010
ACM
Concurrent collection classes are widely used in multi-threaded programming, but they provide atomicity only for a fixed set of operations. Software transactional memory (STM) pr...
222
click to vote
ESWS
2007
Springer
15 years 11 months ago
2007
Springer
We propose to design and study new techniques for description logic (DL) reasoning based on a prominent data structure that has been applied very successfully in various domains in...
214
click to vote
SIGIR
2010
ACM
15 years 11 months ago
2010
ACM
This paper presents a novel prototype hierarchy based clustering (PHC) framework for the organization of web collections. It solves simultaneously the problem of categorizing web ...
188
click to vote
SIGIR
2010
ACM
15 years 11 months ago
2010
ACM
Reading and Commenting online news is becoming a common user behavior in social media. Discussion in the form of comments following news postings can be effectively facilitated if...