1982 search results - page 260 / 397 » Parametricity and dependent types |
165
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
In this paper, along with recent trends in segmentation using multiple image cues, we examine the integration of modulation texture features, image contrast and region size for de...
181
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
We propose a new, very low complexity, single-pass, algorithm for compression of continuous tone compound documents, known as GRAFIT (GuaRAnteed FIT) that can guarantee a minimum ...
178
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
Reliable transmission of video over wireless networks must address the limited bandwidth and the possibility of loss. When the bandwidth is insufficient on a single channel, the v...
294
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
Abstract-- Current twig join algorithms incur high memory costs on queries that involve child-axis nodes. In this paper we provide an analytical explanation for this phenomenon. In...
154
click to vote
VIS
2005
IEEE
16 years 7 months ago
2005
IEEE
VisIt is a richly featured visualization tool that is used to visualize some of the largest simulations ever run. The scale of these simulations requires that optimizations are in...