| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Meng Lou Ji Zhang , Meng Lou, Tok Wang Ling , Hai Wang : HOS-Miner: A System for Detecting Outlying Subspaces of High-dimensional Data. VLDB 2004 : 1265-1268 Mark Aagaard , Nancy A. Day , Meng Lou: Relating Multi-step and Single-Step Microprocessor Correctness Statements. FMCAD 2002 : 123-141 1 [ 1 ] 2 [ 1 ] 3 [ 2 ] 4 [ 2 ] 5 [ 2 ]  ©2005 Association for Computing Machinery |
