74 search results - page 12 / 15 » A fast Monte Carlo algorithm for collision probability estim... |
CIMAGING
2008
13 years 8 months ago
2008
We present an algorithm to generate samples from probability distributions on the space of curves. Traditional curve evolution methods use gradient descent to find a local minimum...
CMSB
2008
Springer
13 years 9 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
PAMI
2007
13 years 6 months ago
2007
This paper presents a robust object tracking method via a spatial bias appearance model learned dynamically in video. Motivated by the attention shifting among local regions of a ...
DAC
2009
ACM
14 years 8 months ago
2009
ACM
With aggressive technology scaling, SRAM design has been seriously challenged by the difficulties in analyzing rare failure events. In this paper we propose to create statistical ...
MASCOTS
2003
13 years 8 months ago
2003
Providing Quality of Service (QoS) to inelastic data transmissions in a cost-efficient, highly scalable, and realistic fashion in IP networks remains a challenging research issue....