Vision and Mission
Members
Programme Co-Chair
Messages
Milestones
Programmes
Research
Participation
Job Placements
Admissions
Faculty and Staffs
Students
New Initiatives
Events

 

Design and Simulations of High-Performance Container Terminals

Conference Publications

  1. Hsu W. J. & Hu K., “A High Performance Transport System for a Container Terminal”, Proceedings of The International Conference on Port and Maritime Port R&D and Technology 2003, Singapore, September 2003.

  2. Hsu W. J. & Qiu L., “Layout Design for an AS/RS-Based Container Terminal”, Proceedings of The International Conference on Port and Maritime Port R&D and Technology 2003, Singapore, September 2003.

  3. Hsu W. J. & Hu Y. H., “Yard Planner for an AS/RS-Based Storage Yard”, Proceedings of The International Conference on Port and Maritime Port R&D and Technology 2003, Singapore, September 2003.

  4. Hsu W. J. & Nautiyal S., “Impact of Mega Vessels on Quay Side Policies and Operations”, Proceedings of The International Conference on Port and Maritime Port R&D and Technology 2003, Singapore, September 2003.

  5. Hsu W. J. & Chen C. Y, “Simulation and Optimization of Container Yard Operations: A Survey”, Proceedings of The International Conference on Port and Maritime Port R&D and Technology 2003, Singapore, September 2003.

  6. Hsu W. J. & Ye R., “Impact of Mega-Vessels on Berth Allocation”, Proceedings of The International Conference on Port and Maritime Port R&D and Technology 2003, Singapore, September 2003.

  7. Hsu W. J & Vee V. Y., “AS/RS Cuffers at Quay-side for Container Terminal”, Proceedings of The International Conference on Port and Maritime Port R&D and Technology 2003, Singapore, September 2003.

  8. Hsu W. J. & Zhang L. W., “Two Equivalent Integer Programming Models for Dispatching Vehicles at a Container Terminal”, Proceedings of The International Conference on Port and Maritime Port R&D and Technology 2003, Singapore, September 2003.

Formal Methods

Journal Publication
Andrei S., “Inverse Propositional Resolution”, Artificial Intelligence Review (2004) (accepted).

Conference Publications

  1. Andrei S. & Chin W. N, “Incremental Satisfiability Counting for Real-Time Systems”, 10th IEEE Real-Time and Embedded Technology and Applications Symposium, Toronto, Canada, May 2004.

  2. Dong J. S., Qin S. & Sun J., “Generating MSCs from an Integrated Formal Specification Language”, Integrated Formal Methods (IFM04), Vol. 2999, Springer-Verlag, Kent, UK, April 2004.

  3. Long Q., Qiu Z. & Qin S., “The Equivalence of Statecharts”, Formal Methods and Software Engineering (ICFEM03), Vol. 2885, Springer-Verlag, Singapore, November 2003.

  4. Qin S. C., He J. F., Qiu Z. Y. & Zhang N. X., “Hardware/Software Partitioning in Verilog”, Proceedings of The 4th International Conference on Formal Engineering Methods (ICFEM2002), Vol. 2495, pp. 168-179, Springer-Verlag, Shanghai, China, October 2002.

  5. Qin S. & Chin W. N., “Mapping Statecharts to VERILOG for Hardware/ Software Co-Specification”, Proceedings of 12th International Symposium on Formal Methods Europe (FME2003), Pisa, Vol. 2805, Springer-Verlag, September 2003.

  6. Qin S., Dong J. S. & Chin W. N., “A Semantic Foundation of TCOZ in Unifying Theory of Programming”, Proceedings of 12th International Symposium on Formal Methods Europe (FME2003), Pisa, Vol. 2805, Springer-Verlag, September 2003.

Image Processing

Journal Publication
Fang B., Hsu W. & Lee M. L., “On the Accurate Counting of Tumor Cells”, IEEE Transactions on NanoBioscience, Vol. 2, No. 2, pp. 94-103 (2002).

Conference Publications

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

  2. Fang B., Hsu, W. & Lee M. L., “Tumor Cell Identification using Features Rules”, Proceedings of The 8th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Edmonton, Canada, July 2002.

Language and Compiler Techniques

