Jigui Sun
Loading Google Thumbnails...
| 2011 |
|---|
| 9 | Automatic Extraction of Drainage Networks from DEMs Base on Heuristic Search. Kun Hou, Jigui Sun, Wei Yang, Tieli Sun, Ying Wang, Sijun Ma. JSW (6): 1611-1618 (2011). Web SearchBibTeXDownload |
| 2009 |
|---|
| 8 | Feature selection with dynamic mutual information. Huawen Liu, Jigui Sun, Lei Liu, Huijie Zhang. Pattern Recognition (42): 1330-1339 (2009). Web SearchBibTeXDownload |
| 7 | Extended Pawlak's Flow Graphs and Information Theory. Huawen Liu, Jigui Sun, Huijie Zhang, Lei Liu. Transactions on Computational Science (5): 220-236 (2009). Web SearchBibTeXDownload |
| 2007 |
|---|
| 6 | Counting Models using Extension Rules. Minghao Yin, Hai Lin, Jigui Sun. AAAI 2007, 1916-1917. Web SearchBibTeX |
| 2006 |
|---|
| 5 | Extension Rule in First Order Logic. Xia Wu, Jigui Sun, Kun Hou. IEEE ICCI 2006, 701-706. Web SearchBibTeXDownload |
| 4 | An Extension Rule Based First-Order Theorem Prover. Xia Wu, Jigui Sun, Kun Hou. KSEM 2006, 514-524. Web SearchBibTeXDownload |
| 3 | Improved Propositional Extension Rule. Xia Wu, Jigui Sun, Shuai Lu, Ying Li, Wei Meng, Minghao Yin. RSKT 2006, 592-597. Web SearchBibTeXDownload |
| 2004 |
|---|
| 2 | Knowledge Compilation Using the Extension Rule. Hai Lin, Jigui Sun. J. Autom. Reasoning (32): 93-102 (2004). Web SearchBibTeXDownload |
| 2003 |
|---|
| 1 | Theorem Proving Based on the Extension Rule. Hai Lin, Jigui Sun, Yimin Zhang. J. Autom. Reasoning (31): 11-21 (2003). Web SearchBibTeXDownload |
from DBLP and Google Scholar
