1689 search results - page 39 / 338 » Refining abstract interpretations |
102
Voted
SAS
2000
Springer
15 years 5 months ago
2000
Springer
We present a new representation for possibly infinite sets of possibly infinite trees. This representation makes extensive use of sharing to achieve efficiency. As much as possible...
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
ICDM
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract--Data clustering is a highly used knowledge extraction technique and is applied in more and more application domains. Over the last years, a lot of algorithms have been pr...
105
click to vote
HICSS
1997
IEEE
15 years 6 months ago
1997
IEEE
The goal of this paper is to develop methods to handle inconsistent knowledge elicited from multiple sources. Knowledge is represented using predicates that define relationships w...
132
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Mining association rules is a task of data mining, which extracts knowledge in the form of significant implication relation of useful items (objects) from a database. Mining multi...