11394 search results - page 1937 / 2279 » Error-Correcting Data Structures |
111
click to vote
SBACPAD
2005
IEEE
15 years 10 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...
135
click to vote
SEFM
2005
IEEE
15 years 10 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...
166
click to vote
VISUALIZATION
2005
IEEE
15 years 10 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...
155
click to vote
VLSID
2005
IEEE
15 years 10 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...
130
click to vote
WACV
2005
IEEE
15 years 10 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...