Conference Publications

Year 2004

Chin, W. N., Craciun, F., Qin, S. and Rinard, M., Region Inference for an Object-Oriented Language, ACM SIGPLAN Program Language Design and Implementation (PLDI04), Washington, DC, June 2004

Cong, G., Ooi, B. C., Tan, K. L. and Tung, A., Go Green: Recycle and Reuse Frequent Patterns, Proceedings of the 20th International Conference on Data Engineering, Boston, MA, March/April 2004

Dong, J. S., Qin, S. and Sun, J., Generating MSCs from an Integrated Formal Specification Language, Integrated Formal Methods (IFM04), Kent, UK, April 2004

Hu, Y., Hsu, W. J. and Xu, X., Efficient Algorithms for Load Shuffling in Split-Platform AS/RS, In Proceedings of ICRA2004, New Orleans, USA, April 2004

Li, X. and Leong, T. Y., A Support Vector Machine Approach to Solving the Breast Cancer Diagnosis Problem, In Proceedings of Congress of International Medical Informatics Association (MEDINFO), San Francisco, California, September 2004

Lu, Z., Ling, B., Qian, W., Ng, W. S. and Zhou, A., A Distributed Ranking Strategy in Peer-to-Peer Based Information Retrieval Systems, The Sixth Asia Pacific Web Conference (APWEB 2004), Hangzhou, China, April 2004

Kalnis, P., Ng, W. S., Ooi, B. C. and Tan, K. L., Answering Similarity Queries in Peer-to-Peer Networks, World Wide Web Conference 2004 (WWW2004), New York, May 2004

Teo, Y. M. and Onggo, B. S. S., Formalization and Strictness of Simulation Event Orderings, Workshop on Parallel and Distributed Simulation, Kufstein, Austria, May 2004

Wang, X., Cao, J. and Teo, Y. M., An Approach to Achieve Message-efficient Early-Stopping Uniform Consensus Protocols, 7th International Symposium on Parallel Architectures, Algorithms, and Networks (I-SPAN), Hong Kong, May 2004

Xiong, X. and Tan, K. L, Similarity-Driven Cluster Merging Method for Unsupervised Fuzzy Clustering, in Proceedings of the 4th Singapore-MIT Alliance (SMA) Annual Symposium, Singapore, January, 2004

Xu, X., Hsu, W. J. and Hu, Y., ABC: A Cluster-based Protocol for Resource Location in Peer-to-Peer Systems. Proceedings of IPDPS 2004, New Mexico, USA, April 2004

Zhang, D., Web Based Question Answering with Aggregation Strategy. In Proceedings of the 6th Asia Pacific Web Conference (APWEB2004), Hangzhou, China, April 2004

Zhang, D. and Dong, Y., Semantic, Hierarchical, Online Clustering of Web Search Results, In Proceedings of the 6th Asia Pacific Web Conference (APWEB2004), Hangzhou, China, April 2004

Zhang, D. and Lee, W. S., Web Taxonomy Integration using Support Vector Machines, In Proceedings of the 13th International World Wide Web Conference (WWW2004), New York, May 2004

Year 2003

Ayani, R., Teo, Y. M. and Ng, Y. S., Cache Pollution in Web Proxy Servers, Proceedings of the 3rd International Workshop on Internet Computing and E-Commerce, Nice, France, April 2003

Cao, J., Kwong, O. M. K., Wang, X. and Cai, W., A Peer-to-Peer Approach to Task Scheduling in Computation Grid, In Proceedings of the 2nd International Workshop on Grid and Cooperative Computing (GCC 2003), Shanghai, China, December 2003

Chin, W. N., Khoo, S. C. and Xu, N., Extending Sized Type with Collection
Analysis, In 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics Based Program Manipulation (PEPM2003), San Diego, June 2003

Fang, B., Hsu, W. and Lee, M. L., Reconstruction of Vascular Structures in Retinal Images, Proceedings of The International Conference on Image Processing (ICIP 2003), Barcelona, Spain, September 2003

Hu, Y., Tirtohadi, A. and Hsu, W. J., Efficient Dispatching of Mobile Agents in Prioritized E-Commerce Markets, In proceedings of ICECE2003, Hangzhou, China, October 2003

