dblp.uni-trier.dewww.uni-trier.de

Han Lin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
6EEHan 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
4EEHan Lin, Kaile Su: Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving. IJCAI 2007: 2334-2339
3EEKaile 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
2EEKaile 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

Coauthor Index

1Qingliang Chen [2] [3]
2Tihao Chiang (Ti-Hao Chiang) [1]
3Chih-Hung Li [1]
4Chu Min Li [7]
5Guanfeng Lv [2]
6Mark Reynolds [5]
7Abdul Sattar [5]
8Kaile Su [2] [3] [4] [5] [7]
9Chung-Neng Wang [1]
10Yinyin Xiao [3]
11Liu Xuegong [6]
12Zhang Yanning [6]
13Congxin Zhao [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)