1690 search results - page 82 / 338 » Algorithmic Properties of Millstream Systems |
161
click to vote
TVCG
2010
15 years 2 months ago
2010
—Illustrative techniques are generally applied to produce stylized renderings. Various illustrative styles have been applied to volumetric data sets, producing clearer images and...
144
Voted
ICUMT
2009
15 years 1 months ago
2009
-- In this paper we analyze P2P live streaming systems. Through this analysis we obtain the crucial parameters for their performance in terms of bandwidth utilization, set-up time,...
167
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
110
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper considers the problem of blind channel shortening in OFDM systems. Standard OFDM systems use guard interval (GI) in form of cyclic prefix (CP) and nulltones (NT) redun...
162
click to vote
DASFAA
2007
IEEE
15 years 10 months ago
2007
IEEE
One of the big issues facing current content-based image retrieval is how to automatically extract the high-level concepts from images. In this paper, we present an efficient syste...