1097 search results - page 65 / 220 » Sequential Object Monitors |
149
click to vote
FMOODS
2008
15 years 3 months ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
128
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
The Structural SIMilarity Measure (SSIM) combined with the sequential Monte Carlo approach has been shown [1] to achieve more reliable video object tracking performance, compared ...
122
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Classification of images in many category datasets has
rapidly improved in recent years. However, systems that
perform well on particular datasets typically have one or
more lim...
113
Voted
WSC
2004
15 years 3 months ago
2004
Simulation plays a vital role in identifying the best system design from among a set of competing designs. To improve simulation efficiency, ranking and selection techniques are o...
118
click to vote
TSE
2008
15 years 2 months ago
2008
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...