Modelling Bottlenecks of Bike-Sharing Travel Using the Distinction between Endogenous and Exogenous Demand: A Case Study in Beijing.
ISPRS Int. J. Geo Inf., 2022
Protein Molecular Function Prediction Based on the Phylogenetic Tree.
Proceedings of the Emerging Intelligent Computing Technology and Applications, 2012
Digital Halftoning and the Application to Remote Sensing Images.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008
A Method for Using Object-Oriented Frameworks to Support Various High-Level Parallel Computing Models.
Proceedings of the TOOLS 1997: 24th International Conference on Technology of Object-Oriented Languages and Systems, 1997
Developing Parallel Object-Oriented Programs in the Framework of VDM.
Ann. Softw. Eng., 1996
Design rationale for a wide spectrum specification language FGSPEC.
J. Comput. Sci. Technol., 1993
A method of acquiring formal specifications from examples.
ACM SIGSOFT Softw. Eng. Notes, 1992
On the Design and Implementation of NDSAIL: A Software Automation System with Automated Learning Mechanisms.
Proceedings of the Algorithms, Software, Architecture, 1992