757 search results - page 106 / 152 » Monte Carlo Model Checking |
161
Voted
TVLSI
2010
14 years 10 months ago
2010
Abstract-- The operational characteristics of integrated circuits based on nanoscale semiconductor technology are expected to be increasingly affected by variations in the manufact...
124
click to vote
ECCV
2002
Springer
16 years 5 months ago
2002
Springer
Color-based trackers recently proposed in [3,4,5] have been proved robust and versatile for a modest computational cost. They are especially appealing for tracking tasks where the ...
129
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
— Statistical static timing analysis deals with the increasing variations in manufacturing processes to reduce the pessimism in the worst case timing analysis. Because of the cor...
117
Voted
WSC
2007
15 years 5 months ago
2007
A Monte Carlo methodology is proposed for simulating air traffic blockage patterns under the impact of convective weather. The simulation utilizes probabilistic convective weather...
112
click to vote
CVPR
2003
IEEE
16 years 5 months ago
2003
IEEE
Occlusion is a difficult problem for appearance-based target tracking, especially when we need to track multiple targets simultaneously and maintain the target identities during t...