From post

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.

 

Другие публикации лиц с тем же именем

Formal equivalence checking between SLM and RTL descriptions., , и . SoCC, стр. 131-136. IEEE, (2015)Multiple-Cue-Based Visual Object Contour Tracking with Incremental Learning., , , и . Trans. Edutainment, (2013)General Adaptive Transfer Functions Design for Volume Rendering by Using Neural Networks., , , и . ICONIP (2), том 4233 из Lecture Notes in Computer Science, стр. 661-670. Springer, (2006)CLP Based Static Property Checking., , и . ATVA, том 3299 из Lecture Notes in Computer Science, стр. 495-498. Springer, (2004)Intuitive Volume Eraser., , , и . CVM, том 7633 из Lecture Notes in Computer Science, стр. 250-257. Springer, (2012)Coverage Driven Test Generation Framework for RTL Functional Verification., , , и . CAD/Graphics, стр. 321-326. IEEE, (2007)A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction., , и . ICCSA (3), том 4707 из Lecture Notes in Computer Science, стр. 649-659. Springer, (2007)Minimizing Counterexample of ACTL Property., , и . CHARME, том 3725 из Lecture Notes in Computer Science, стр. 393-397. Springer, (2005)Streamline Distribution Method based on Vector-magnitude-aware Entropy., , и . VINCI, стр. 22:1-22:5. ACM, (2019)Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm., , и . Australian Conference on Artificial Intelligence, том 4304 из Lecture Notes in Computer Science, стр. 847-856. Springer, (2006)