2662 search results - page 453 / 533 » Tools Demonstrations |
174
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
231
click to vote
TON
2010
15 years 1 months ago
2010
TCP throughput prediction is an important capability in wide area overlay and multi-homed networks where multiple paths may exist between data sources and receivers. In this paper...
199
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Multiple view 3D video reconstruction of actor performance
captures a level-of-detail for body and clothing
movement which is time-consuming to produce using existing
animation ...
144
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
We present a novel algorithm (which we call "FragTrack") for tracking an object in a video sequence. The template object is represented by multiple image fragments or pa...
215
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
We propose a new technique for edge-suppressing operations on images. We introduce cross projection tensors to achieve affine transformations of gradient fields. We use these tens...