1259 search results - page 53 / 252 » Efficient Wire Formats for High Performance Computing |
159
click to vote
IPC
2007
IEEE
15 years 10 months ago
2007
IEEE
The vision of ubiquitous delivery of TV streams to the masses at high quality is tantalizing. However, today, TV streaming is either limited to fixed wired outlets (IPTV), or it i...
144
click to vote
ICCV
2001
IEEE
16 years 6 months ago
2001
IEEE
This paper presents a novel approach for model-based realtime tracking of highly articulated structures such as humans. This approach is based on an algorithm which efficiently pr...
145
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
140
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
Error correcting codes are widely used in communication and storage applications. Codec complexity has usually been measured with a software implementation in mind. A recent hardw...
139
click to vote
CGI
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper presentes a novel algorithm for the voxelization of surface models of arbitrary topology. Our algorithm uses the depth and stencil buffers, available in most commercial...