11212 search results - page 2119 / 2243 » Semi-persistent Data Structures |
100
Voted
SBACPAD
2005
IEEE
15 years 9 months ago
2005
IEEE
Clustered architectures which intend to process data within a localized PE are one of the approaches to increase the performance under the difficulties of the wire delay problems...
127
click to vote
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
151
click to vote
VISUALIZATION
2005
IEEE
15 years 9 months ago
2005
IEEE
As standard volume rendering is based on an integral in physical space (or “coordinate space”), it is inherently dependent on the scaling of this space. Although this dependen...
144
click to vote
VLSID
2005
IEEE
15 years 9 months ago
2005
IEEE
In recent years, there has been an increasing interest in Quantified Boolean Formula (QBF) evaluation, since several VLSI CAD problems can be formulated efficiently as QBF insta...
120
Voted
WACV
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we present a novel solution of image segmentation based on positiveness by regarding the segmentation as one of the graph-theoretic clustering problems. On the cont...