1981 search results - page 200 / 397 » Model-Checking Hierarchical Structures |
160
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--The now commonplace multi-core chips have introduced, by design, a deep hierarchy of memory and cache banks within parallel computers as a tradeoff between the user frien...
216
click to vote
Book
"Cluster analysis is an important technique in the rapidly growing field known as exploratory data analysis and is being applied in a variety of engineering and scientific dis...
140
click to vote
ICIP
1997
IEEE
16 years 4 months ago
1997
IEEE
In this paper Boolean filters and a variation of these, FIR-Boolean hybrid filters are proposed for realizing the prediction stages of a multiresolution lossless image compression...
108
click to vote
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
This paper presents a new LOD control method using surface smoothness measure based on correlation analysis between surface position and direction. This control method renders smo...
WWW
2001
ACM
16 years 4 months ago
2001
ACM
We discuss the de nition of keys for XML documents, paying particular attention to the concept of a relative key, which is commonly used in hierarchically structured documents and...