847 search results - page 98 / 170 » An Algebra for Features and Feature Composition |
SDMW
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper, we address the problem of protecting the underlying attribute values when sharing data for clustering. The challenge is how to meet privacy requirements an...
CSL
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
VLDB
1997
ACM
14 years 1 months ago
1997
ACM
We present a multi-dimensional database model, which we believe can serve as a conceptual model for On-Line Analytical Processing (OLAP)-based applications. Apart from providing t...
FMCAD
2000
Springer
14 years 18 days ago
2000
Springer
Abstract. Behavior tables are a design formalization intended to support interactive design derivation for hardware and embedded systems. It is a reformulation of the DDD transform...
AISC
2008
Springer
13 years 11 months ago
2008
Springer
Kenzo is a symbolic computation system devoted to Algebraic Topology. It has been developed by F. Sergeraert mainly as a research artifact. The challenge is now to increase the nu...