Also, the course of IKVOS in the compressed domain is formalized and the model of IKVOS is proved to satisfy the criterion of coinduction.
将压缩域关键视频对象选择算法形式化为压缩域关键视频对象选择模型,证明该模型满足归纳法准则;
Also, the course of IKVOS in the compressed domain is formalized and the model of IKVOS is proved to satisfy the criterion of coinduction.
将压缩域关键视频对象选择算法形式化为压缩域关键视频对象选择模型,证明该模型满足归纳法准则;
应用推荐