Filter your results
- 3
- 3
- 3
- 1
- 2
- 3
- 2
- 1
- 3
- 3
- 2
- 2
- 1
- 1
|
|
sorted by
|
|
The Representation of Indiscernibility Relation Using ZBDDs7th 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
|
||
|
Verification of Branch-Time Property Based on Dynamic Description Logic8th 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
|
||
|
Symbolic ZBDD Representations for Mechanical Assembly Sequences7th 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
|