Autor der Publikation

Using Model Checking Techniques For Evaluating the Effectiveness of Evolutionary Computing in Synthesis of Distributed Fault-Tolerant Programs.

, und . GECCO, Seite 1119-1126. ACM, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Shadowless-illuminated variable-angle TIRF (siva-TIRF) microscopy for the observation of spatial-temporal dynamics in live cells., , , , , , und . Biomedical optics express, 5 (5): 1530--40 (Mai 2014)The Framework of Network Public Opinion Monitoring and Analyzing System Based on Semantic Content Identification., , , und . J. Convergence Inf. Technol., 5 (10): 48-55 (2010)A Study of Chinese Word Segmentation Based on the Characteristics of Chinese., , , , , und . GSCL, Volume 8105 von Lecture Notes in Computer Science, Seite 111-118. Springer, (2013)A Hybrid Watermarking Scheme for Video Authentication., , und . ICIP, Seite 2569-2572. IEEE, (2006)Research on different slicing methods of acquiring LAI from terrestrial laser scanner data., , , und . ICSDM, Seite 295-299. IEEE, (2011)Land Cover Spurious Change Detection Using a geo-eco Zoning Rule Base1., , , und . IGARSS, Seite 6507-6510. IEEE, (2019)B2B e-commerce adoption decisions in Taiwan: The interaction of cultural and other institutional factors., , und . Electron. Commer. Res. Appl., 5 (2): 92-104 (2006)New Techniques of Remote Sensing in the University of Architecture and Planning., , und . IGARSS (2), Seite 642-645. IEEE, (2009)支持形状分析的符号执行引擎的设计与实现 (Symbolic Execution Engine with Shape Analysis)., , , und . 计算机科学, 43 (3): 193-198 (2016)Ontology constructing for Chinese medicine knowledge of Beng Lou., , , , und . Healthcom, Seite 1-6. IEEE, (2017)