×

Journal of Computer Science and Technology

Short Title: J. Comput. Sci. Technol.
Publisher: Springer, Dordrecht; Science Press, Beijing
ISSN: 1000-9000; 1860-4749/e
Online: http://link.springer.com/journal/volumesAndIssues/11390
Comments: No longer indexed
Documents Indexed: 688 Publications (1986–2014)
References Indexed: 674 Publications with 11,039 References.
all top 5

Latest Issues

29, No. 1 (2014)
28, No. 6 (2013)
28, No. 5 (2013)
28, No. 4 (2013)
28, No. 3 (2013)
28, No. 2 (2013)
28, No. 1 (2013)
27, No. 6 (2012)
27, No. 5 (2012)
27, No. 4 (2012)
27, No. 3 (2012)
27, No. 2 (2012)
27, No. 1 (2012)
26, No. 6 (2011)
26, No. 5 (2011)
26, No. 4 (2011)
26, No. 3 (2011)
26, No. 2 (2011)
26, No. 1 (2011)
21, No. 4 (2006)
21, No. 3 (2006)
21, No. 2 (2006)
21, No. 1 (2006)
20, No. 1 (2005)
18, No. 6 (2003)
18, No. 5 (2003)
18, No. 4 (2003)
18, No. 3 (2003)
18, No. 2 (2003)
18, No. 1 (2003)
17, No. 6 (2002)
17, No. 5 (2002)
17, No. 4 (2002)
17, No. 3 (2002)
17, No. 2 (2002)
17, No. 1 (2002)
16, No. 6 (2001)
16, No. 5 (2001)
16, No. 4 (2001)
16, No. 3 (2001)
16, No. 2 (2001)
16, No. 1 (2001)
15, No. 6 (2000)
15, No. 5 (2000)
15, No. 4 (2000)
15, No. 3 (2000)
15, No. 2 (2000)
15, No. 1 (2000)
14, No. 6 (1999)
14, No. 5 (1999)
14, No. 4 (1999)
14, No. 3 (1999)
14, No. 2 (1999)
13, No. 6 (1998)
13, No. 5 (1998)
13, No. 4 (1998)
13, No. 3 (1998)
13, No. 2 (1998)
13, No. 1 (1998)
13, Suppl. (1998)
12, No. 6 (1997)
12, No. 5 (1997)
12, No. 4 (1997)
12, No. 3 (1997)
12, No. 1 (1997)
11, No. 4 (1996)
10, No. 5 (1995)
10, No. 4 (1995)
10, No. 3 (1995)
9, No. 3 (1994)
9, No. 2 (1994)
9, No. 1 (1994)
8, No. 4 (1993)
8, No. 3 (1993)
8, No. 1 (1993)
7, No. 4 (1992)
7, No. 1 (1992)
6, No. 3 (1991)
6, No. 2 (1991)
6, No. 1 (1991)
5, No. 3 (1990)
5, No. 2 (1990)
5, No. 1 (1990)
4, No. 2 (1989)
4, No. 1 (1989)
2, No. 1 (1987)
1, No. 2 (1986)
1, No. 1 (1986)

Publications by Year

Citations contained in zbMATH Open

