7049 search results - page 219 / 1410 » Data Abstraction for CSP-OZ |
160
click to vote
SOFSEM
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Formal methods based on the mathematical theory of partially ordered sets (i.e., posets) have been used in the database field for the modelling of spatial data since many...
200
click to vote
COMPLIFE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents a method that uses gene ontologies, together with the paradigm of relational subgroup discovery, to help find description of groups of genes different...
165
click to vote
DIS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Clustering algorithms based on a matrix of pairwise similarities (kernel matrix) for the data are widely known and used, a particularly popular class being spectral clust...
163
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a new technique for discovering and representing structural changes between two versions of a directed acyclic graph (DAG). Motivated by the necessity of chang...
202
click to vote
LCPC
1995
Springer
15 years 10 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...