1981 search results - page 263 / 397 » Model-Checking Hierarchical Structures |
130
Voted
EUROMICRO
1997
IEEE
15 years 6 months ago
1997
IEEE
The paper presents a hierarchical modeling approach of the N version programming in a real – time environment. The model is constructed in three layers. At the first layer we d...
165
click to vote
ICPIA
1992
15 years 6 months ago
1992
Abstract. Octrees o er a powerful means for representing and manipulating 3-D objects. This paper presents an implementation of octree manipulations using a new approach on a share...
106
Voted
CSB
2004
IEEE
15 years 6 months ago
2004
IEEE
Clustering is a common methodology for analyzing the gene expression data. In this paper, we present a new clustering algorithm from an information-theoretic point of view. First,...
145
Voted
EUROPAR
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Definitions for the uniform representation of d-dimensional matrices serially in Morton-order (or Z-order) support both their use with cartesian indices, and their divide...
113
Voted
KDD
1995
ACM
15 years 6 months ago
1995
ACM
The information age is characterizedby a rapid growth in the amountof information availablein electronicmedia. Traditional data handling methods are not adequate to cope with this...