187 Publications have been cited 390 times in 464 Documents Cited by Year
Reduction algorithms based on discernibility matrix: The ordered attributes method. Zbl 1014.68160
Wang, Jue; Wang, Ju
24
2001
Hierarchical structures on multigranulation spaces. Zbl 1280.68259
Yang, Xi-Bei; Qian, Yu-Hua; Yang, Jing-Yu
17
2012
The haplotyping problem: an overview of computational models and solutions. Zbl 1083.68579
Bonizzoni, Paola; Della Vedova, Gianluca; Dondi, Riccardo; Li, Jing
11
2003
Semi-online scheduling with machine cost. Zbl 1070.90518
He, Yong; Cai, Shengyi
10
2002
Analysis on attribute reduction strategies of rough set. Zbl 0902.68049
Wang, Jue; Miao, Duoqian
10
1998
A geometric approach for multi-degree spline. Zbl 1280.65014
Li, Xin; Huang, Zhang-Jin; Liu, Zhao
9
2012
QoS guided min-min heuristic for grid task scheduling. Zbl 1031.68034
He, XiaoShan; Sun, XianHe; von Laszewski, Gregor
9
2003
Two varieties of finite automaton public key cryptosystem and digital signatures. Zbl 0614.94005
Tao, Renji; Chen, Shihua
8
1986
The twisted-cube connected networks. Zbl 0917.68014
Wang, Deqiang; Zhao, Lianchang
7
1999
Recent advances in automated theorem proving on inequalities. Zbl 0944.68169
Yang, Lu
6
1999
A type of triangular ball surface and its properties. Zbl 0893.68158
Hu, Shimin; Wang, Guojin; Sun, Jiaguang
6
1998
Impossible differential attacks on 13-round CLEFIA-128. Zbl 1280.94082
Mala, Hamid; Dakhilalian, Mohammad; Shakiba, Mohsen
6
2011
Parameterized computation and complexity: a new approach dealing with NP-hardness. Zbl 1258.68065
Chen, Jian-Er
6
2005
An \(O(k^ 2 n^ 2)\) algorithm to find a \(k\)-partition in a \(k\)- connected graph. Zbl 0804.68104
Ma, Jun; Ma, Shaohan
5
1994
An algorithm based on tabu search for satisfiability problem. Zbl 1005.68049
Huang, Wenqi; Zhang, Defu; Wang, Houxiang
4
2002
A reduction algorithm meeting users’ requirements. Zbl 1057.68026
Zhao, Kai; Wang, Jue
4
2002
Evolutionary optimization: pitfalls and booby traps. Zbl 1279.68281
Weise, Thomas; Chiong, Raymond; Tang, Ke
4
2012
Theoretical treatment of target coverage in wireless sensor networks. Zbl 1280.68053
Gu, Yu; Zhao, Bao-Hua; Ji, Yu-Sheng; Li, Jie
4
2011
Nonrepudiable proxy multi-signature scheme. Zbl 1046.68050
Li, JiGuo; Cao, ZhenFu; Zhang, YiChen
4
2003
On the structure of finite automata of which M’ is a (weak) inverse with delay \(\tau\). Zbl 0605.68043
Chen, Shihua
3
1986
Kernel projection algorithm for large-scale SVM problems. Zbl 1057.68096
Wang, Jiaqi; Tao, Qing; Wang, Jue
3
2002
Checking temporal duration properties of timed automata. Zbl 1056.68096
Li, Yong; Dang Van Hung
3
2002
Input-trees of finite automata and application to cryptanalysis. Zbl 0976.94024
Tao, Renji; Chen, Shihua
3
2000
Investigation on AQ11, ID3 and the principle of discernibility matrix. Zbl 0974.68175
Wang, Jue; Cui, Jia; Zhao, Kai
3
2001
New algorithms for the perspective-three-point problem. Zbl 0983.65020
Gao, Xiaoshan; Chen, Hangfei
3
2001
AHBP: An efficient broadcast protocol for mobile ad hoc networks. Zbl 0986.68882
Peng, Wei; Lu, Xicheng
3
2001
Reaction graph. Zbl 0910.68073
Fu, Yuxi
3
1998
Statistical heuristic search. Zbl 0641.68088
Zhang, Bo; Zhang, Ling
3
1987
A new method for generating conic sections. Zbl 0673.68032
Wang, Wenping; Wang, Jiaye
3
1989
A logical framework for knowledge base maintenance. Zbl 0837.68114
Li, Wei
3
1995
The infinite evolution mechanism of \(\epsilon\)-bisimilarity. Zbl 1296.68029
Ma, Yan-Fang; Zhang, Min
3
2013
On the structure of binary feedforward inverses with delay 2. Zbl 0688.68052
Zhu, Xinjie
3
1989
Symmetric \(\pi\)-calculus. Zbl 0899.68022
Fu, Yuxi
3
1998
Scheduling multi-mode projects under uncertainty to optimize cash flows: a Monte Carlo ant colony system approach. Zbl 1279.68301
Chen, Wei-Neng; Zhang, Jun
3
2012
A quadratic lower bound for three-query linear locally decodable codes over any field. Zbl 1280.94123
Woodruff, David P.
3
2012
The comparison between the statistical heuristic search and \(A^*\). Zbl 0719.62093
Bo, Zhang; Ling, Zhang
3
1989
The complexity of the 0/1 multi-knapsack problem. Zbl 0593.68036
Zhang, Liang; Geng, Suyun
2
1986
Isomorphic transformations of uncertainties for incorporating EMYCIN-style and PROSPECTOR-style systems into a distributed expert system. Zbl 0937.68124
Zhang, Chengqi; Luo, Xudong
2
1999
Solving SAT by algorithm transform of Wu’s method. Zbl 0944.68196
He, Simin; Zhang, Bo
2
1999
Constructing finite automata with invertibility by transformation method. Zbl 1044.94535
Tao, Renji; Chen, Shihua
2
2000
Comparison of different implementations of MFCC. Zbl 1032.68728
Zheng, Fang; Zhang, Guoliang; Song, Zhanjiang
2
2001
Some contributions to nonmonotonic consequence. Zbl 1003.68160
Zhu, Zhaohui; Zhang, Dongmo; Chen, Shifu; Zhu, Wujia
2
2001
Testing congruence for mobile processes. Zbl 1004.68118
Fu, Yuxi
2
2002
An algebraic hardware/software partitioning algorithm. Zbl 1005.68182
Qin, Shengchao; He, Jifeng; Qiu, Zongyan; Zhang, Naixiao
2
2002
Structure of weakly invertible semi-input-memory finite automata with delay 1. Zbl 1012.68104
Tao, Renji; Chen, Shihua
2
2002
Blending parametric patches with subdivision surfaces. Zbl 1057.68122
Li, Guiqing; Li, Hua
2
2002
Squeezer: An efficient algorithm for clustering categorical data. Zbl 1057.68018
He, Zengyou; Xu, Xiaofei; Deng, Shengchun
2
2002
Automatic mesh generation on a regular background grid. Zbl 1048.65122
Lo, S. H.; Liu, Jianfei
2
2002
Semantic computation in a Chinese question-answering system. Zbl 1095.68708
Li, Sujian; Zhang, Jian; Huang, Xiong; Bai, Shuo; Liu, Qun
2
2002
Minimizing ADMs on WDM directed fiber trees. Zbl 1083.68516
Zhou, FengFeng; Chen, GuoLiang; Xu, YinLong; Gu, Jun
2
2003
An efficient optimization procedure for tetrahedral meshes by chaos search algorithm. Zbl 1083.65517
Sun, ShuLi; Liu, JianFei
2
2003
Performance prediction of the Hough transform. Zbl 0865.68127
Hu, Zhanyi; Ma, Songde
2
1997
Asynchronous superimposition mechanisms of concurrent competitive waves for hyper-distributed hyper-parallel heuristic problem solving. Zbl 0881.68111
Shuai, Dianxun
2
1997
Magic sets revisited. Zbl 0881.68044
Chen, Yangjun
2
1997
Constructive sets in computable sets. Zbl 0883.03043
Fu, Yuxi
2
1997
Concurrent competitive wave approach to hyper-distributed hyper-parallel AI processing. Zbl 0885.68129
Shuai, Dianxun
2
1997
Optimum tactics of parallel multi-grid algorithm with virtual boundary forecast method running on a local network with the PVM platform. Zbl 0960.65105
Guo, Qingping; Paker, Yakup; Zhang, Shesheng; Parkinson, Dennis; Wei, Jianing
2
2000
Average-case analysis of algorithms using Kolmogorov complexity. Zbl 0961.68065
Jiang, Tao; Li, Ming; Vitányi, Paul M. B.
2
2000
A new mesh simplification algorithm based on triangle collapses. Zbl 0974.68242
Pan, Zhigeng; Zhou, Kun; Shi, Jiaoying
2
2001
Approaches for scaling DBSCAN algorithm to large spatial databases. Zbl 0970.68583
Zhou, Aoying; Zhou, Shuigeng; Cao, Jing; Fan, Ye; Hu, Junfa
2
2000
Formal derivation of graph algorithmic programs using partition-and-recur. Zbl 0910.68090
Xue, Jinyun
2
1998
Decidability of mean value calculus. Zbl 0919.03009
Li, Xiaoshan
2
1999
Envy-free pricing with general supply constraints for unit demand consumers. Zbl 1281.91111
Im, Sungjin; Lu, Pin-Yan; Wang, Ya-Jun
2
2012
Worst-case Nash equilibria in restricted routing. Zbl 1280.68056
Lu, Pin-Yan; Yu, Chang-Yuan
2
2012
Pseudo-randomness of certain sequences of \(k\) symbols with length \(pq\). Zbl 1280.11042
Chen, Zhi-Xiong; Du, Xiao-Ni; Wu, Chen-Huang
2
2011
Formal reasoning about finite-state discrete-time Markov chains in HOL. Zbl 1280.68124
Liu, Liya; Hasan, Osman; Tahar, Sofiène
2
2013
Fixed-parameter tractability of disjunction-free default reasoning. Zbl 1025.68093
Zhao, XiShun; Ding, DeCheng
2
2003
A new dynamical evolutionary algorithm based on statistical mechanics. Zbl 1046.68092
Li, YuanXiang; Zou, XiuFen; Kang, LiShan; Michalewicz, Zbigniew
2
2003
Recent advances in evolutionary computation. Zbl 1190.68051
Yao, Xin; Xu, Yong
2
2006
An improved algorithm for finding the closest pair of points. Zbl 1190.68070
Ge, Qi; Wang, Haitao; Zhu, Hong
2
2006
DMODULA: A distributed programming language. Zbl 0597.68029
Sun, Zhongxiu; Shang, Lujun
1
1986
A recovery technique for distributed communicating process systems. Zbl 0597.68030
Zhou, Di
1
1986
Logical object as a basis of knowledge based systems. Zbl 0845.68100
Xu, Dianxiang; Zheng, Guoliang
1
1995
Approximation for knapsack problems with multiple constraints. Zbl 0937.68152
Zhang, Li’ang; Zhang, Yin
1
1999
On \(k\)-positive satisfiability problem. Zbl 1084.68889
Huang, Xiong; Li, Wei
1
1999
An incremental approach to automatic algorithm design. Zbl 0979.68566
Luan, Shangmin; Li, Wei
1
1999
Relative properties of frame language. Zbl 0945.68056
Fu, Yuxi
1
1999
Topology in process calculus. I: Limit behaviour of agents. Zbl 0937.68048
Ying, Mingsheng
1
1999
Asynchronous heterogeneous mechanism for hyper-distributed hyper-parallel AI processing. Zbl 0937.68117
Shuai, Dianxun
1
1999
Automated generation of Kempe linkage and its complexity. Zbl 0954.70006
Gao, Xiaoshan; Zhu, Changcai
1
1999
Computing bisimulations for finite-control \(\pi\)-calculus. Zbl 0954.68040
Lin, Huimin
1
2000
Timing-sequence testing of parallel programs. Zbl 0954.68046
Liang, Yu; Li, Shu; Zhang, Hui; Han, Chengde
1
2000
The faster higher-order cellular automaton for hyper-parallel undistorted data compression. Zbl 0953.68098
Gu, Jing; Shuai, Dianxun
1
2000
A new parallel-by-cell approach to undistorted data compression based on cellular automaton and genetic algorithm. Zbl 0952.68093
Gu, Jing; Shuai, Dianxun
1
1999
Studies on algorithms for self-stabilizing communication protocols. Zbl 0951.68501
Li, Layuan; Li, Chunlin
1
1999
oodOPT: A semantics-based concurrency control framework for fully-replicated architecture. Zbl 1013.68116
Yang, Guangxin; Shi, Meilin
1
2001
CIM algorithm for approximating three-dimensional polygonal curves. Zbl 1013.68272
Yong, Junhai; Hu, Shimin; Sun, Jiaguang
1
2001
A new color constancy model for machine vision. Zbl 1014.68196
Tao, Linmi; Xu, Guangyou
1
2001
Constraints on extensions of a default theory. Zbl 0989.03030
Su, Kaile
1
2001
A fault-tolerant routing scheme in dynamic networks. Zbl 1010.68006
Feng, Xiushan; Han, Chengde
1
2001
Notes on liveness and boundedness of extended strong asymmetric choice nets. II. Zbl 1010.68097
Jiao, Li; Lu, Weiming
1
2001
Comparative study of two flow control mechanisms in high speed networks. Zbl 1004.68577
Zhang, Xiaolin; Du, Haining; Zhang, Sabing; Fei, Xiang; Wu, Jieyi
1
2001
Requirements specifications checking of embedded real time software. Zbl 1004.68034
Wu, Guoqing; Shu, Fengdi; Wang, Min; Chen, Weiqing
1
2002
Sequential combination methods for data clustering analysis. Zbl 1021.68081
Qian, Yuntao; Suen, Ching Y.; Tang, Yuanyan
1
2002
Digital image watermarking based on discrete wavelet transform. Zbl 1021.68103
Ding, Wei; Yan, Weiqi; Qi, Dongxu
1
2002
Practical fast computation of Zernike moments. Zbl 1004.68190
Al-Rawi, Mohammed; Yang, Jie
1
2002
From active to passive – progress in testing internet routing protocols. Zbl 1005.68013
Zhao, Yixin; Wu, Jianping; Yin, Xia
1
2002
Extracting and sharing knowledge from medical texts. Zbl 1005.68840
Cao, Cungen
1
2002
Study of general incomplete star interconnection networks. Zbl 1005.68011
Shi, Yuntao; Hou, Zifeng; Song, Jianping
1
2002
Data extraction from the web based on pre-defined schema. Zbl 1057.68007
Meng, Xiaofeng; Lu, Hongjun; Wang, Haiyan; Gu, Mingzhe
1
2002
The infinite evolution mechanism of \(\epsilon\)-bisimilarity. Zbl 1296.68029
Ma, Yan-Fang; Zhang, Min
3
2013
Formal reasoning about finite-state discrete-time Markov chains in HOL. Zbl 1280.68124
Liu, Liya; Hasan, Osman; Tahar, Sofiène
2
2013
Dominant skyline query processing over multiple time series. Zbl 1296.90112
Wang, Hao; Wang, Chao-Kun; Xu, Ya-Jun; Ning, Yuan-Chi
1
2013
A generic framework for anonymous authentication in mobile networks. Zbl 1296.94159
Xu, Jing; Zhu, Wen-Tao
1
2013
Collision attack on the full extended MD4 and pseudo-preimage attack on RIPEMD. Zbl 1280.94098
Wang, Gao-Li
1
2013
On 2-site Voronoi diagrams under geometric distance functions. Zbl 1280.68276
Barequet, Gill; Dickerson, Matthew; Eppstein, David; Hodorkovsky, David; Vyatkina, Kira
1
2013
On the toggling-branching recurrence of computability logic. Zbl 1280.03038
Qu, Mei-Xia; Luan, Jun-Feng; Zhu, Da-Ming; Du, Meng
1
2013
An algorithm for connected-component labeling, hole labeling and Euler number computing. Zbl 1280.68287
He, Li-Feng; Chao, Yu-Yan; Suzuki, Kenji
1
2013
Hierarchical structures on multigranulation spaces. Zbl 1280.68259
Yang, Xi-Bei; Qian, Yu-Hua; Yang, Jing-Yu
17
2012
A geometric approach for multi-degree spline. Zbl 1280.65014
Li, Xin; Huang, Zhang-Jin; Liu, Zhao
9
2012
Evolutionary optimization: pitfalls and booby traps. Zbl 1279.68281
Weise, Thomas; Chiong, Raymond; Tang, Ke
4
2012
Scheduling multi-mode projects under uncertainty to optimize cash flows: a Monte Carlo ant colony system approach. Zbl 1279.68301
Chen, Wei-Neng; Zhang, Jun
3
2012
A quadratic lower bound for three-query linear locally decodable codes over any field. Zbl 1280.94123
Woodruff, David P.
3
2012
Envy-free pricing with general supply constraints for unit demand consumers. Zbl 1281.91111
Im, Sungjin; Lu, Pin-Yan; Wang, Ya-Jun
2
2012
Worst-case Nash equilibria in restricted routing. Zbl 1280.68056
Lu, Pin-Yan; Yu, Chang-Yuan
2
2012
Differential evolution with adaptive mutation and parameter control using Lévy probability distribution. Zbl 1279.68304
He, Ren-Jie; Yang, Zhen-Yu
1
2012
Compact differential evolution light: high performance despite limited memory requirement and modest computational overhead. Zbl 1279.68031
Iacca, Giovanni; Caraffini, Fabio; Neri, Ferrante
1
2012
Optimal checkpoint placement on real-time tasks with harmonic periods. Zbl 1280.68068
Kwak, Seong Woo; Yang, Jung-Min
1
2012
Convex decomposition based cluster labeling method for support vector clustering. Zbl 1280.68191
Ping, Yuan; Tian, Ying-Jie; Zhou, Ya-Jian; Yang, Yi-Xian
1
2012
Community detection in dynamic social networks based on multiobjective immune algorithm. Zbl 1280.68064
Gong, Mao-Guo; Zhang, Ling-Jun; Ma, Jing-Jing; Jiao, Li-Cheng
1
2012
On isomorphism testing of groups with normal Hall subgroups. Zbl 1280.68111
Qiao, You-Ming; Sarma M. N., Jayalal; Tang, Bang-Sheng
1
2012
An optimized divide-and-conquer algorithm for the closest-pair problem in the planar case. Zbl 1280.68282
Pereira, José C.; Lobo, Fernando G.
1
2012
Synthesizing distributed protocol specifications from a UML state machine modeled service specification. Zbl 1280.68067
Dallal, Jehad Al; Saleh, Kassem A.
1
2012
Impossible differential attacks on 13-round CLEFIA-128. Zbl 1280.94082
Mala, Hamid; Dakhilalian, Mohammad; Shakiba, Mohsen
6
2011
Theoretical treatment of target coverage in wireless sensor networks. Zbl 1280.68053
Gu, Yu; Zhao, Bao-Hua; Ji, Yu-Sheng; Li, Jie
4
2011
Pseudo-randomness of certain sequences of \(k\) symbols with length \(pq\). Zbl 1280.11042
Chen, Zhi-Xiong; Du, Xiao-Ni; Wu, Chen-Huang
2
2011
Security of the SMS4 block cipher against differential cryptanalysis. Zbl 1280.94095
Su, Bo-Zhan; Wu, Wen-Ling; Zhang, Wen-Tao
1
2011
NuMDG: a new tool for multiway decision graphs construction. Zbl 1280.68121
Abed, Sa’ed; Mokhtari, Yassine; Ait-Mohamed, Otmane; Tahar, Sofiène
1
2011
Construction of 1-resilient Boolean functions with optimal algebraic immunity and good nonlinearity. Zbl 1280.94088
Pan, Sen-Shan; Fu, Xiao-Tong; Zhang, Wei-Guo
1
2011
Provably secure role-based encryption with revocation mechanism. Zbl 1280.94101
Zhu, Yan; Hu, Hong-Xin; Ahn, Gail-Joon; Wang, Huai-Xi; Wang, Shan-Biao
1
2011
Detecting communities in \(K\)-partite \(K\)-uniform (hyper)networks. Zbl 1280.68055
Liu, Xin; Murata, Tsuyoshi
1
2011
Managing software requirements changes based on negotiation-style revision. Zbl 1280.68079
Mu, Ke-Dian; Liu, Weiru; Jin, Zhi; Hong, Jun; Bell, David
1
2011
Recent advances in evolutionary computation. Zbl 1190.68051
Yao, Xin; Xu, Yong
2
2006
An improved algorithm for finding the closest pair of points. Zbl 1190.68070
Ge, Qi; Wang, Haitao; Zhu, Hong
2
2006
Quaternion diffusion for color image filtering. Zbl 1190.68076
Liu, Zhongxuan; Lian, Shiguo; Ren, Zhen
1
2006
Constraint-based fuzzy models for an environment with heterogeneous information-granules. Zbl 1190.68056
Lai, K. Robert; Chiang, Yi-Yuan
1
2006
Parameterized computation and complexity: a new approach dealing with NP-hardness. Zbl 1258.68065
Chen, Jian-Er
6
2005
The haplotyping problem: an overview of computational models and solutions. Zbl 1083.68579
Bonizzoni, Paola; Della Vedova, Gianluca; Dondi, Riccardo; Li, Jing
11
2003
QoS guided min-min heuristic for grid task scheduling. Zbl 1031.68034
He, XiaoShan; Sun, XianHe; von Laszewski, Gregor
9
2003
Nonrepudiable proxy multi-signature scheme. Zbl 1046.68050
Li, JiGuo; Cao, ZhenFu; Zhang, YiChen
4
2003
Minimizing ADMs on WDM directed fiber trees. Zbl 1083.68516
Zhou, FengFeng; Chen, GuoLiang; Xu, YinLong; Gu, Jun
2
2003
An efficient optimization procedure for tetrahedral meshes by chaos search algorithm. Zbl 1083.65517
Sun, ShuLi; Liu, JianFei
2
2003
Fixed-parameter tractability of disjunction-free default reasoning. Zbl 1025.68093
Zhao, XiShun; Ding, DeCheng
2
2003
A new dynamical evolutionary algorithm based on statistical mechanics. Zbl 1046.68092
Li, YuanXiang; Zou, XiuFen; Kang, LiShan; Michalewicz, Zbigniew
2
2003
\(\mathcal I\)-SATCHMORE: An improvement of \(\mathcal A\)-SATCHMORE. Zbl 1089.68625
He, LiFeng; Chao, Yuyan; Nakamura, Tsuyoshi; Itoh, Hidenori
1
2003
A cost effective fault-tolerant scheme for RAIDs. Zbl 1091.68514
Fang, Liang; Lu, XiCheng
1
2003
Space-time coding and signal processing for MIMO communications. Zbl 1058.94501
Berenguer, Inaki; Wang, Xiaodong
1
2003
Combining static analysis and case-based search space partitioning for reducing peak memory in model checking. Zbl 1083.68519
Zhang, WenHui
1
2003
Semantic language and multi-language MT approach based on SL. Zbl 1083.68619
Gao, QingShi; Hu, Yue; Li, Li; Gao, XiaoYu
1
2003
Automatic target detection by optimal morphological filters. Zbl 1023.68115
Yu, Nong; Wu, Hao; Wu, ChangYong; Li, YuShu
1
2003
A programmable approach to maintenance of a finite knowledge base. Zbl 1025.68033
Luan, ShangMin; Dai, GuoZhong; Li, Wei
1
2003
VEGA infrastructure for resource discovery in grids. Zbl 1031.68021
Gong, YiLi; Dong, FangPeng; Li, Wei; Xu, ZhiWei
1
2003
CAFISE: An approach to enabling adaptive configuration of service grid applications. Zbl 1031.68024
Han, YanBo; Zhao, ZhuoFeng; Li, Gang; Xing, DongShan; Lv, QingZhong; Wang, JianWu; Xiong, JinHua; Liu, Hao
1
2003
A theorem on grid access control. Zbl 1031.68025
Xu, ZhiWei; Bu, GuanYing
1
2003
Study on strand space model theory. Zbl 1031.68063
Ji, QingGuang; Qing, SiHan; Zhou, YongBin; Feng, DengGuo
1
2003
IEEE 802.11 distributed coordination function: Enhancement and analysis. Zbl 1046.68025
Wu, HaiTao; Lin, Yu; Cheng, ShiDuan; Peng, Yong; Long, KePing
1
2003
A commit strategy for distributed real-time transaction. Zbl 1031.68026
Qin, Biao; Liu, YunSheng; Yang, JinCai
1
2003
SSTT: Efficient local search for GSI global routing. Zbl 1031.68054
Jing, Tong; Hong, XianLong; Bao, HaiYun
1
2003
Outline of initial design of the structured hypertext transfer protocol. Zbl 1091.68512
Swen, Bin
1
2003
Decomposing a kind of weakly invertible finite automata with delay 2. Zbl 1046.68071
Yao, Gang
1
2003
Fast algorithms for revision of some special propositional knowledge bases. Zbl 1046.68104
Luan, ShangMin; Dai, GuoZhong
1
2003
Semi-online scheduling with machine cost. Zbl 1070.90518
He, Yong; Cai, Shengyi
10
2002
An algorithm based on tabu search for satisfiability problem. Zbl 1005.68049
Huang, Wenqi; Zhang, Defu; Wang, Houxiang
4
2002
A reduction algorithm meeting users’ requirements. Zbl 1057.68026
Zhao, Kai; Wang, Jue
4
2002
Kernel projection algorithm for large-scale SVM problems. Zbl 1057.68096
Wang, Jiaqi; Tao, Qing; Wang, Jue
3
2002
Checking temporal duration properties of timed automata. Zbl 1056.68096
Li, Yong; Dang Van Hung
3
2002
Testing congruence for mobile processes. Zbl 1004.68118
Fu, Yuxi
2
2002
An algebraic hardware/software partitioning algorithm. Zbl 1005.68182
Qin, Shengchao; He, Jifeng; Qiu, Zongyan; Zhang, Naixiao
2
2002
Structure of weakly invertible semi-input-memory finite automata with delay 1. Zbl 1012.68104
Tao, Renji; Chen, Shihua
2
2002
Blending parametric patches with subdivision surfaces. Zbl 1057.68122
Li, Guiqing; Li, Hua
2
2002
Squeezer: An efficient algorithm for clustering categorical data. Zbl 1057.68018
He, Zengyou; Xu, Xiaofei; Deng, Shengchun
2
2002
Automatic mesh generation on a regular background grid. Zbl 1048.65122
Lo, S. H.; Liu, Jianfei
2
2002
Semantic computation in a Chinese question-answering system. Zbl 1095.68708
Li, Sujian; Zhang, Jian; Huang, Xiong; Bai, Shuo; Liu, Qun
2
2002
Requirements specifications checking of embedded real time software. Zbl 1004.68034
Wu, Guoqing; Shu, Fengdi; Wang, Min; Chen, Weiqing
1
2002
Sequential combination methods for data clustering analysis. Zbl 1021.68081
Qian, Yuntao; Suen, Ching Y.; Tang, Yuanyan
1
2002
Digital image watermarking based on discrete wavelet transform. Zbl 1021.68103
Ding, Wei; Yan, Weiqi; Qi, Dongxu
1
2002
Practical fast computation of Zernike moments. Zbl 1004.68190
Al-Rawi, Mohammed; Yang, Jie
1
2002
From active to passive – progress in testing internet routing protocols. Zbl 1005.68013
Zhao, Yixin; Wu, Jianping; Yin, Xia
1
2002
Extracting and sharing knowledge from medical texts. Zbl 1005.68840
Cao, Cungen
1
2002
Study of general incomplete star interconnection networks. Zbl 1005.68011
Shi, Yuntao; Hou, Zifeng; Song, Jianping
1
2002
Data extraction from the web based on pre-defined schema. Zbl 1057.68007
Meng, Xiaofeng; Lu, Hongjun; Wang, Haiyan; Gu, Mingzhe
1
2002
Hybrid broadcast for the video-on-demand service. Zbl 1012.68008
Ma, Huadong; Shin, Kang G.
1
2002
An effective feedback control mechanism for DiffServ architecture. Zbl 1057.68011
Wang, Chonggang; Long, Keping; Yang, Jian; Cheng, Shiduan
1
2002
A component-based software configuration management model and its supporting system. Zbl 1057.68012
Mei, Hong; Zhang, Lu; Yang, Fuqing
1
2002
Formal ontology: Foundation of domain knowledge sharing and reusing. Zbl 1012.68061
Lu, Ruqian; Jin, Zhi
1
2002
A model-based approach to object-oriented software metrics. Zbl 1095.68568
Mei, Hong; Xie, Tao; Yang, Fuqing
1
2002
A personalized information dissemination system based on How-Net. Zbl 1094.68692
Zhang, Lei; Du, Xiaoyong; Wang, Shan
1
2002
Reduction algorithms based on discernibility matrix: The ordered attributes method. Zbl 1014.68160
Wang, Jue; Wang, Ju
24
2001
Investigation on AQ11, ID3 and the principle of discernibility matrix. Zbl 0974.68175
Wang, Jue; Cui, Jia; Zhao, Kai
3
2001
New algorithms for the perspective-three-point problem. Zbl 0983.65020
Gao, Xiaoshan; Chen, Hangfei
3
2001
AHBP: An efficient broadcast protocol for mobile ad hoc networks. Zbl 0986.68882
Peng, Wei; Lu, Xicheng
3
2001
Comparison of different implementations of MFCC. Zbl 1032.68728
Zheng, Fang; Zhang, Guoliang; Song, Zhanjiang
2
2001
Some contributions to nonmonotonic consequence. Zbl 1003.68160
Zhu, Zhaohui; Zhang, Dongmo; Chen, Shifu; Zhu, Wujia
2
2001
A new mesh simplification algorithm based on triangle collapses. Zbl 0974.68242
Pan, Zhigeng; Zhou, Kun; Shi, Jiaoying
2
2001
oodOPT: A semantics-based concurrency control framework for fully-replicated architecture. Zbl 1013.68116
Yang, Guangxin; Shi, Meilin
1
2001
CIM algorithm for approximating three-dimensional polygonal curves. Zbl 1013.68272
Yong, Junhai; Hu, Shimin; Sun, Jiaguang
1
2001
A new color constancy model for machine vision. Zbl 1014.68196
Tao, Linmi; Xu, Guangyou
1
2001
Constraints on extensions of a default theory. Zbl 0989.03030
Su, Kaile
1
2001
A fault-tolerant routing scheme in dynamic networks. Zbl 1010.68006
Feng, Xiushan; Han, Chengde
1
2001
Notes on liveness and boundedness of extended strong asymmetric choice nets. II. Zbl 1010.68097
Jiao, Li; Lu, Weiming
1
2001
...and 87 more Documents
all top 5

