The problem of maintaining geometric structures for points in motion has been well studied over the years. Much theoretical work to date has been based on the assumption that point...
We propose a novel tracking algorithm based on the Wang-Landau Monte Carlo sampling method which efficiently deals with the abrupt motions. Abrupt motions could cause conventional ...
Junseok Kwon (Seoul National University), Kyoung M...
Abstract. We propose a novel tracking algorithm based on the WangLandau Monte Carlo sampling method which efficiently deals with the abrupt motions. Abrupt motions could cause conv...
Excessive buffer requirement to handle continuous-media playbacks is an impediment to costeffective provisioning for on-line video retrieval. Given the skewed distribution of video...
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...