( en | de | ru )

 

Disambiguation of "yang Lv, Tian"

Author of the publication

copydeleteadd this publication to your clipboard
Specification and verification of policy using RAISE and modelchecking.

, , , and . BMEI, page 2082-2086. IEEE, (2011)

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.

Tian Tian

Ivan Lvov

Zhiyi Lv

Guohua Lv

Zuopeng LV

 

Other publications of authors with the same name

Specification and verification of policy using RAISE and modelchecking., , , and . BMEI, page 2082-2086. IEEE, (2011)Distance Ratio Fractal for Complex Mapping z <- za., , , and . IMSCCS (2), page 237-243. IEEE Computer Society, (2006)0-7695-2581-4.Lazy Slicing for State-Space Exploration., , , , and . J. Comput. Sci. Technol., 27 (4): 872-890 (2012)Researches on mold-based feature extraction and retrieval technology of 3D models., , , and . CAD/Graphics, page 371-376. IEEE, (2009)An Auto-stopped Hierarchical Clustering Algorithm for Analyzing 3D Model Database., , , , and . PKDD, volume 3721 of Lecture Notes in Computer Science, page 601-608. Springer, (2005)Studies on Shape Feature Combination and Efficient Categorization of 3D Models., , , and . International Conference on Computational Science (2), volume 4488 of Lecture Notes in Computer Science, page 97-104. Springer, (2007)An Ontology and SWRL Based 3D Model Retrieval System., , , and . AIRS, volume 4993 of Lecture Notes in Computer Science, page 335-344. Springer, (2008)Combining Multiple Clustering Methods Based on Core Group., , , and . SKG, page 29. IEEE Computer Society, (2006)Semantic 3D Model Retrieval Based on Semantic Tree and Shape Feature., , , and . FSKD (5), page 452-457. IEEE Computer Society, (2009)An Auto-stopped Hierarchical Clustering Algorithm Integrating Outlier Detection Algorithm., , , and . WAIM, volume 3739 of Lecture Notes in Computer Science, page 464-474. Springer, (2005)