Filter your results
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
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
|
||
|
|
An Optimized Tag Recommender Algorithm in Folksonomy8th International Conference on Intelligent Information Processing (IIP), Oct 2014, Hangzhou, China. pp.47-56, ⟨10.1007/978-3-662-44980-6_6⟩
Conference papers
hal-01383316v1
|