2962 search results - page 367 / 593 » Reasoning on Association Rules |
195
click to vote
ICPP
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— We examine the problem of parallelizing the inferencing process for OWL knowledge-bases. A key challenge in this problem is partitioning the computational workload of t...
191
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
Self-management is one of the challenges for realizing Ambient Intelligence in pervasive computing. In this paper, we propose and present a semantic web based selfmanagement appro...
206
click to vote
LICS
2007
IEEE
16 years 27 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
164
click to vote
LICS
2007
IEEE
16 years 27 days ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
193
click to vote
RR
2007
Springer
16 years 22 days ago
2007
Springer
For the foreseeable future, most data will continue to be stored in relational databases. To work with these data in ontology-based applications, tools and techniques that bridge t...