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.

 

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

BooM: a decision procedure for boolean matching with abstraction and dynamic learning., , и . DAC, стр. 499-504. ACM, (2010)Simulation and SAT-based Boolean matching for large Boolean networks., , и . DAC, стр. 396-401. ACM, (2009)An implementation of software tools for replay and partial replay of Concurrent-C programs., , и . COMPSAC, стр. 106-111. IEEE, (1990)Incremental learning approach and SAT model for Boolean matching with don't cares., и . ICCAD, стр. 234-239. IEEE Computer Society, (2007)A reversible data hiding scheme based on dual steganographic images., , , и . ICUIMC, стр. 228-237. ACM, (2009)Studying the effectiveness of an online argumentation model for improving undergraduate students' argumentation ability., , и . J. Comput. Assist. Learn., 36 (4): 526-539 (2020)A Web-based model for developing assessment literacy of secondary in-service teachers., , и . Comput. Educ., 57 (2): 1727-1740 (2011)Designing a Web-based assessment environment for improving pre-service teacher assessment literacy., , и . Comput. Educ., 51 (1): 448-462 (2008)An improvement of EMD embedding method for large payloads by pixel segmentation strategy., , и . Image Vis. Comput., 26 (12): 1670-1676 (2008)3D arm movement recognition using syntactic pattern recognition., , , , и . Artif. Intell. Eng., 14 (2): 113-118 (2000)