4341 search results - page 301 / 869 » Quantitative Model checking |
173
Voted
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We present an exactly solvable random-subcube model inspired by the structure of hard constraint satisfaction and optimization problems. Our model reproduces the structure of the s...
181
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We present a simple but efficient model for object segmentation in video scenes that integrates motion and color information in a joint probabilistic framework. Optical flow is mo...
210
click to vote
ICMCS
2006
IEEE
16 years 22 days ago
2006
IEEE
Background model and tracking became critical components for many vision-based applications. Typically, background modeling and object tracking are mutually independent in many ap...
163
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
We present a robust method for time-frequency model estimation. It involves a robust Leclerc's estimator to ensure robustness w.r.t. noise and interferences present in timefr...
177
click to vote
ICAS
2009
IEEE
15 years 10 months ago
2009
IEEE
We propose a general model for resources allocation of virtual machines in multi-tier distributed environments. Our model describes each virtual machine and each physical host by ...