Cited by 1,033 Authors

8 Miao, Duoqian
7 Fu, Yuxi
6 Chen, Shihua
6 Tao, Renji
5 Qian, Jin
5 Wang, Jianxin
5 Wang, Jue
4 Beccari, Carolina Vittoria
4 Casciola, Giulio
4 Chen, Jian-er
4 Liu, Caihui
4 Rossi, André
4 Sevaux, Marc
4 Shuai, Dianxun
3 Cao, Zhenfu
3 Castaño, Fabian
3 Duan, Zhenhua
3 Fan, Jianxi
3 Gao, Xiaoshan
3 Han, Xuli
3 Hughes, Thomas J. R.
3 Jiang, Yiwei
3 Li, Huaxiong
3 Li, Jinjin
3 Li, Wei
3 Li, Wei
3 Rieck, Michael Q.
3 Shen, Wanqiang
3 Toshniwal, Deepesh
3 Velasco, Nubia
3 Wang, Guoyin
3 Wang, Jian
3 Wu, Guoqing
3 Xu, Weihua
3 Xue, Qingshui
3 Yao, Yiyu
3 Yu, Jianhang
3 Yue, Xiaodong
3 Zhang, Defu
3 Zhang, Dongmo
3 Zhao, Yan
3 Zheng, Yujun
3 Zhu, Daming
3 Zhu, Yuanpeng
2 Anshelevich, Elliot
2 Aubrun, Guillaume
2 Bae, Sang Won
2 Chang, Jou-Ming
2 Chen, Guoliang
2 Chen, Wufan
2 Chen, Yangjun
2 Chen, Zhixiong
2 Cheng, Shiduan
2 Choi, Sunghee
2 Della Vedova, Gianluca
2 Ding, Decheng
2 Dondi, Riccardo
2 Dutta, Kaushik
2 Feng, Qilong
2 Fermé, Eduardo Leopoldo
2 Gao, Suixiang
2 Goranko, Valentin F.
2 Gu, Jing
2 Guo, Chunxiang
2 Guo, Litao
2 He, Yong
2 Hiemstra, René R.
2 Hu, Feng
2 Hu, Qinghua
2 Hu, Shaoxiang
2 Hu, Zhanyi
2 Huang, Bing
2 Huang, Qiong
2 Imreh, Csanád
2 Jia, Xiaohua
2 Jiang, Tao
2 Jiao, Licheng
2 Jing, Tong
2 Kar, Koushik
2 Lai, Xuejia
2 Lee, Chunseok
2 Leung, Ho-fung
2 Li, Chao
2 Li, Chunlin
2 Li, Fengying
2 Li, Layuan
2 Li, Shaohua
2 Liao, Zhiwu
2 Lin, Guoping
2 Luan, Shangmin
2 Luo, Xudong
2 Ma, Huadong
2 Ma, Songde
2 Ma, Yanfang
2 Meng, Xiangzhong
2 Montanari, Angelo
2 Mustafa, Ghulam
2 Nechita, Ion
2 Paul, Jean-Claude
2 Pawlak, Zdzisław
...and 933 more Authors
all top 5