Journal Publications

  1. Andrei S., Cavadini S. C. & Chin W. N., “A New Algorithm for Regularizing One-Letter Context-Free Grammars”, Theoretical Computer Science, Vol. 306, No. 1-3, pp. 113-122 (2003).

  2. Andrei S. & Chin W. N., “Solving a Class of Higher-Order Equations over a Group Structure”, Journal of Symbolic Computation, Vol. 37, No. 3, pp. 329-341 (2004).

  3. Andrei S., Chin W. N. & Cavadini S. C., “Self-Embedded Context-Free Grammars with Regular Counterparts”, Acta Informatica, Vol. 40, No. 5, pp. 349-365 (2004).

Machine Learning and Information Retrieval

Journal Publication
Dasgupta S., Lee W. S. & Long P. M., “A Theoretical Analysis of Query Selection for Collaborative Filtering”, Machine Learning, Vol. 53, No. 3, pp. 283-298 (2003).

Conference Publications

  1. Lee W. S. & Liu B., “Learning from Positive and Unlabeled Examples using Weighted Logistic Regression”, Proceedings of The 12th International Conference on Machine Learning, Washington, USA, August 2003.

  2. Li X. & Liu B., “Learning to Classify Texts using Positive and Unlabeled Data”, Proceedings of The 18th International Joint Conference on Artificial Intelligence (IJCAI2003), Acapulco, Mexico, August 2003.

  3. Liu B., Dai Y., Li X., Lee W. S. & Yu P., “Building Text Classifiers using Positive and Unlabeled Examples”, Proceedings of The 3rd IEEE International Conference on Data Mining (ICDM2003), Melbourne, Florida, November 2003.

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

  5. Zhang D. & Dong Y., “Semantic, Hierarchical, Online Clustering of Web Search Results”, Proceedings of The 6th Asia Pacific Web Conference (APWEB2004), Hangzhou, China, April 2004.

  6. Zhang D. & Lee W. S., “Question Classification using Support Vector Machines”, Proceedings of The 26th ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR2003), Toronto, Canada, 28 July-1 August 2003.

  7. Zhang D. & Lee W. S., “Web Taxonomy Integration using Support Vector Machines”, Proceedings of The 13th International World Wide Web Conference (WWW2004), New York, May 2004.

  8. Zhang D. & Lee W. S., “A Language Modeling Approach to Passage Question Answering”, Proceedings oInformation Retrieval (SIGIR2003), Toronto, Canada, 28 July-1 August 2003.

  9. Zhang D. & Lee W. S., “Web Taxonomy Integration using Support Vector Machines”, Proceedings of The 13th International World Wide Web Conference (WWW2004), New York, May 2004.

  10. Zhang D. & Lee W. S., “A Language Modeling Approach to Passage Question Answering”, Proceedings of The 12th Text Retrieval Conference (TREC2003), NIST, Gaithersburg, November 2003.

  11. Zhang D. & Lee W. S., “Web Based Pattern Mining and Matching Approach to Question Answering”, Proceedings of The 11th Text Retrieval Conference (TREC2002), NIST, Gaithersburg, Maryland, USA, 19-22 November 2002.

Parallel Processing

Journal Publications

  1. Loh K. K. & Hsu W. J., “Fault-Tolerance of Complete Josephus Cubes’’, Journal of Systems Architecture, Vol. 49, No. 1-2, pp. 1-21 (2003).

  2. Tay S. C., Teo Y. M. & Ng C. H., “A Globally Optimized Checkpointing Scheme for Time Warp”, International Journal of Modeling and Simulation, Vol. 23, No. 2, pp. 117-128 (2003).

Conference Publications

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

  2. Ho D. P., Teo Y. M. & Gozalijo J. P., “Solving the N-body Problem on the ALiCE Grid System”, Proceedings of The 7th Asian Computing Science Conference, Vol. 2250, pp. 87-97, Springer-Verlag, Hanoi, Vietnam,
    December 2002.

  3. Hu Y., Tirtohadi A. & Hsu W. J., “Efficient Dispatching of Mobile Agents in Prioritized E-Commerce Markets”, Proceedings of ICECE2003, Hangzhou, China, October 2003.

  4. Loh K. K. & Hsu W. J., “Design of a Viable Fault-Tolerant Routing Strategy for Optical-Based Grids’’, Proceedings of the International Symposium on Parallel and Distributed Processing and Applications (ISPA2003), Aizu- Wakamatsu City, Japan, July 2003.

  5. Teo Y. M., Tay S. C. & Gozalijo J. P., “Geo-Rectification of Satellite Images using Grid Computing”, Proceedings of the International Parallel & Distributed Processing Symposium, IEEE Computer Society Press, Nice, France, April 2003.

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

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

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

  9. Wang X., Cao J. & 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.

 
  < back   next >