| * | 2009 |
|---|
| 68 | EE | Cheng Zeng,
Keqing He,
Bing Li:
A Framework to Support Interoperability among Web Service Registries.
ACIS-ICIS 2009: 891-896 |
| 67 | EE | Bing Li,
Chris Ka-Kei Kwok:
Automatic formal verification of clock domain crossing signals.
ASP-DAC 2009: 654-659 |
| 66 | EE | Weifeng Pan,
Bing Li,
Yutao Ma,
Jing Liu:
A Novel Software Evolution Model Based on Software Networks.
Complex (2) 2009: 1281-1291 |
| 65 | EE | Bing Li,
Ning Chen,
Manuel Schmidt,
Walter Schneider,
Ulf Schlichtmann:
On hierarchical statistical static timing analysis.
DATE 2009: 1320-1325 |
| 64 | EE | Linsheng Huo,
Hong-Nan Li,
Bing Li:
Seismic Responses Prediction of Nonlinear Building Structures Based on Multi-Branch BP Neural Network.
ISNN (1) 2009: 919-928 |
| 63 | | Tao Peng,
Bing Li,
Weifeng Pan,
Zaiwen Feng:
Requirements Discovery Based on RGPS Using Evolutionary Algorithm.
SEKE 2009: 286-290 |
| 2008 |
|---|
| 62 | EE | Lifen Yuan,
Yigang He,
ZhouGuo Hou,
Bing Li:
A New Method of Signal Processing in RFID System.
CSSE (5) 2008: 1040-1043 |
| 61 | EE | Bing Li,
Tao Zeng,
Xiying Chen,
Xiu Li:
Research on Dynamic Time Evaluation of Service Procedure and Task Scheduling.
CSSE (5) 2008: 421-425 |
| 60 | EE | XueFeng Chen,
Bing Li,
Hongrui Cao,
Zhengjia He:
The Condition Monitoring and Performance Evaluating of Digital Manufacturing Process.
ICIRA (2) 2008: 593-603 |
| 59 | EE | Tong Zhu,
Tsutomu Nozaki,
Yuanhua Xie,
Jin Han,
Jing Jiang,
Bing Li:
Dynamic Model and Numerical Simulation of Particle Motion in Rotation Flow Field of Centrifuge.
ISICA 2008: 470-478 |
| 58 | EE | Bing Li,
Christoph Knoth,
Walter Schneider,
Manuel Schmidt,
Ulf Schlichtmann:
Static Timing Model Extraction for Combinational Circuits.
PATMOS 2008: 156-166 |
| 57 | EE | Walter Schneider,
Manuel Schmidt,
Bing Li,
Ulf Schlichtmann:
A New Bounding Technique for Handling Arbitrary Correlations in Path-Based SSTA.
PATMOS 2008: 167-177 |
| 56 | EE | Jing Liu,
Jinhu Lu,
Keqing He,
Bing Li,
Chi Kong Tse:
Characterizing the Structural Quality of General Complex Software Networks.
I. J. Bifurcation and Chaos 18(2): 605-613 (2008) |
| 55 | EE | Bing Li,
Scott T. Acton:
Automatic Active Model Initialization via Poisson Inverse Gradient.
IEEE Transactions on Image Processing 17(8): 1406-1420 (2008) |
| 54 | EE | Bing Li,
De Xu,
Jin-Hua Wang,
Rui Lu:
Color Constancy Based on Image Similarity.
IEICE Transactions 91-D(2): 375-378 (2008) |
| 53 | EE | Rui Lu,
De Xu,
Xinbin Yang,
Bing Li:
Color Constancy Based on Effective Regions.
IEICE Transactions 91-D(7): 2091-2094 (2008) |
| 52 | EE | Songhe Feng,
De Xu,
Bing Li:
Combining Attention Model with Hierarchical Graph Representation for Region-Based Image Retrieval.
IEICE Transactions 91-D(8): 2203-2206 (2008) |
| 2007 |
|---|
| 51 | EE | Bing Li,
Junichi Iijima:
A Hybrid Approach for Business Process Verification.
CONFENIS (1) 2007: 1-9 |
| 50 | EE | Jian Wang,
Keqing He,
Bing Li,
Wei Liu,
Rong Peng:
Meta-models of Domain Modeling Framework for Networked Software.
GCC 2007: 878-886 |
| 49 | EE | Bing Li,
Abhay V. Patil,
John A. Hossack,
Scott T. Acton:
3D Segmentation of the Prostate via Poisson Inverse Gradient Initialization.
ICIP (5) 2007: 25-28 |
| 48 | EE | Bing Li,
De Xu,
Songhe Feng,
Fangshi Wang:
Visual Perception Theory Guided Depth Motion Estimation.
MMM (1) 2007: 198-206 |
| 47 | | Bing Li,
Junichi Iijima:
Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification.
MSVVEIS 2007: 151-156 |
| 46 | EE | Bing Li,
Shuo Pan:
Service Process Improvement Based on Exceptional Pattern Analysis.
NPC 2007: 486-494 |
| 45 | EE | Keqing He,
Liang Peng,
Rong Peng,
Bing Li,
Jing Liu:
Requirement emergence computation of networked software.
Frontiers of Computer Science in China 1(3): 322-328 (2007) |
| 44 | EE | Bing Li,
Scott T. Acton:
Active Contour External Force Using Vector Field Convolution for Image Segmentation.
IEEE Transactions on Image Processing 16(8): 2096-2106 (2007) |
| 43 | EE | Bing Li,
De Xu,
Moon Ho Lee,
Songhe Feng:
A Multi-Scale Adaptive Grey World Algorithm.
IEICE Transactions 90-D(7): 1121-1124 (2007) |
| 2006 |
|---|
| 42 | EE | Bing Li,
Scott T. Acton:
Vector Field Convolution for Image Segmentation using Snakes.
ICIP 2006: 1637-1640 |
| 41 | EE | Bing Li,
De Xu,
Songhe Feng,
Aimin Wu,
Xu Yang:
Perceptual Depth Estimation from a Single 2D Image Based on Visual Perception Theory.
PCM 2006: 88-95 |
| 40 | EE | Bing Li,
Fabio Somenzi:
Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking.
TACAS 2006: 227-241 |
| 39 | EE | Chao Wang,
Bing Li,
HoonSang Jin,
Gary D. Hachtel,
Fabio Somenzi:
Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement.
IEEE Trans. on CAD of Integrated Circuits and Systems 25(11): 2297-2316 (2006) |
| 2005 |
|---|
| 38 | EE | Yu Zhao,
Bing Li,
Xiu Li,
Wenhuang Liu,
Shouju Ren:
Customer Churn Prediction Using Improved One-Class Support Vector Machine.
ADMA 2005: 300-306 |
| 37 | EE | Qingguo Lan,
Shufen Liu,
Bing Li,
Lu Han:
Study on Unified Metamodeling Framework Based on Down-Up Mechanism.
CSCWD (Selected papers) 2005: 596-605 |
| 36 | EE | Bing Li,
Fei He,
Wudong Liu,
Keqing He,
Jin Liu:
Research on Semantic-Based Web Services Registry Federation.
GCC 2005: 202-207 |
| 35 | EE | Liang Peng,
Keqing He,
Bing Li,
Jin Liu:
The Interoperability between Different e-Business Specifications.
ITCC (1) 2005: 409-413 |
| 34 | EE | Jin Liu,
Keqing He,
Bing Li,
Chengwan He,
Liang Peng:
A Transformation Definition Metamodel for Model Transformation.
ITCC (2) 2005: 373-378 |
| 33 | EE | JingHui Xiao,
Bingquan Liu,
Xiaolong Wang,
Bing Li:
A Similarity-Based Approach to Data Sparseness Problem of Chinese Language Modeling.
MICAI 2005: 761-769 |
| 32 | EE | Jin Liu,
Keqing He,
Bing Li,
Fei He:
A Perspective of Fusing Ontology and Metamodeling Architecture in Interconnection Environment.
SKG 2005: 6 |
| 31 | EE | Bing Li,
Wei-Tek Tsai:
Ontology and Service Oriented Programming.
Int. J. Web Service Res. 2(3): 33-68 (2005) |
| 30 | EE | Bing Li,
Chao Wang,
Fabio Somenzi:
Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure.
STTT 7(2): 143-155 (2005) |
| 2004 |
|---|
| 29 | EE | Liang Peng,
Keqing He,
Bing Li,
Jin Liu:
Interoperability Test of ebXML e-Business Solutions.
CIT 2004: 1004-1007 |
| 28 | EE | Jin Liu,
Keqing He,
Bing Li,
Hao Chen,
Liang Peng:
A Methodology for Acquisition of Software Component Attribute Ontology.
CIT 2004: 1058-1064 |
| 27 | EE | Bing Li,
Keqing He,
Jin Liu,
Qiang Wang,
Liang Peng,
Rong Peng:
Building Interoperable Software Components Repository Based on MMF.
GCC Workshops 2004: 67-74 |
| 26 | EE | Yuan Miao,
Bing Li,
R. Gay:
An agent based application service providing model.
ICARCV 2004: 120-125 |
| 25 | EE | Bing Li,
Fabio Somenzi:
Efficient computation of small abstraction refinements.
ICCAD 2004: 518-525 |
| 24 | EE | He Zhang,
Xiu Li,
Wenhuang Liu,
Bing Li,
Zhihong Zhang:
An application of the AHP in 3PL vendor selection of a 4PL system.
SMC (2) 2004: 1255-1260 |
| 23 | EE | Jianyong Tuo,
Shouju Ren,
Wenhuang Liu,
Xiu Li,
Bing Li,
Lei Lin:
Artificial immune system for fraud detection.
SMC (2) 2004: 1407-1411 |
| 22 | EE | Xiu Li,
Weiyun Ying,
Jianyong Tuo,
Bing Li,
Wenhuang Liu:
Applications of classification trees to consumer credit scoring methods in commercial banks.
SMC (5) 2004: 4112-4117 |
| 21 | EE | Bing Li,
Hongyuan Zha,
F. Chiaromonte:
Linear Contour Learning: A Method for Supervised Dimension Reduction.
UAI 2004: 346-356 |
| 20 | | Bing Li,
Wei-Tek Tsai,
Liang-Jie Zhang:
Building e-commerce systems using semantic application framework.
Int. J. Web Eng. Technol. 1(3): 297-319 (2004) |
| 19 | EE | Liang-Jie Zhang,
Bing Li:
Requirements Driven Dynamic Services Composition for Web Services and Grid Solutions.
J. Grid Comput. 2(2): 121-140 (2004) |
| 2003 |
|---|
| 18 | EE | Ruixuan Li,
Zhengding Lu,
Weijun Xiao,
Bing Li,
Wei Wu:
Schema Mapping for Interoperability in XML-Based Multidatabase Systems.
DEXA Workshops 2003: 235-240 |
| 17 | EE | Chao Wang,
Bing Li,
HoonSang Jin,
Gary D. Hachtel,
Fabio Somenzi:
Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement.
ICCAD 2003: 408-415 |
| 16 | | Bing Li,
Wei-Tek Tsai,
Liang-Jie Zhang:
A Semantic Framework for Distributed Applications.
ICEIS (4) 2003: 34-41 |
| 15 | | XueFeng Chen,
Bing Li,
Shengjun Yang,
Zhengjia He:
Transient Thermal Analysis of Duplicating Paper Using Wavelet on the Interval Elements.
WAA 2003: 454-459 |
| 14 | EE | Bing Li,
Chao Wang,
Fabio Somenzi:
A satisfiability-based approach to abstraction refinement in model checking.
Electr. Notes Theor. Comput. Sci. 89(4): (2003) |
| 2002 |
|---|
| 13 | | Bing Li,
Wei-Tek Tsai:
3 Tier Transparent Web Application Developing Approach.
International Conference on Internet Computing 2002: 519-528 |
| 2001 |
|---|
| 12 | | Bing Li,
Zhengding Lu,
Weijun Xiao,
Ruixuan Li,
Zhang Wei,
Mudar Sarem:
An Architecture for Multidatabase Systems Based on CORBA and XML.
DEXA Workshop 2001: 32-37 |
| 11 | EE | Xiaoying Bai,
Wei-Tek Tsai,
Techeng Shen,
Bing Li,
Raymond A. Paul:
Distributed End-to-End Testing Management.
EDOC 2001: 140-151 |
| 10 | EE | Raymond A. Paul,
Wei-Tek Tsai,
Bing Li,
Xiaoying Bai:
XML-based E2E Test Report Management.
ER 2001: 607-608 |
| 2000 |
|---|
| 9 | | Bing Li,
Wei-Sun Jiang:
A novel stochastic optimization algorithm.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 30(1): 193-198 (2000) |
| 8 | | 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.
Nucleic Acids Research 28(1): 173-174 (2000) |
| 1999 |
|---|
| 7 | EE | Utpal Roy,
Bing Li:
Representation and interpretation of geometric tolerances for polyhedral objects. II.: Size, orientation and position tolerances.
Computer-Aided Design 31(4): 273-285 (1999) |
| 6 | | 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).
Nucleic Acids Research 27(1): 171-173 (1999) |
| 1998 |
|---|
| 5 | EE | Utpal Roy,
Bing Li:
Representation and interpretation of geometric tolerances for polyhedral objects - I. Form tolerances.
Computer-Aided Design 30(2): 151-161 (1998) |
| 4 | EE | Bing Li,
Wei-Sun Jiang:
Optimizing Complex Functions by Chaos Search.
Cybernetics and Systems 29(4): 409-419 (1998) |
| 3 | EE | Jeffrey J. P. Tsai,
Bing Li,
Thomas J. Weigert:
A Logic-Based Transformation System.
IEEE Trans. Knowl. Data Eng. 10(1): 91-107 (1998) |
| 1997 |
|---|
| 2 | | Jeffrey J. P. Tsai,
Bing Li,
Eric Y. T. Juan:
Parallel Evaluation of Software Architecture Specifications.
Commun. ACM 40(1): 83-86 (1997) |
| 1996 |
|---|
| 1 | EE | Jeffrey J. P. Tsai,
Bing Li,
Eric Y. T. Juan:
Transaction integration for reusable hard real-time components.
HASE 1996: 166-175 |