Hu, Y., Huang, S. Y., Chen, C., Hsu, W. J., Toh, A. C., Loh, C. K. and Song, T., A New Automated Storage And Retrieval System And Its Travel Time Analysis, In proceedings of Automation 2003, Taiwan, September 2003, Best Paper Award Nomination

Hu, H., Huang, S. Y., Chen, C., Hsu, W. J., Toh, A. C., Loh, C. K. and Song T., Travel Time Analysis for a New Automated Storage and Retrieval System, In Proceedings of ETFA2003, Portugal, September 2003

Lee, W. S. and Liu, B., Learning from Positive and Unlabeled Examples Using Weighted Logistic Regression, In Proceedings of the Twentieth International Conference on Machine Learning, Washington, United States, August 2003

Li, X. and Liu, B., Learning to Classify Texts Using Positive and Unlabeled Data, Proceedings of Eighteenth International Joint Conference on Artificial Intelligence (IJCAI2003), Acapulco, Mexico, August 2003

Ling, B., Ng, W. S., Shu, Y. and Zhou, A., Fuzzy Cost Modeling for Peer-to-Peer Systems, International Workshop on Agents and Peer-to-Peer Computing (AP2PC2003), Melbourne, July 2003

Liu, B., Dai, Y., Li, X., Lee, W. S. and Yu, P., Building Text Classifiers Using Positive and Unlabeled Examples, Proceedings of the Third IEEE International Conference on Data Mining (ICDM2003), Melbourne, Florida, November 2003

Long, Q., Qiu, Z. and Qin, S., The Equivalence of Statecharts, Formal Methods and Software Engineering (ICFEM03), Singapore, November 2003

Ooi, B. C., Ng, W. S. and Tan, K. L., Information Acquisition Through an Integrated Paradigm: P2P + Agent, International Workshop on Agents and Peer-to-Peer Computing (AP2PC2003), Melbourne, July 2003

Pang, X., Catania, B. and Tan, K. L., Securing Your Data in P2P Systems, Proceedings of the 8th International Symposium on Database Systems for Advanced Applications Kyoto, Japan, March 2003

Qin, S., Dong, J. S. and Chin, W. N., A Semantic Foundation of TCOZ in
Unifying Theory of Programming, In Proceedings of 12th International Symposium on Formal Methods Europe (FME2003), Pisa, September 2003

Qin, S. and Chin, W. N., Mapping Statecharts to VERILOG for Hardware/Software Co-Specification, Symposium on Formal Methods Europe (FME2003), Pisa, September 2003

Teo, Y. M., Tay, S. C. and Gozalijo, J. P., Geo-rectification of Satellite Images using Grid Computing, Proceedings of the International Parallel & Distributed Processing Symposium, Nice, France, April 2003

Xiong, X., Wong, W. F. and Hsu, W. J., Hierarchical Multi-Bottleneck Classification Method and Its Application to DNA Microarray Expression Data, in Proceedings of the 3rd Singapore-MIT Alliance (SMA) Annual Symposium, Singapore, January 2003

Xu, X., Hsu, W. J. and Hu, Y., Scalable and Fault Tolerant Algorithms for Peer-To-Peer Resource Location in E-Market, In Proceedings of ICECE2003, Hangzhou, China, October 2003

Yi, L., Liu, B. and Li. X., Eliminating Noisy Information in Web Pages for Data Mining, Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery & Data Mining (KDD2003), Washington DC, USA, August 2003

Zhang, D. and Lee, W. S., A Language Modeling Approach to Passage Question Answering, In Proceedings of the 12th Text REtrieval Conference (TREC2003), NIST, Gaithersburg, November 2003

Zhang, D. and Lee, W. S., Question Classification using Support Vector Machines, In Proceedings of the 26th ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR2003), Toronto, Canada, July/August 2003

Year 2002

Anand, S., Chin, W. N. and Khoo, S. C., A Lazy Divide & Conquer Approach to Constraint Solving, International Conference on Tools with Artificial Intelligence, Washington D.C., United States, November 2002

