757 search results - page 125 / 152 » Monte Carlo Model Checking |
114
Voted
ECCV
2004
Springer
16 years 4 months ago
2004
Springer
We investigate the automated reconstruction of piecewise smooth 3D curves, using subdivision curves as a simple but flexible curve representation. This representation allows taggin...
115
Voted
ICIP
2003
IEEE
16 years 4 months ago
2003
IEEE
Cyclic motion underlies several human activities including exercising,running, and walking. Accurate tracking of such motion in video data helps in developing computer-aided appli...
207
click to vote
ICDE
2007
IEEE
16 years 3 months ago
2007
IEEE
Modern enterprise applications are forced to deal with unreliable, inconsistent and imprecise information. Probabilistic databases can model such data naturally, but SQL query eva...
88
Voted
ICIP
2009
IEEE
16 years 3 months ago
2009
IEEE
Fluorescent protein microscopy imaging is nowadays one of the most important tools in biomedical research. However, the resulting images present a low signal to noise ratio and a ...
135
Voted
DAC
2007
ACM
16 years 3 months ago
2007
ACM
Abstract-- The PPV is a robust phase domain macromodel for oscillators. It has been proven to predict oscillators' responses correctly under small signal perturbations, and ca...