Hai Lin

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2012
117Unification Modulo Homomorphic Encryption. Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch. J. Autom. Reasoning (48): 135-158 (2012). Web SearchBibTeXDownload
116Facial expression recognition using radial encoding of local Gabor features and classifier synthesis. Wenfei Gu, Cheng Xiang, Y. V. Venkatesh, Dong Huang, Hai Lin. Pattern Recognition (45): 80-91 (2012). Web SearchBibTeXDownload
2011
115Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm. Fuchun Liu, Hai Lin, Zbigniew Dziong. Automatica (47): 782-788 (2011). Web SearchBibTeXDownload
114Guaranteed global performance through local coordinations. Mohammad Karimadini, Hai Lin. Automatica (47): 890-898 (2011). Web SearchBibTeXDownload
113Depth-Based Feature Enhancement for Volume Visualization. Bangjie Tang, Zhiguang Zhou, Hai Lin. CAD/Graphics 2011, 381-388. Web SearchBibTeXDownload
112Opacity Volume Based Halo Generation for Enhancing Depth Perception. Yubo Tao, Hai Lin, Feng Dong, Gordon Clapworthy. CAD/Graphics 2011, 418-422. Web SearchBibTeXDownload
111Feature-Preserving Quantization for 3D Seismic Visualization. Junlian Shuai, Zhiguang Zhou, Bin Zhang, Gang Hua, Hai Lin. CAD/Graphics 2011, 397-405. Web SearchBibTeXDownload
110Task Decomposability Under Event Failures for Two Cooperative Agents. Mohammad Karimadini, Hai Lin. CoRR (abs/1101.2003) (2011). Web SearchBibTeXDownload
109Communicate only when necessary: Cooperative tasking for multi-agent systems. Mohammad Karimadini, Hai Lin. CoRR (abs/1106.3134) (2011). Web SearchBibTeXDownload
108Structural Controllability of Switched Linear Systems. Xiaomeng Liu, Hai Lin, Ben M. Chen. CoRR (abs/1106.1703) (2011). Web SearchBibTeXDownload
107Output Feedback Tracking Control for a Class of Uncertain Systems subject to Unmodeled Dynamics and Delay at Input. Quan Quan, Hai Lin, Kai-Yuan Cai. CoRR (abs/1111.0129) (2011). Web SearchBibTeXDownload
106Two-step differentiator for delayed signal. Xinhua Wang, Hai Lin. CoRR (abs/1103.1001) (2011). Web SearchBibTeXDownload
105Necessary and Sufficient Conditions for Task Automaton Decomposition. Mohammad Karimadini, Hai Lin. CoRR (abs/1101.2002) (2011). Web SearchBibTeXDownload
104Computation for Supremal Simulation-Based Controllable and Strong Observable Subautomata. Yajuan Sun, Hai Lin, Fuchun Liu. CoRR (abs/1101.3500) (2011). Web SearchBibTeXDownload
103Decentralized Supervisory Control of Discrete Event Systems for Bisimulation Equivalence. Yajuan Sun, Hai Lin, Ben M. Chen. CoRR (abs/1112.3555) (2011). Web SearchBibTeXDownload
102Design and analysis of continuous hybrid differentiator. Xinhua Wang, Hai Lin. CoRR (abs/1103.4311) (2011). Web SearchBibTeXDownload
101Design and frequency analysis of continuous finite-time-convergent differentiator. Xinhua Wang, Hai Lin. CoRR (abs/1103.4286) (2011). Web SearchBibTeXDownload
100Blind Frequency-Dependent I/Q Imbalance Compensation Using System Identification. Hai Lin, Katsumi Yamashita. GLOBECOM 2011, 1-5. Web SearchBibTeXDownload
99Genetic Algorithm Based Frequency Domain Equalization for DS-UWB Systems without Guard Interval. Nazmat Surajudeen-Bakinde, Xu Zhu, Jingbo Gao, Asoke K. Nandi, Hai Lin. ICC 2011, 1-5. Web SearchBibTeXDownload
98A New Adaptive OFDM System with Precoded Cyclic Prefix for Dynamic Cognitive Radio Communications. Xianbin Wang, Hao Li, Hai Lin. IEEE Journal on Selected Areas in Communications (29): 431-442 (2011). Web SearchBibTeXDownload
97Development of a Comprehensive Software System for Implementing Cooperative Control of Multiple Unmanned Aerial Vehicles. Xiangxu Dong, Ben M. Chen, Guowei Cai, Hai Lin, Tong H. Lee. I. J. Robotics and Automation (26) (2011). Web SearchBibTeXDownload
96Aggregation methods for integrated services. Hai Lin, Houda Labiod. Int. J. Communication Systems (24): 978-1001 (2011). Web SearchBibTeXDownload
95Shape-enhanced maximum intensity projection. Zhiguang Zhou, Yubo Tao, Hai Lin, Feng Dong, Gordon Clapworthy. The Visual Computer (27): 677-686 (2011). Web SearchBibTeXDownload
94Blind OFDM carrier frequency offset estimation in the presence of DC Offset. Tomoya Onishi, Md. Alamgir Hossain, Hai Lin, Katsumi Yamashita. WiMob 2011, 245-248. Web SearchBibTeXDownload
2010
93A novel multi-objective instruction synthesis flow for application-specific instruction set processors. Hai Lin, Yunsi Fei. ACM Great Lakes Symposium on VLSI 2010, 409-412. Web SearchBibTeXDownload
92Cap unification: application to protocol security modulo homomorphic encryption. Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch. ASIACCS 2010, 192-203. Web SearchBibTeXDownload
91Reliable supervisory control for general architecture of decentralized discrete event systems. Fuchun Liu, Hai Lin. Automatica (46): 1510-1516 (2010). Web SearchBibTeXDownload
90Decomposability of global tasks for multi-agent systems. Mohammad Karimadini, Hai Lin. CDC 2010, 4192-4197. Web SearchBibTeXDownload
89Analytical study of intradomain handover in multiple-mobile-routers-based multihomed NEMO networks. Houda Labiod, Hai Lin, Riccardo Nonni. Computer Networks (54): 3280-3294 (2010). Web SearchBibTeXDownload
88A Novel Equalization Method for OFDM Systems without Guard Interval. Umut Yunus, Hai Lin, Katsumi Yamashita. GLOBECOM 2010, 1-5. Web SearchBibTeXDownload
87Graphic interpretations of structural controllability for switched linear systems. Xiaomeng Liu, Hai Lin, Ben M. Chen. ICARCV 2010, 549-554. Web SearchBibTeXDownload
86Linear Least Squares CFO Estimation and Kalman Filtering Based I/Q Imbalance Compensation in MIMO SC-FDE Systems. Jingbo Gao, Xu Zhu, Hai Lin, Asoke K. Nandi. ICC 2010, 1-5. Web SearchBibTeXDownload
85Low-complexity pilot-aided compensation for carrier frequency offset and I/Q imbalance. Hai Lin, Xu Zhu, Katsumi Yamashita. IEEE Transactions on Communications (58): 448-452 (2010). Web SearchBibTeXDownload
84Low complexity cross-layer design with packet dependent scheduling for heterogeneous traffic in multiuser OFDM systems. Nan Zhou, Xu Zhu, Yi Huang, Hai Lin. IEEE Transactions on Wireless Communications (9): 1912-1923 (2010). Web SearchBibTeXDownload
83Independent component analysis based semi-blind I/Q imbalance compensation for MIMO OFDM systems. Jingbo Gao, Xu Zhu, Hai Lin, Asoke K. Nandi. IEEE Transactions on Wireless Communications (9): 914-920 (2010). Web SearchBibTeXDownload
82Architectural Enhancement and System Software Support for Program Code Integrity Monitoring in Application-Specific Instruction-Set Processors. Hai Lin, Yunsi Fei, Xuan Guan, Zhijie Jerry Shi. IEEE Trans. VLSI Syst. (18): 1519-1532 (2010). Web SearchBibTeXDownload
81Genetic Algorithm Based Equalizer for Ultra-Wideband Wireless Communication Systems. Nazmat Surajudeen-Bakinde, Xu Zhu, Jingbo Gao, Asoke K. Nandi, Hai Lin. IEICE Transactions (93-B): 2725-2734 (2010). Web SearchBibTeXDownload
80Joint Estimation of Carrier Frequency Offset and I/Q Imbalance in the Presence of Time-Varying DC Offset. Umut Yunus, Hai Lin, Katsumi Yamashita. IEICE Transactions (93-B): 16-21 (2010). Web SearchBibTeXDownload
79Exploring custom instruction synthesis for application-specific instruction set processors with multiple design objectives. Hai Lin, Yunsi Fei. ISLPED 2010, 141-146. Web SearchBibTeXDownload
78Hybrid architecture for resource reservation in IP based mobile networks. Hai Lin, Houda Labiod. NOMS 2010, 195-200. Web SearchBibTeXDownload
77Low SNR Timing and Frequency Synchronization for PIP-OFDM System. Cong Wang, Xianbin Wang, Hai Lin, Jean-Yves Chouinard. VTC Spring 2010, 1-5. Web SearchBibTeXDownload
2009
76A new perspective on criteria and algorithms for reachability of discrete-time switched linear systems. Zhijian Ji, Hai Lin, Tong Heng Lee. Automatica (45): 1584-1587 (2009). Web SearchBibTeXDownload
75Interconnection topologies for multi-agent coordination under leader-follower framework. Zhijian Ji, Zidong Wang, Hai Lin, Zhen Wang. Automatica (45): 2857-2863 (2009). Web SearchBibTeXDownload
74A new quantization method for 3-D seismic visualization. Gang Hua, Hai Lin, Jinguang Sun. CAD/Graphics 2009, 457-462. Web SearchBibTeXDownload
73Implicit Lyapunov control of closed quantum systems. Shouwei Zhao, Hai Lin, Jitao Sun, Zhengui Xue. CDC 2009, 3811-3815. Web SearchBibTeXDownload
72A switched system approach to scheduling of networked control systems with communication constraints. Shi-Lu Dai, Hai Lin, Shuzhi Sam Ge. CDC 2009, 4991-4996. Web SearchBibTeXDownload
71Stabilize an n-dimensional quantized nonlinear feedforward system with 1 bit. Qiang Ling, Michael D. Lemmon, Hai Lin. CDC 2009, 1986-1991. Web SearchBibTeXDownload
70A graph-theoretic characterization of structural controllability for multi-agent system with switching topology. Xiaomeng Liu, Hai Lin, Ben M. Chen. CDC 2009, 7012-7017. Web SearchBibTeXDownload
69A general architecture for reliable decentralized supervisory control of discrete event systems. Fuchun Liu, Hai Lin. CDC 2009, 193-198. Web SearchBibTeXDownload
68Design of an application-specific instruction set processor for high-throughput and scalable FFT. Xuan Guan, Hai Lin, Yunsi Fei. DATE 2009, 1302-1307. Web SearchBibTeXDownload
67Unification Modulo Homomorphic Encryption. Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch. FroCos 2009, 100-116. Web SearchBibTeXDownload
66Kalman Filtering Based Compensation for I/Q Imbalance and CFO in Time-Varying MIMO OFDM Systems. Jingbo Gao, Xu Zhu, Hai Lin, Asoke K. Nandi. GLOBECOM 2009, 1-6. Web SearchBibTeXDownload
65A Robust and Precise Solution to Permutation Indeterminacy and Complex Scaling Ambiguity in BSS-Based Blind MIMO-OFDM Receiver. Mahdi Khosravy, Mohammad Reza Alsharif, Bin Guo, Hai Lin, Katsumi Yamashita. ICA 2009, 670-677. Web SearchBibTeXDownload
64Adaptive Resource Allocation for Multi-Destination Relay Systems Based on OFDM Modulation. Nan Zhou, Xu Zhu, Yi Huang, Hai Lin. ICC 2009, 1-5. Web SearchBibTeXDownload
63Subcarrier allocation based compensation for carrier frequency offset and I/Q imbalances in OFDM systems. Hai Lin, Katsumi Yamashita. IEEE Transactions on Wireless Communications (8): 18-23 (2009). Web SearchBibTeXDownload
62Orchestrating Horizontal Parallelism and Vertical Instruction Packing of Programs to Improve System Overall Efficiency. Hai Lin, Yunsi Fei. IEEE Trans. Computers (58): 1211-1220 (2009). Web SearchBibTeXDownload
61Robust Frequency Offset Estimation in the Presence of Time-Varying DC Offset. Umut Yunus, Hai Lin, Katsumi Yamashita. IEICE Transactions (92-B): 2577-2583 (2009). Web SearchBibTeXDownload
60A Hierarchical Design of an Application-specific Instruction Set Processor for High-throughput FFT. Xuan Guan, Yunsi Fei, Hai Lin. ISCAS 2009, 2513-2516. Web SearchBibTeXDownload
59Structure-aware viewpoint selection for volume visualization. Yubo Tao, Hai Lin, Hujun Bao, Feng Dong, Gordon Clapworthy. PacificVis 2009, 193-200. Web SearchBibTeXDownload
58Pilot-based frequency offset estimation in the presence of time-varying DC offset. Umut Yunus, Hai Lin, Katsumi Yamashita. PIMRC 2009, 1567-1570. Web SearchBibTeXDownload
57Design and exploitation of precoded in-band pilots for OFDM signal in cognitive radio. Cong Wang, Xianbin Wang, Hai Lin, Jean-Yves Chouinard. PIMRC 2009, 1776-1780. Web SearchBibTeXDownload
56Feature enhancement by volumetric unsharp masking. Yubo Tao, Hai Lin, Hujun Bao, Feng Dong, Gordon Clapworthy. The Visual Computer (25): 581-588 (2009). Web SearchBibTeXDownload
55Spectrum Sensing of Unsynchronized OFDM Signals for Cognitive Radio Communications. Han-Wei Chen, Xianbin Wang, Chin-Liang Wang, Hai Lin. VTC Fall 2009. Web SearchBibTeXDownload
54Blind I/Q imbalance compensation using independent component analysis in MIMO OFDM systems. Jingbo Gao, Xu Zhu, Hai Lin, Asoke K. Nandi. WCNC 2009, 670-675. Web SearchBibTeXDownload
2008
53A graph theory based characterization of controllability for multi-agent systems with fixed topology. Zhijian Ji, Hai Lin, Tong Heng Lee. CDC 2008, 5262-5267. Web SearchBibTeXDownload
52Analysis of the Virtual Enterprise Partner Selection Based on Multi-agent System. Zunqi Yang, Hai Lin. CSSE (2) 2008, 516-519. Web SearchBibTeXDownload
51Simulation Testing of Three Approaches in Estimating Unknown Parameters of Structure Models. Hai Lin, Xiaoping Chen. CSSE (4) 2008, 142-145. Web SearchBibTeXDownload
50Harnessing Horizontal Parallelism and Vertical Instruction Packing of Programs to Improve System Overall Efficiency. Hai Lin, Yunsi Fei. DATE 2008, 758-763. Web SearchBibTeXDownload
49Encoding First Order Proofs in SMT. Jeremy Bongio, Cyrus Katrak, Hai Lin, Christopher Lynch, Ralph Eric McGregor. Electr. Notes Theor. Comput. Sci. (198): 71-84 (2008). Cited by 1Web SearchBibTeXDownload
48Hybrid Domain Compensation for Analog Impairments in OFDM Systems. Hai Lin, Xu Zhu, Katsumi Yamashita. GLOBECOM 2008, 3205-3209. Web SearchBibTeXDownload
47RVP: A New Policy for Aggregate Reservation. Hai Lin, Houda Labiod. GLOBECOM 2008, 1448-1452. Web SearchBibTeXDownload
46Simultaneous stability of a collection of networked control systems with uncertain delays. Shi-Lu Dai, Hai Lin, Shuzhi Sam Ge, Xiaoyang Li. ICARCV 2008, 35-40. Web SearchBibTeXDownload
45Pilot-Aided Low-Complexity CFO and I/Q Imbalance Compensation for OFDM Systems. Hai Lin, Xu Zhu, Katsumi Yamashita. ICC 2008, 713-717. Web SearchBibTeXDownload
44Novel Batch Dependant Cross-Layer Scheduling for Multiuser OFDM Systems. Nan Zhou, Xu Zhu, Yi Huang, Hai Lin. ICC 2008, 3878-3882. Web SearchBibTeXDownload
43A streaming-based approach for remote interaction of the multi-channel display system for group users. Zhongding Jiang, Junyi Tao, Lei Zhang, Hai Lin, Hujun Bao. ICME 2008, 397-400. Web SearchBibTeXDownload
42Blind Estimation of Carrier Frequency Offset and DC Offset for OFDM Systems. Hai Lin, H. M. S. B. Senevirathna, Katsumi Yamashita. IEEE Transactions on Communications (56): 704-707 (2008). Web SearchBibTeXDownload
41On the Estimation of Carrier Frequency Offset and DC Offset for OFDM Systems. Hai Lin, Takeshi Nakao, Weiming Lu, Katsumi Yamashita. IEICE Transactions (91-B): 3288-3296 (2008). Web SearchBibTeXDownload
40Impact of Short Sale Constraints on Pricing of Restricted Stocks. Hai Lin, Zhenlong Zheng. Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education 2008, 175-178. Web SearchBibTeXDownload
39Critique of Traditional Statistical Tests in Asset Pricing Models. Hai Lin. Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education 2008, 171-174. Web SearchBibTeXDownload
38Release of unnecessary resource reservation in mobility cases. Hai Lin, Houda Labiod. ISCC 2008, 610-615. Web SearchBibTeXDownload
37Controllability of Multi-agent Systems with Switching Topology. Zhijian Ji, Hai Lin, Tong Heng Lee. RAM 2008, 421-426. Web SearchBibTeXDownload
36Thermal-aware Design Considerations for Application-Specific Instruction Set Processor. Hai Lin, Guangyu Sun, Yunsi Fei, Yuan Xie, Anand Sivasubramaniam. SASP 2008, 63-68. Web SearchBibTeXDownload
2007
35Counting Models using Extension Rules. Minghao Yin, Hai Lin, Jigui Sun. AAAI 2007, 1916-1917. Web SearchBibTeX
34Utilizing custom registers in application-specific instruction set processors for register spills elimination. Hai Lin, Yunsi Fei. ACM Great Lakes Symposium on VLSI 2007, 323-328. Web SearchBibTeXDownload
33Extended Lie Algebraic Stability Analysis for Switched Systems with Continuous-Time and Discrete-Time Subsystems. Guisheng Zhai, Xuping Xu, Hai Lin, Derong Liu. Applied Mathematics and Computer Science (17): 447-454 (2007). Web SearchBibTeXDownload
32Encoding First Order Proofs in SAT. Todd Deshane, Wenjin Hu, Patty Jablonski, Hai Lin, Christopher Lynch, Ralph Eric McGregor. CADE 2007, 476-491. Cited by 3Web SearchBibTeXDownload
31Pseudo surface-texture synthesis. Feng Dong, Gordon Clapworthy, Hai Lin. Computers & Graphics (31): 252-261 (2007). Web SearchBibTeXDownload
30Carrier Frequency Offset and I/Q Imbalances Compensation in OFDM Systems. Hai Lin, Tetsuo Adachi, Katsumi Yamashita. GLOBECOM 2007, 2883-2888. Web SearchBibTeXDownload
29Interactive Browsing of Large Images on Multi-projector Display Wall System. Zhongding Jiang, Xuan Luo, Yandong Mao, Binyu Zang, Hai Lin, Hujun Bao. HCI (2) 2007, 827-836. Web SearchBibTeXDownload
28Subspace-based OFDM Carrier Frequency Offset Estimation in the Presence of DC Offset. Hai Lin, Takeshi Nakao, Weiming Lu, Katsumi Yamashita. ICC 2007, 2883-2887. Web SearchBibTeXDownload
27Compiler-assisted architectural support for program code integrity monitoring in application-specific instruction set processors. Hai Lin, Xuan Guan, Yunsi Fei, Zhijie Jerry Shi. ICCD 2007, 187-193. Web SearchBibTeXDownload
26Cycle Accurate Verification of Synchronous Sequential Circuit Specified with UML 2.0 Modelling. Hai Lin, Yongxin Zhu, Hua Chen, Wei Guo. IPC 2007, 295-302. Web SearchBibTeXDownload
25Protocol Verification Via Rigid/Flexible Resolution. Stéphanie Delaune, Hai Lin, Christopher Lynch. LPAR 2007, 242-256. Cited by 4Web SearchBibTeXDownload
2006
24Blind Carrier Frequency Offset Estimation for OFDM Systems with DC Offset. Hai Lin, H. M. S. B. Senevirathna, Katsumi Yamashita. GLOBECOM 2006. Web SearchBibTeXDownload
23A Preliminary Study on Constructing Decision Tree with Gene Expression Programming. Weihong Wang, Qu Li, Shanshan Han, Hai Lin. ICICIC (1) 2006, 222-225. Web SearchBibTeXDownload
22Simultaneous Fine-grain Sleep Transistor Placement and Sizing for Leakage Optimization. Yu Wang, Hai Lin, Huazhong Yang, Rong Luo, Hui Wang. ISQED 2006, 723-728. Web SearchBibTeXDownload
21IR-drop Reduction Through Combinational Circuit Partitioning. Hai Lin, Yu Wang, Rong Luo, Huazhong Yang, Hui Wang. PATMOS 2006, 370-381. Web SearchBibTeXDownload
20A Novel Blind Integer CFO Estimator for OFDM Systems. Hai Lin, H. M. S. B. Senevirathna, Katsumi Yamashita. PIMRC 2006, 1-4. Web SearchBibTeXDownload
19Handover Optimization for Host and Network Mobility. Hai Lin, Houda Labiod, Guozhi Wei, Anne Wei. WINSYS 2006, 59-64. Web SearchBibTeX
2005
18Virtual learning environment for medical education based on VRML and VTK. Jianfeng Lu, Zhigeng Pan, Hai Lin, Mingmin Zhang, Jiaoying Shi. Computers & Graphics (29): 283-288 (2005). Web SearchBibTeXDownload
17Cutting and Pasting Irregularly Shaped Patches for Texture Synthesis. Feng Dong, Hai Lin, Gordon Clapworthy. Comput. Graph. Forum (24): 17-26 (2005). Web SearchBibTeXDownload
16Shadow Removal in Gradient Domain. Zhenlong Du, Xueying Qin, Hai Lin, Hujun Bao. ICIAR 2005, 107-115. Web SearchBibTeXDownload
15Oriented Poisson matting. Zhenlong Du, Hai Lin, Xueying Qin, Hujun Bao. ICIP (2) 2005, 626-629. Web SearchBibTeXDownload
14Bayesian Decision Feedback Equalizer with Receiver Diversity Combining. Hai Lin, Katsumi Yamashita. IEICE Transactions (88-A): 597-598 (2005). Web SearchBibTeXDownload
13Self organizing map based channel prediction for OFDMA. H. M. S. B. Senevirathna, Katsumi Yamashita, Hai Lin. ISCAS (3) 2005, 2506-2509. Web SearchBibTeXDownload
2004
12Remote Visualization Based on Grid Computing. Zhigeng Pan, Bailin Yang, Mingmin Zhang, Qizhi Yu, Hai Lin. ICCSA (2) 2004, 236-245. Web SearchBibTeXDownload
11Real-Time Visualisation within the Multimod Application Framework. Meleagros A. Krokos, Alexander Savenko, Gordon Clapworthy, Hai Lin, R. Mayoral, Marco Viceconti, Serge L. Van Sint Jan. IV 2004, 21-26. Web SearchBibTeXDownload
10Knowledge Compilation Using the Extension Rule. Hai Lin, Jigui Sun. J. Autom. Reasoning (32): 93-102 (2004). Web SearchBibTeXDownload
9A neural equalizer for nonlinearly distorted OFDM signals. H. M. S. B. Senevirathna, Katsumi Yamashita, Hai Lin. KES Journal (8): 171-177 (2004). Web SearchBibTeXDownload
2003
8Nonphotorealistic Rendering of Medical Volume Data. Feng Dong, Gordon Clapworthy, Hai Lin, Meleagros A. Krokos. IEEE Computer Graphics and Applications (23): 44-52 (2003). Web SearchBibTeXDownload
7Focal Points and Intuitive 3D Controls for Human Kinematics Visualisation. Meleagros A. Krokos, Hai Lin, Gordon Clapworthy, Feng Dong. IV 2003, 176-182. Web SearchBibTeXDownload
6Theorem Proving Based on the Extension Rule. Hai Lin, Jigui Sun, Yimin Zhang. J. Autom. Reasoning (31): 11-21 (2003). Web SearchBibTeXDownload
5A Super-Resolution Method with EWA - Elliptical Weighted Average. Zhongding Jiang, Hai Lin, Hujun Bao, Lizhuang Ma. J. Comput. Sci. Technol. (18): 822-832 (2003). Web SearchBibTeXDownload
2002
4Management of Dynamic Location Information in DOMINO. Ouri Wolfson, Hu Cao, Hai Lin, Goce Trajcevski, Fengli Zhang, Naphtali Rishe. EDBT 2002, 769-771. Cited by 19Web SearchBibTeXDownload
3Managing Uncertain Trajectories of Moving Objects with Domino. Goce Trajcevski, Ouri Wolfson, Hu Cao, Hai Lin, Fengli Zhang, Naphtali Rishe. ICEIS 2002, 218-225. Cited by 15Web SearchBibTeX
2001
2Slice-Based Virtual Endoscopy Navigation. Hai Lin, Gordon Clapworthy, Feng Dong, Meleagros A. Krokos, Jiaoying Shi. IV 2001, 711-716. Web SearchBibTeXDownload
1999
1A fast clustering algorithm for equalization using RBF networks. Hai Lin, Katsumi Yamashita. KES 1999, 349-352. Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research