Author of the publication

Feature-Based Streamline Selection Method for 2D Flow Fields.

, , and . CAD/Graphics, page 129-136. IEEE, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formal equivalence checking between SLM and RTL descriptions., , and . SoCC, page 131-136. IEEE, (2015)CLP Based Static Property Checking., , and . ATVA, volume 3299 of Lecture Notes in Computer Science, page 495-498. Springer, (2004)Multiple-Cue-Based Visual Object Contour Tracking with Incremental Learning., , , and . Trans. Edutainment, (2013)Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm., , and . Australian Conference on Artificial Intelligence, volume 4304 of Lecture Notes in Computer Science, page 847-856. Springer, (2006)A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction., , and . ICCSA (3), volume 4707 of Lecture Notes in Computer Science, page 649-659. Springer, (2007)Coverage Driven Test Generation Framework for RTL Functional Verification., , , and . CAD/Graphics, page 321-326. IEEE, (2007)Intuitive Volume Eraser., , , and . CVM, volume 7633 of Lecture Notes in Computer Science, page 250-257. Springer, (2012)Streamline Distribution Method based on Vector-magnitude-aware Entropy., , and . VINCI, page 22:1-22:5. ACM, (2019)基于压缩域的脑成像大数据体可视化方法 (Volume Rendering Method of Mass Brain Imaging Data Based on Compression Domain)., , , , and . 计算机科学, 44 (3): 27-31 (2017)Spatiotemporal volume saliency., , and . J. Vis., 19 (1): 157-168 (2016)