5255 search results - page 924 / 1051 » Formal Methods for Privacy |
128
click to vote
FORMATS
2005
Springer
15 years 9 months ago
2005
Springer
We define quantitative similarity functions between timed transition systems that measure the degree of closeness of two systems as a real, in contrast to the traditional boolean ...
151
click to vote
GEOS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Conceptual Graphs are a very powerful knowledge and meaning representation formalism grounded on deep philosophical, linguistic and object oriented principles [1], [2]. C...
129
click to vote
IDA
2005
Springer
15 years 9 months ago
2005
Springer
Clustering or bi-clustering techniques have been proved quite useful in many application domains. A weakness of these techniques remains the poor support for grouping characterizat...
149
Voted
IFL
2005
Springer
15 years 9 months ago
2005
Springer
Polytypic functional programming has the advantage that it can derive code for generic functions automatically. However, it is not clear whether it is useful for anything other tha...
130
click to vote
ILP
2005
Springer
15 years 9 months ago
2005
Springer
Clustering is a fundamental task in Spatial Data Mining where data consists of observations for a site (e.g. areal units) descriptive of one or more (spatial) primary units, possib...