搜索结果: 1-3 共查到“知识库 计算机科学技术基础学科 interactive”相关记录3条 . 查询时间(0.141 秒)
Soft Scissors : An Interactive Tool for Realtime High Quality Matting
Soft Scissors High Quality Matting
2016/5/24
We present Soft Scissors, an interactive tool for extracting alpha mattes
of foreground objects in realtime. We recently proposed a novel
offline matting algorithm capable of extracting high-quality...
An Interactive Approach to Mobile App Verification
abductive inference specifications from tests
2016/5/24
Static explicit information flow analysis can help human auditors find malware. We propose a process for eliminating false positive flows due to imprecision in the reachability analysis: the developer...
Interactive loop-shaping design of MIMO controllers
Controllers classical singular value the circulation form value optimization compensator
2015/8/12
It is shown that many classical and singular value loop shaping problems are closed-loop convex. Consequently, loop shaping problems can be solved by efficient numerical methods. In particular, it can...