7264 search results - page 1380 / 1453 » A multiplicative up-propagation algorithm |
ICCAD
2002
IEEE
15 years 6 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
SOSP
2001
ACM
15 years 6 months ago
2001
ACM
We have developed a new approach for reliably multicasting timecritical data to heterogeneous clients over mesh-based overlay networks. To facilitate intelligent content pruning, ...
SOSP
2005
ACM
15 years 6 months ago
2005
ACM
This paper describes a general approach to constructing cooperative services that span multiple administrative domains. In such environments, protocols must tolerate both Byzantin...
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
Piecewise planar models for stereo have recently become popular for modeling indoor and urban outdoor scenes. The strong planarity assumption overcomes the challenges presented by...
125
click to vote
EUROGRAPHICS
2010
Eurographics
15 years 4 months ago
2010
Eurographics
We present a novel representation and rendering method for free-viewpoint video of human characters based on multiple input video streams. The basic idea is to approximate the art...