12981 search results - page 2518 / 2597 » Model Checking and Abstraction |
106
click to vote
CIKM
2007
Springer
15 years 7 months ago
2007
Springer
Problems resulting from the management of shared, distributed knowledge has led to ontologies being employed as a solution, in order to effectively integrate information across a...
110
click to vote
CIKM
2007
Springer
15 years 7 months ago
2007
Springer
Newsgroup participants interact with their communities through conversation threads. They may respond to a message to answer a question, debate a topic, support or disagree with a...
121
click to vote
CONTEXT
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper presents a statistical framework based on Principal Component Analysis (PCA) for discovering the contextual factors which most strongly influence user behavio...
119
click to vote
CRYPTO
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We study the natural problem of secure n-party computation (in the passive, computationally unbounded attack model) of the n-product function fG(x1, . . . , xn) = x1 · x...
115
click to vote
DCOSS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We propose a distributed coalition formation strategy for collaborative sensing tasks in camera sensor networks. The proposed model supports taskdependent node selection ...