Search - IFIP Open Digital Library Access content directly

Filter your results

3 results
Author: personID (integer) : 990788
Image document

Verification of Branch-Time Property Based on Dynamic Description Logic

Yaoguang Wang , Liang Chang , Fengying Li , Tianlong Gu
8th International Conference on Intelligent Information Processing (IIP), Oct 2014, Hangzhou, China. pp.161-170, ⟨10.1007/978-3-662-44980-6_18⟩
Conference papers hal-01383329v1
Image document

The Representation of Indiscernibility Relation Using ZBDDs

Qianjin Wei , Tianlong Gu , Fengying Li , Guoyong Cai
7th International Conference on Intelligent Information Processing (IIP), Oct 2012, Guilin, China. pp.216-225, ⟨10.1007/978-3-642-32891-6_28⟩
Conference papers hal-01524971v1
Image document

Symbolic ZBDD Representations for Mechanical Assembly Sequences

Fengying Li , Tianlong Gu , Guoyong Cai , Liang Chang
7th International Conference on Intelligent Information Processing (IIP), Oct 2012, Guilin, China. pp.208-215, ⟨10.1007/978-3-642-32891-6_27⟩
Conference papers hal-01524970v1