Search the dblp DataBase
Bing Li :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Bing Li , Fabio Somenzi Efficient computation of small abstraction refinements. [Citation Graph (0, 0)][DBLP ] ICCAD, 2004, pp:518-525 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Bing Li , Fabio Somenzi Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking. [Citation Graph (0, 0)][DBLP ] TACAS, 2006, pp:227-241 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Bing Li , Scott T. Acton Vector Field Convolution for Image Segmentation using Snakes. [Citation Graph (0, 0)][DBLP ] ICIP, 2006, pp:1637-1640 [Conf ] 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 ] Bing Li , Shuo Pan Service Process Improvement Based on Exceptional Pattern Analysis. [Citation Graph (0, 0)][DBLP ] NPC, 2007, pp:486-494 [Conf ] 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 ] 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 ] A Framework to Support Interoperability among Web Service Registries. [Citation Graph (, )][DBLP ] Automated Program Debugging Via Multiple Predicate Switching. [Citation Graph (, )][DBLP ] Automatic formal verification of clock domain crossing signals. [Citation Graph (, )][DBLP ] Applying MDA in traditional database-based application development. [Citation Graph (, )][DBLP ] On hierarchical statistical static timing analysis. [Citation Graph (, )][DBLP ] Framework of Personalized Web-Oriented Data Management System. [Citation Graph (, )][DBLP ] A Process-Driven and Ontology Based Software Product Line Variability Modeling Approach. [Citation Graph (, )][DBLP ] Timing model extraction for sequential circuits considering process variations. [Citation Graph (, )][DBLP ] 3D Segmentation of the Prostate via Poisson Inverse Gradient Initialization. [Citation Graph (, )][DBLP ] Topological simplification of planar flow field based on physical feature. [Citation Graph (, )][DBLP ] Electric Heating Cable Fault Locating System Based on Neural Network. [Citation Graph (, )][DBLP ] A Hybrid Approach for Business Process Verification. [Citation Graph (, )][DBLP ] Seismic Responses Prediction of Nonlinear Building Structures Based on Multi-Branch BP Neural Network. [Citation Graph (, )][DBLP ] P-Moment Asymptotic Behavior of Nonautonomous Stochastic Differential Equation with Delay. [Citation Graph (, )][DBLP ] Static Timing Model Extraction for Combinational Circuits. [Citation Graph (, )][DBLP ] A New Bounding Technique for Handling Arbitrary Correlations in Path-Based SSTA. [Citation Graph (, )][DBLP ] Indentifying Multi-instance Outliers. [Citation Graph (, )][DBLP ] Requirements Discovery Based on RGPS Using Evolutionary Algorithm. [Citation Graph (, )][DBLP ] Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification. [Citation Graph (, )][DBLP ] Learning to evaluate the visual quality of web pages. [Citation Graph (, )][DBLP ] Simulation Analysis on Stimulation Modes of Three-Dimension Electrical Impedance Tomography. [Citation Graph (, )][DBLP ] Dynamic Model and Numerical Simulation of Particle Motion in Rotation Flow Field of Centrifuge. [Citation Graph (, )][DBLP ] The Condition Monitoring and Performance Evaluating of Digital Manufacturing Process. [Citation Graph (, )][DBLP ] Research on Dynamic Time Evaluation of Service Procedure and Task Scheduling. [Citation Graph (, )][DBLP ] A New Method of Signal Processing in RFID System. [Citation Graph (, )][DBLP ] An agent based application service providing model. [Citation Graph (, )][DBLP ] A Novel Software Evolution Model Based on Software Networks. [Citation Graph (, )][DBLP ] A Novel Method for Mining SaaS Software Tag via Community Detection in Software Services Network. [Citation Graph (, )][DBLP ] A Service-Oriented Qos-Assured and Multi-Agent Cloud Computing Architecture. [Citation Graph (, )][DBLP ] A Nonlinear Kalman Smoothing Method for Ballistic Target Tracking. [Citation Graph (, )][DBLP ] Probabilistic Planning for Creating or Destroying Objects. [Citation Graph (, )][DBLP ] Content based image retrieval for matching images of improvised explosive devices in which snake initialization is viewed as an inverse problem. [Citation Graph (, )][DBLP ] Quantification of directional and orientational selectivities of visual neurons to moving stimuli. [Citation Graph (, )][DBLP ] Optimizing Complex Functions by Chaos Search. [Citation Graph (, )][DBLP ] Search in 0.009secs, Finished in 0.015secs