11211 search results - page 1967 / 2243 » Rank-Sensitive Data Structures |
128
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...
153
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...
146
Voted
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...
121
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...
134
Voted
WIRI
2005
IEEE
15 years 9 months ago
2005
IEEE
Record linkage refers to techniques for identifying records associated with the same real-world entities. Record linkage is not only crucial in integrating multi-source databases ...