Cited in 123 Journals

98 Journal of Computer Science and Technology
26 Information Sciences
18 Theoretical Computer Science
12 Mathematical Problems in Engineering
11 International Journal of Computer Mathematics
11 Science in China. Series F
10 European Journal of Operational Research
8 Discrete Applied Mathematics
8 Applied Mathematics and Computation
8 Computers & Operations Research
8 International Journal of Approximate Reasoning
8 Journal of Mathematical Imaging and Vision
7 Journal of Intelligent and Fuzzy Systems
6 Wuhan University Journal of Natural Sciences (WUJNS)
6 Journal of Systems Science and Complexity
5 Computers & Mathematics with Applications
5 Information Processing Letters
5 Journal of Computational and Applied Mathematics
4 Computer Methods in Applied Mechanics and Engineering
4 Computer Aided Geometric Design
4 International Journal of Foundations of Computer Science
4 Chinese Science Bulletin
4 Soft Computing
4 Science China. Information Sciences
3 Acta Informatica
3 Computing
3 International Journal for Numerical Methods in Engineering
3 Journal of Philosophical Logic
3 MSCS. Mathematical Structures in Computer Science
3 Designs, Codes and Cryptography
3 Pattern Recognition
3 Applied Mathematics. Series B (English Edition)
3 Journal of Applied Mathematics
3 Frontiers of Computer Science in China
2 Artificial Intelligence
2 Fuzzy Sets and Systems
2 Journal of Computer and System Sciences
2 Mathematics and Computers in Simulation
2 SIAM Journal on Computing
2 ACM Transactions on Graphics
2 Algorithmica
2 International Journal of Parallel Programming
2 Information and Computation
2 Mathematical and Computer Modelling
2 Journal of Global Optimization
2 Journal of Applied Non-Classical Logics
2 Journal of Mathematical Sciences (New York)
2 Theory of Computing Systems
2 Abstract and Applied Analysis
2 Journal of Inequalities and Applications
2 Journal of Combinatorial Optimization
2 Sādhanā
2 International Journal of Quantum Information
2
2 Inverse Problems in Science and Engineering
2 Computational & Mathematical Methods in Medicine
1 Biological Cybernetics
1 Computers and Fluids
1 Communications in Mathematical Physics
1 Discrete Mathematics
1 International Journal of Control
1 International Journal of General Systems
1 International Journal of Systems Science
1 Journal of Mathematical Analysis and Applications
1 Journal of Statistical Physics
1 Periodica Mathematica Hungarica
1 Mathematics of Computation
1 Acta Mathematicae Applicatae Sinica. English Series
1 Optimization
1 Discrete & Computational Geometry
1 International Journal of Intelligent Systems
1 Journal of Cryptology
1 Signal Processing
1 Real-Time Systems
1 Numerical Algorithms
1 Automation and Remote Control
1 Linear Algebra and its Applications
1 Annales de l’Institut Henri Poincaré. Probabilités et Statistiques
1 Archive for Mathematical Logic
1 Computational Optimization and Applications
1 Formal Methods in System Design
1 International Journal of Computer Vision
1 Computational and Applied Mathematics
1 Advances in Computational Mathematics
1 Complexity
1 International Transactions in Operational Research
1 Constraints
1 Science in China. Series E
1 Nonlinear Dynamics
1 Journal of Scheduling
1 Data Mining and Knowledge Discovery
1 Acta Mathematica Sinica. English Series
1 International Journal of Applied Mathematics and Computer Science
1 Engineering Computations
1 RAIRO. Operations Research
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 The Journal of Logic and Algebraic Programming
1 Concurrency and Computation: Practice & Experience
1 Electronic Commerce Research
1 Natural Computing
...and 23 more Journals
all top 5

