3446 search results - page 25 / 690 » A Reasoning Algorithm for pD* |
108
click to vote
DMIN
2008
15 years 2 months ago
2008
Clustering algorithms play an important role in data analysis and information retrieval. How to obtain a clustering for a large set of highdimensional data suitable for database ap...
107
click to vote
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowl...
111
click to vote
KDD
2005
ACM
16 years 1 months ago
2005
ACM
Redescription mining is a newly introduced data mining problem that seeks to find subsets of data that afford multiple definitions. It can be viewed as a generalization of associa...
134
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
125
click to vote
SAC
2009
ACM
15 years 8 months ago
2009
ACM
Semantic service discovery architectures that operate in mobile environments must cope with the significant challenges of finding relevant services rapidly, while facing constrain...