 | 2008 |
|---|
| 7 |       | Han Lin,
Kaile Su,
Chu Min Li:
Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving.
AAAI 2008: 351-356 |
| 6 |  | Han Lin,
Liu Xuegong,
Zhang Yanning:
Interpretation of river main-flow from remote sensing images: Studying on dynamic transmission cross-correlation method.
IJCNN 2008: 2281-2289 |
| 2007 |
|---|
| 5 | | Kaile Su,
Abdul Sattar,
Han Lin,
Mark Reynolds:
A Modal Logic for Beliefs and Pro Attitudes.
AAAI 2007: 496-501 |
| 4 | | Han Lin,
Kaile Su:
Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving.
IJCAI 2007: 2334-2339 |
| 3 | | Kaile Su,
Yinyin Xiao,
Qingliang Chen,
Han Lin:
Semantic interpretation of compositional logic in instantiation space.
Frontiers of Computer Science in China 1(2): 191-199 (2007) |
| 2005 |
|---|
| 2 | | Kaile Su,
Congxin Zhao,
Guanfeng Lv,
Han Lin,
Qingliang Chen:
Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System.
WINE 2005: 391-404 |
| 2004 |
|---|
| 1 | | Chih-Hung Li,
Han Lin,
Chung-Neng Wang,
Ti-Hao Chiang:
A fast H.264-based picture-in-picture (PIP) transcoder.
ICME 2004: 1691-1694 |
