757 search results - page 107 / 152 » Monte Carlo Model Checking |
126
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
We consider the problem of localizing the articulated and deformable shape of a walking person in a single view. We represent the non-rigid 2D body contour by a Bayesian graphical...
157
click to vote
ICCAD
2003
IEEE
16 years 10 days ago
2003
IEEE
This paper introduces a CAD framework for co-simulation of hybrid circuits containing CMOS and SET (Single Electron Transistor) devices. An improved analytical model for SET is al...
165
click to vote
ASPDAC
2008
ACM
15 years 5 months ago
2008
ACM
In the nanometer manufacturing region, process variation causes significant uncertainty for circuit performance verification. Statistical static timing analysis (SSTA) is thus dev...
126
Voted
MICCAI
2003
Springer
16 years 4 months ago
2003
Springer
We have developed a method for forming vascular atlases using vascular distance maps and a novel vascular model-to-image registration method. Our atlas formation process begins wit...
120
Voted
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—This paper investigates the tradeoff between throughput and feedback delay of limited feedback beamforming in indoor wireless channels with a practical MIMO-OFDM prototype. Past...