The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bing Li: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jin Liu, Keqing He, Bing Li, Hao Chen, Liang Peng
    A Methodology for Acquisition of Software Component Attribute Ontology. [Citation Graph (0, 0)][DBLP]
    CIT, 2004, pp:1058-1064 [Conf]
  2. Liang Peng, Keqing He, Bing Li, Jin Liu
    Interoperability Test of ebXML e-Business Solutions. [Citation Graph (0, 0)][DBLP]
    CIT, 2004, pp:1004-1007 [Conf]
  3. Yu Zhao, Bing Li, Xiu Li, Wenhuang Liu, Shouju Ren
    Customer Churn Prediction Using Improved One-Class Support Vector Machine. [Citation Graph (0, 0)][DBLP]
    ADMA, 2005, pp:300-306 [Conf]
  4. Qingguo Lan, Shufen Liu, Bing Li, Lu Han
    Study on Unified Metamodeling Framework Based on Down-Up Mechanism. [Citation Graph (0, 0)][DBLP]
    CSCWD (Selected papers), 2005, pp:596-605 [Conf]
  5. Bing Li, Zhengding Lu, Weijun Xiao, Ruixuan Li, Zhang Wei, Mudar Sarem
    An Architecture for Multidatabase Systems Based on CORBA and XML. [Citation Graph (0, 0)][DBLP]
    DEXA Workshop, 2001, pp:32-37 [Conf]
  6. Ruixuan Li, Zhengding Lu, Weijun Xiao, Bing Li, Wei Wu
    Schema Mapping for Interoperability in XML-Based Multidatabase Systems. [Citation Graph (0, 0)][DBLP]
    DEXA Workshops, 2003, pp:235-240 [Conf]
  7. Xiaoying Bai, Wei-Tek Tsai, Techeng Shen, Bing Li, Raymond A. Paul
    Distributed End-to-End Testing Management. [Citation Graph (0, 0)][DBLP]
    EDOC, 2001, pp:140-151 [Conf]
  8. Raymond A. Paul, Wei-Tek Tsai, Bing Li, Xiaoying Bai
    XML-based E2E Test Report Management. [Citation Graph (0, 0)][DBLP]
    ER, 2001, pp:607-608 [Conf]
  9. Bing Li, Fei He, Wudong Liu, Keqing He, Jin Liu
    Research on Semantic-Based Web Services Registry Federation. [Citation Graph (0, 0)][DBLP]
    GCC, 2005, pp:202-207 [Conf]
  10. Bing Li, Keqing He, Jin Liu, Qiang Wang, Liang Peng, Rong Peng
    Building Interoperable Software Components Repository Based on MMF. [Citation Graph (0, 0)][DBLP]
    GCC Workshops, 2004, pp:67-74 [Conf]
  11. Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan
    Transaction integration for reusable hard real-time components. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:166-175 [Conf]
  12. Bing Li, Wei-Tek Tsai
    3 Tier Transparent Web Application Developing Approach. [Citation Graph (0, 0)][DBLP]
    International Conference on Internet Computing, 2002, pp:519-528 [Conf]
  13. Bing Li, Fabio Somenzi
    Efficient computation of small abstraction refinements. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2004, pp:518-525 [Conf]
  14. Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi
    Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2003, pp:408-415 [Conf]
  15. Bing Li, Wei-Tek Tsai, Liang-Jie Zhang
    A Semantic Framework for Distributed Applications. [Citation Graph (0, 0)][DBLP]
    ICEIS (4), 2003, pp:34-41 [Conf]
  16. Jin Liu, Keqing He, Bing Li, Chengwan He, Liang Peng
    A Transformation Definition Metamodel for Model Transformation. [Citation Graph (0, 0)][DBLP]
    ITCC (2), 2005, pp:373-378 [Conf]
  17. Liang Peng, Keqing He, Bing Li, Jin Liu
    The Interoperability between Different e-Business Specifications. [Citation Graph (0, 0)][DBLP]
    ITCC (1), 2005, pp:409-413 [Conf]
  18. JingHui Xiao, BingQuan Liu, Xiaolong Wang, Bing Li
    A Similarity-Based Approach to Data Sparseness Problem of Chinese Language Modeling. [Citation Graph (0, 0)][DBLP]
    MICAI, 2005, pp:761-769 [Conf]
  19. Bing Li, De Xu, Songhe Feng, Aimin Wu, Xu Yang
    Perceptual Depth Estimation from a Single 2D Image Based on Visual Perception Theory. [Citation Graph (0, 0)][DBLP]
    PCM, 2006, pp:88-95 [Conf]
  20. Xiu Li, Weiyun Ying, Jianyong Tuo, Bing Li, Wenhuang Liu
    Applications of classification trees to consumer credit scoring methods in commercial banks. [Citation Graph (0, 0)][DBLP]
    SMC (5), 2004, pp:4112-4117 [Conf]
  21. Jianyong Tuo, Shouju Ren, Wenhuang Liu, Xiu Li, Bing Li, Lei Lin
    Artificial immune system for fraud detection. [Citation Graph (0, 0)][DBLP]
    SMC (2), 2004, pp:1407-1411 [Conf]
  22. He Zhang, Xiu Li, Wenhuang Liu, Bing Li, Zhihong Zhang
    An application of the AHP in 3PL vendor selection of a 4PL system. [Citation Graph (0, 0)][DBLP]
    SMC (2), 2004, pp:1255-1260 [Conf]
  23. Bing Li, Fabio Somenzi
    Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:227-241 [Conf]
  24. XueFeng Chen, Bing Li, Shengjun Yang, Zhengjia He
    Transient Thermal Analysis of Duplicating Paper Using Wavelet on the Interval Elements. [Citation Graph (0, 0)][DBLP]
    WAA, 2003, pp:454-459 [Conf]
  25. Jin Liu, Keqing He, Bing Li, Fei He
    A Perspective of Fusing Ontology and Metamodeling Architecture in Interconnection Environment. [Citation Graph (0, 0)][DBLP]
    SKG, 2005, pp:6- [Conf]
  26. Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan
    Parallel Evaluation of Software Architecture Specifications. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1997, v:40, n:1, pp:83-86 [Journal]
  27. Utpal Roy, Bing Li
    Representation and interpretation of geometric tolerances for polyhedral objects - I. Form tolerances. [Citation Graph (0, 0)][DBLP]
    Computer-Aided Design, 1998, v:30, n:2, pp:151-161 [Journal]
  28. Utpal Roy, B. Li
    Representation and interpretation of geometric tolerances for polyhedral objects. II.: Size, orientation and position tolerances. [Citation Graph (0, 0)][DBLP]
    Computer-Aided Design, 1999, v:31, n:4, pp:273-285 [Journal]
  29. Bing Li, Chao Wang, Fabio Somenzi
    A satisfiability-based approach to abstraction refinement in model checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:4, pp:- [Journal]
  30. Liang-Jie Zhang, Bing Li
    Requirements Driven Dynamic Services Composition for Web Services and Grid Solutions. [Citation Graph (0, 0)][DBLP]
    J. Grid Comput., 2004, v:2, n:2, pp:121-140 [Journal]
  31. Bing Li, Wei-Tek Tsai, Liang-Jie Zhang
    Building e-commerce systems using semantic application framework. [Citation Graph (0, 0)][DBLP]
    Int. J. Web Eng. Technol., 2004, v:1, n:3, pp:297-319 [Journal]
  32. Bonnie L. Maidak, James R. Cole, Timothy G. Lilburn, Charles T. Parker Jr., Paul Saxman, Jason M. Stredwick, George M. Garrity, Bing Li, Gary J. Olsen, Sakti Pramanik, Thomas M. Schmidt, James M. Tiedje
    The RDP (Ribosomal Database Project) continues. [Citation Graph (0, 0)][DBLP]
    Nucleic Acids Research, 2000, v:28, n:1, pp:173-174 [Journal]
  33. Bonnie L. Maidak, James R. Cole, Charles T. Parker Jr., George M. Garrity, Niels Larsen, Bing Li, Timothy G. Lilburn, Michael J. McCaughey, Gary J. Olsen, Ross A. Overbeek, Sakti Pramanik, Thomas M. Schmidt, James M. Tiedje, Carl R. Woese
    A new version of the RDP (Ribosomal Database Project). [Citation Graph (0, 0)][DBLP]
    Nucleic Acids Research, 1999, v:27, n:1, pp:171-173 [Journal]
  34. Bing Li, Chao Wang, Fabio Somenzi
    Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:2, pp:143-155 [Journal]
  35. Chai Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi
    Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2006, v:25, n:11, pp:2297-2316 [Journal]
  36. Jeffrey J. P. Tsai, Bing Li, Thomas J. Weigert
    A Logic-Based Transformation System. [Citation Graph (0, 12)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1998, v:10, n:1, pp:91-107 [Journal]
  37. Bing Li, Wei-Sun Jiang
    A novel stochastic optimization algorithm. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Systems, Man, and Cybernetics, Part B, 2000, v:30, n:1, pp:193-198 [Journal]
  38. Jian Wang, Keqing He, Bing Li, Wei Liu, Rong Peng
    Meta-models of Domain Modeling Framework for Networked Software. [Citation Graph (0, 0)][DBLP]
    GCC, 2007, pp:878-886 [Conf]
  39. Bing Li, Scott T. Acton
    Vector Field Convolution for Image Segmentation using Snakes. [Citation Graph (0, 0)][DBLP]
    ICIP, 2006, pp:1637-1640 [Conf]
  40. Bing Li, De Xu, Songhe Feng, Fangshi Wang
    Visual Perception Theory Guided Depth Motion Estimation. [Citation Graph (0, 0)][DBLP]
    MMM (1), 2007, pp:198-206 [Conf]
  41. Bing Li, Shuo Pan
    Service Process Improvement Based on Exceptional Pattern Analysis. [Citation Graph (0, 0)][DBLP]
    NPC, 2007, pp:486-494 [Conf]
  42. Bing Li, Hongyuan Zha, F. Chiaromonte
    Linear Contour Learning: A Method for Supervised Dimension Reduction. [Citation Graph (0, 0)][DBLP]
    UAI, 2004, pp:346-356 [Conf]
  43. Bing Li, Scott T. Acton
    Active Contour External Force Using Vector Field Convolution for Image Segmentation. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Image Processing, 2007, v:16, n:8, pp:2096-2106 [Journal]

  44. A Framework to Support Interoperability among Web Service Registries. [Citation Graph (, )][DBLP]


  45. Automated Program Debugging Via Multiple Predicate Switching. [Citation Graph (, )][DBLP]


  46. Automatic formal verification of clock domain crossing signals. [Citation Graph (, )][DBLP]


  47. Applying MDA in traditional database-based application development. [Citation Graph (, )][DBLP]


  48. On hierarchical statistical static timing analysis. [Citation Graph (, )][DBLP]


  49. Framework of Personalized Web-Oriented Data Management System. [Citation Graph (, )][DBLP]


  50. A Process-Driven and Ontology Based Software Product Line Variability Modeling Approach. [Citation Graph (, )][DBLP]


  51. Timing model extraction for sequential circuits considering process variations. [Citation Graph (, )][DBLP]


  52. 3D Segmentation of the Prostate via Poisson Inverse Gradient Initialization. [Citation Graph (, )][DBLP]


  53. Topological simplification of planar flow field based on physical feature. [Citation Graph (, )][DBLP]


  54. Electric Heating Cable Fault Locating System Based on Neural Network. [Citation Graph (, )][DBLP]


  55. A Hybrid Approach for Business Process Verification. [Citation Graph (, )][DBLP]


  56. Seismic Responses Prediction of Nonlinear Building Structures Based on Multi-Branch BP Neural Network. [Citation Graph (, )][DBLP]


  57. P-Moment Asymptotic Behavior of Nonautonomous Stochastic Differential Equation with Delay. [Citation Graph (, )][DBLP]


  58. Static Timing Model Extraction for Combinational Circuits. [Citation Graph (, )][DBLP]


  59. A New Bounding Technique for Handling Arbitrary Correlations in Path-Based SSTA. [Citation Graph (, )][DBLP]


  60. Indentifying Multi-instance Outliers. [Citation Graph (, )][DBLP]


  61. Requirements Discovery Based on RGPS Using Evolutionary Algorithm. [Citation Graph (, )][DBLP]


  62. Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification. [Citation Graph (, )][DBLP]


  63. Learning to evaluate the visual quality of web pages. [Citation Graph (, )][DBLP]


  64. Simulation Analysis on Stimulation Modes of Three-Dimension Electrical Impedance Tomography. [Citation Graph (, )][DBLP]


  65. Dynamic Model and Numerical Simulation of Particle Motion in Rotation Flow Field of Centrifuge. [Citation Graph (, )][DBLP]


  66. The Condition Monitoring and Performance Evaluating of Digital Manufacturing Process. [Citation Graph (, )][DBLP]


  67. Research on Dynamic Time Evaluation of Service Procedure and Task Scheduling. [Citation Graph (, )][DBLP]


  68. A New Method of Signal Processing in RFID System. [Citation Graph (, )][DBLP]


  69. An agent based application service providing model. [Citation Graph (, )][DBLP]


  70. A Novel Software Evolution Model Based on Software Networks. [Citation Graph (, )][DBLP]


  71. A Novel Method for Mining SaaS Software Tag via Community Detection in Software Services Network. [Citation Graph (, )][DBLP]


  72. A Service-Oriented Qos-Assured and Multi-Agent Cloud Computing Architecture. [Citation Graph (, )][DBLP]


  73. A Nonlinear Kalman Smoothing Method for Ballistic Target Tracking. [Citation Graph (, )][DBLP]


  74. Probabilistic Planning for Creating or Destroying Objects. [Citation Graph (, )][DBLP]


  75. Content based image retrieval for matching images of improvised explosive devices in which snake initialization is viewed as an inverse problem. [Citation Graph (, )][DBLP]


  76. Quantification of directional and orientational selectivities of visual neurons to moving stimuli. [Citation Graph (, )][DBLP]


  77. Optimizing Complex Functions by Chaos Search. [Citation Graph (, )][DBLP]


Search in 0.012secs, Finished in 0.014secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002