Chin, W. N. and Hu, Z., Towards a Modular Program Derivation via Fusion
and Tupling. In Proceedings of ACM SIGPLAN/SIFSOFT Conference on Generative Programming and Component Engineering (GPCE), LNCS 2487, Pittsburgh, October 2002

Fang, B., Hsu, W. and Lee, M. L., Tumor Cell Identification using Features Rules, In Proceedings of the 8th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, July 2002 (Paper presented at 8th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Edmonton, Canada, July 2002

Ho, D. P., Teo, Y. M. and Gozalijo, J. P., Solving the N-body Problem on the ALiCE Grid System, 7th Asian Computing Science Conference, Hanoi, Vietnam, December 2002

Li, X., Liu, B., Hu, M. and Phang, T. H., Using Micro Information Units for Internet Search, ACM Conference on Information and Knowledge Management (CIKM-2002), 2002, McLean, VA, USA, November 2002

Liu, B., Lee, W. S., Yu, P. S. and Li, X., Partially Supervised Classification of Text Documents, In Proceedings of the Nineteenth International Conference on Machine Learning (ICML-2002), July 2002

Onggo, B. S. S. and Teo, Y. M., Performance Trade-off in Distributed Simulation, Proceedings of the 6th IEEE International Workshop on Distributed Simulation and Real Time Applications, Texas, USA, October 2002

Teo, Y. M., Ng, Y. K. and Onggo B. S. S., Conservative Simulation using Distributed-Shared Memory, Proceedings of the 16th ACM/IEEE/SCS Workshop on Parallel and Distributed Simulation, pp. 3-10, IEEE Computer Society Press, Washington, USA, May 2002

Teo, Y. M. and Ng, Y. K., SPaDES/Java: Object-Oriented Parallel Discrete-Event Simulation, Proceedings of the 35th Annual Simulation Symposium, San Diego, USA, April 2002

Zhang, D. and Lee, W. S., Web based Pattern Mining and Matching Approach to Question Answering. In Proceedings of the 11th Text REtrieval Conference (TREC), NIST, Gaithersburg, MD, November 2002

Journal Publications

Year 2004

Andrei, S. and Chin, W.N., Solving a Class of Higher-Order Equations over a Group Structure, Journal of Symbolic Computation, Volume 37, Issue 3, Pages 329-341 (2004)

Hu, H., Shell, Y. H., Chen, C., Hsu, W. J., Toh, A. C., Loh, C. K. and Song, T., Travel Time Analysis of a New Automated Storage and Retrieval System. Accepted by Computers & Operations Research (2004)

Year 2003

Andrei, S., Cavadini, S.C., Chin, W.N., A New Algorithm for Regularizing One-Letter Context-Free Grammars, Theoretical Computer Science Volume 306, Issues 1-3, Pages 113-122 (2003)

Dasgupta, S., Lee W. S. and Long, P. M., A Theoretical Analysis of Query Selection for Collaborative Filtering, Machine Learning Volume 53, Issue 3, Pages 283-298 (2003)

Shen, H., Shu, Y. and Yu, B., Efficient Semantic-based Content Search in P2P Network, IEEE Transaction on Knowledge and Data Engineering (TKDE), Special Issue on P2P Data Management (2003)

Tay, S. C., Teo, Y. M. and Ng, C. H., A Globally Optimised Checkpointing Scheme for Time Warp, International Journal of Modelling and Simulation, Volume 23, Number 2, Pages 117-128 (2003)

Year 2002

Andrei, S., Chin, W. N. and Grigoras, G., A Tutorial on a Monadic Approach for Expressions Evaluation Analele Stiintifice ale Facultatii de Informatica, "Al.I.Cuza" University, Informatica, Tomul XII, Iasi, Romania, Pages 1-27 (2002)

Fang, B., Hsu, W. and Lee, M. L., On the Accurate Counting of Tumor Cells, IEEE Transactions on NanoBioscience Volume 2, Issue 2, Pages 94-103 (2002)

Zhang, D. and Dong, Y., A Novel Web Usage Mining Approach for Search Engines. Computer Networks, Volume 39, Issue 3, Pages 303-310, Elsevier Science (2002)