3342 search results - page 351 / 669 » Automating Abstract Interpretation |
118
Voted
ICDM
2010
IEEE
15 years 2 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...
139
click to vote
OTM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Semantic similarity aims at establishing resemblance by interpreting the meaning of the objects being compared. The Semantic Web can benefit from semantic similarity in s...
144
click to vote
ICISS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Information integrity is a vital security property in a variety of applications. However, there is more than one facet to integrity: interpretations of integrity in diffe...
177
Voted
IJDSST
2010
15 years 1 months ago
2010
Abstract: CASPUR allows many academic Italian institutions located in the CentreSouth of Italy to access more than 7 million of articles through a digital library platform. We anal...
156
click to vote
INFORMS
2010
15 years 1 months ago
2010
use for constraint solving, abstract interpretation, spatial databases, and theorem proving. In this paper we develop new incremental algorithms for UTVPI constraint satisfaction a...