Cited in 41 Fields

298 Computer science (68-XX)
68 Operations research, mathematical programming (90-XX)
64 Information and communication theory, circuits (94-XX)
48 Numerical analysis (65-XX)
27 Mathematical logic and foundations (03-XX)
22 Combinatorics (05-XX)
18 Biology and other natural sciences (92-XX)
13 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
12 Statistics (62-XX)
11 Approximations and expansions (41-XX)
10 Systems theory; control (93-XX)
8 Number theory (11-XX)
7 Algebraic geometry (14-XX)
4 Partial differential equations (35-XX)
4 Geometry (51-XX)
4 Quantum theory (81-XX)
3 Calculus of variations and optimal control; optimization (49-XX)
3 Mechanics of deformable solids (74-XX)
2 Order, lattices, ordered algebraic structures (06-XX)
2 Real functions (26-XX)
2 Dynamical systems and ergodic theory (37-XX)
2 Convex and discrete geometry (52-XX)
2 Differential geometry (53-XX)
2 Manifolds and cell complexes (57-XX)
2 Probability theory and stochastic processes (60-XX)
1 Field theory and polynomials (12-XX)
1 Commutative algebra (13-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)
1 Associative rings and algebras (16-XX)
1 Group theory and generalizations (20-XX)
1 Functions of a complex variable (30-XX)
1 Potential theory (31-XX)
1 Special functions (33-XX)
1 Ordinary differential equations (34-XX)
1 Algebraic topology (55-XX)
1 Mechanics of particles and systems (70-XX)
1 Fluid mechanics (76-XX)
1 Optics, electromagnetic theory (78-XX)
1 Classical thermodynamics, heat transfer (80-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Mathematics education (97-XX)

Citations by Year