×

zbMATH — the first resource for mathematics

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

188 Publications have been cited 383 times in 458 Documents Cited by Year
Reduction algorithms based on discernibility matrix: The ordered attributes method. Zbl 1014.68160
Wang, Jue; Wang, Ju
23
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
QoS guided min-min heuristic for grid task scheduling. Zbl 1031.68034
He, XiaoShan; Sun, XianHe; von Laszewski, Gregor
9
2003
Analysis on attribute reduction strategies of rough set. Zbl 0902.68049
Wang, Jue; Miao, Duoqian
9
1998
Semi-online scheduling with machine cost. Zbl 1070.90518
He, Yong; Cai, Shengyi
9
2002
A geometric approach for multi-degree spline. Zbl 1280.65014
Li, Xin; Huang, Zhang-Jin; Liu, Zhao
9
2012
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
6
1999
A type of triangular ball surface and its properties. Zbl 0893.68158
Hu, Shimin; Wang, Guojin; Sun, Jiaguang
6
1998
Recent advances in automated theorem proving on inequalities. Zbl 0944.68169
Yang, Lu
6
1999
Impossible differential attacks on 13-round CLEFIA-128. Zbl 1280.94082
Mala, Hamid; Dakhilalian, Mohammad; Shakiba, Mohsen
6
2011
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
Parameterized computation and complexity: a new approach dealing with NP-hardness. Zbl 1258.68065
Chen, Jian-Er
5
2005
Nonrepudiable proxy multi-signature scheme. Zbl 1046.68050
Li, JiGuo; Cao, ZhenFu; Zhang, YiChen
5
2003
A reduction algorithm meeting users’ requirements. Zbl 1057.68026
Zhao, Kai; Wang, Jue
4
2002
An algorithm based on tabu search for satisfiability problem. Zbl 1005.68049
Huang, Wenqi; Zhang, Defu; Wang, Houxiang
4
2002
Theoretical treatment of target coverage in wireless sensor networks. Zbl 1280.68053
Gu, Yu; Zhao, Bao-Hua; Ji, Yu-Sheng; Li, Jie
4
2011
On the structure of binary feedforward inverses with delay 2. Zbl 0688.68052
Zhu, Xinjie
3
1989
New algorithms for the perspective-three-point problem. Zbl 0983.65020
Gao, Xiaoshan; Chen, Hangfei
3
2001
Symmetric \(\pi\)-calculus. Zbl 0899.68022
Fu, Yuxi
3
1998
Reaction graph. Zbl 0910.68073
Fu, Yuxi
3
1998
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
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
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
AHBP: An efficient broadcast protocol for mobile ad hoc networks. Zbl 0986.68882
Peng, Wei; Lu, Xicheng
3
2001
Statistical heuristic search. Zbl 0641.68088
Zhang, Bo; Zhang, Ling
3
1987
The comparison between the statistical heuristic search and \(A^*\). Zbl 0719.62093
Bo, Zhang; Ling, Zhang
3
1989
A quadratic lower bound for three-query linear locally decodable codes over any field. Zbl 1280.94123
Woodruff, David P.
3
2012
On the structure of finite automata of which M’ is a (weak) inverse with delay \(\tau\). Zbl 0605.68043
Chen, Shihua
3
1986
The infinite evolution mechanism of \(\epsilon\)-bisimilarity. Zbl 1296.68029
Ma, Yan-Fang; Zhang, Min
3
2013
Evolutionary optimization: pitfalls and booby traps. Zbl 1279.68281
Weise, Thomas; Chiong, Raymond; Tang, Ke
3
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
Some contributions to nonmonotonic consequence. Zbl 1003.68160
Zhu, Zhaohui; Zhang, Dongmo; Chen, Shifu; Zhu, Wujia
2
2001
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
Decidability of mean value calculus. Zbl 0919.03009
Li, Xiaoshan
2
1999
Comparison of different implementations of MFCC. Zbl 1032.68728
Zheng, Fang; Zhang, Guoliang; Song, Zhanjiang
2
2001
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
Structure of weakly invertible semi-input-memory finite automata with delay 1. Zbl 1012.68104
Tao, Renji; Chen, Shihua
2
2002
Squeezer: An efficient algorithm for clustering categorical data. Zbl 1057.68018
He, Zengyou; Xu, Xiaofei; Deng, Shengchun
2
2002
Fixed-parameter tractability of disjunction-free default reasoning. Zbl 1025.68093
Zhao, XiShun; Ding, DeCheng
2
2003
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
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
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
A new dynamical evolutionary algorithm based on statistical mechanics. Zbl 1046.68092
Li, YuanXiang; Zou, XiuFen; Kang, LiShan; Michalewicz, Zbigniew
2
2003
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
Approaches for scaling DBSCAN algorithm to large spatial databases. Zbl 0970.68583
Zhou, Aoying; Zhou, Shuigeng; Cao, Jing; Fan, Ye; Hu, Junfa
2
2000
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
The complexity of the 0/1 multi-knapsack problem. Zbl 0593.68036
Zhang, Liang; Geng, Suyun
2
1986
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
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
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
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
Program transformation by solving equations. Zbl 0722.68079
Zhu, Hong
1
1991
TST - an algorithm for global microcode compaction with timing constraints. Zbl 0725.68010
Su, Bogong; Wang, Jian; Xia, Jinshi
1
1991
An improved graphic representation for structured program design. Zbl 0725.68031
Zhou, Qihai
1
1991
A parallel algorithm for finding roots of a complex polynomial. Zbl 0728.68065
Cheng, Jinsong
1
1990
A fuzzy proof theory. Zbl 0728.68110
Liu, Dongbo; Li, Deyi
1
1990
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
Dynamic data prefetching in home-based software DSMs. Zbl 0979.68026
Hu, Weiwu; Zhang, Fuxin; Liu, Haiming
1
2001
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
HEWN: A polynomial algorithm for CLIQUE problem. Zbl 0920.68097
Tang, Pushan; Huang, Zhijun
1
1998
A radial basis function interpolation surface. Zbl 0920.68141
Yin, Baocai; Gao, Wen
1
1998
Universal abstract consistency class and universal refutation. Zbl 0920.68128
Wang, Bingshan; Li, Zhoujun; Chen, Huowang
1
1999
Multimedia data modeling based on temporal logic and \(XYZ\) system. Zbl 0920.68040
Ma, Huadong; Liu, Shenquan
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
Counting and topological order. Zbl 0885.68052
Chen, Yangjun
1
1997
An efficient multiple predicate learner. Zbl 0899.68084
Zhang, Xiaolong; Numao, Masayuki
1
1998
Some notes on graph automata, tiling systems and partition logic. Zbl 0914.68136
Shen, Enshao
1
1998
Formal derivation of graph algorithmic programs using partition-and-recur. Zbl 0910.68090
Xue, Jinyun
1
1998
Dependent type system with subtyping I: Type level transitivity elimination. Zbl 0911.68142
Chen, Gang
1
1998
Structures definable in polymorphism. Zbl 0910.68147
Fu, Yuxi
1
1998
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
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
Collision attack on the full extended MD4 and pseudo-preimage attack on RIPEMD. Zbl 1280.94098
Wang, Gao-Li
1
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
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
A quadratic lower bound for three-query linear locally decodable codes over any field. Zbl 1280.94123
Woodruff, David P.
3
2012
Evolutionary optimization: pitfalls and booby traps. Zbl 1279.68281
Weise, Thomas; Chiong, Raymond; Tang, Ke
3
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
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
Synthesizing distributed protocol specifications from a UML state machine modeled service specification. Zbl 1280.68067
Dallal, Jehad Al; Saleh, Kassem A.
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
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
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
5
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
5
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
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
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
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
\(\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
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
9
2002
A reduction algorithm meeting users’ requirements. Zbl 1057.68026
Zhao, Kai; Wang, Jue
4
2002
An algorithm based on tabu search for satisfiability problem. Zbl 1005.68049
Huang, Wenqi; Zhang, Defu; Wang, Houxiang
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
Structure of weakly invertible semi-input-memory finite automata with delay 1. Zbl 1012.68104
Tao, Renji; Chen, Shihua
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
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
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
Blending parametric patches with subdivision surfaces. Zbl 1057.68122
Li, Guiqing; Li, Hua
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
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
Reduction algorithms based on discernibility matrix: The ordered attributes method. Zbl 1014.68160
Wang, Jue; Wang, Ju
23
2001
New algorithms for the perspective-three-point problem. Zbl 0983.65020
Gao, Xiaoshan; Chen, Hangfei
3
2001
Investigation on AQ11, ID3 and the principle of discernibility matrix. Zbl 0974.68175
Wang, Jue; Cui, Jia; Zhao, Kai
3
2001
AHBP: An efficient broadcast protocol for mobile ad hoc networks. Zbl 0986.68882
Peng, Wei; Lu, Xicheng
3
2001
Some contributions to nonmonotonic consequence. Zbl 1003.68160
Zhu, Zhaohui; Zhang, Dongmo; Chen, Shifu; Zhu, Wujia
2
2001
Comparison of different implementations of MFCC. Zbl 1032.68728
Zheng, Fang; Zhang, Guoliang; Song, Zhanjiang
2
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
Dynamic data prefetching in home-based software DSMs. Zbl 0979.68026
Hu, Weiwu; Zhang, Fuxin; Liu, Haiming
1
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
...and 88 more Documents
all top 5

Cited by 1,018 Authors

7 Fu, Yuxi
7 Miao, Duoqian
6 Chen, Shihua
6 Tao, Renji
5 Qian, Jin
5 Wang, Jue
4 Beccari, Carolina Vittoria
4 Cao, Zhenfu
4 Casciola, Giulio
4 Chen, Jian-er
4 Liu, Caihui
4 Rossi, André
4 Sevaux, Marc
4 Shuai, Dianxun
4 Wang, Jianxin
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, 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 Fermé, Eduardo Leopoldo
2 Gao, Suixiang
2 Goranko, Valentin F.
2 Gu, Jing
2 Guo, Chunxiang
2 He, Yong
2 Hiemstra, René R.
2 Hu, Feng
2 Hu, Qinghua
2 Hu, Shaoxiang
2 Hu, Zhanyi
2 Huang, Bing
2 Huang, Jiwu
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, Jinjin
2 Li, Layuan
2 Liao, Zhiwu
2 Lin, Guoping
2 Luan, Shangmin
2 Luo, Xudong
2 Ma, Huadong
2 Ma, Songde
2 Ma, Yanfang
2 Montanari, Angelo
2 Mustafa, Ghulam
2 Nechita, Ion
2 Paul, Jean-Claude
2 Pawlak, Zdzisław
2 Pedrycz, Witold
2 Pu, Lianrong
2 Sasaki, Yu
...and 918 more Authors
all top 5

Cited in 122 Journals

98 Journal of Computer Science and Technology
25 Information Sciences
18 Theoretical Computer Science
13 Science in China. Series F
12 Mathematical Problems in Engineering
11 International Journal of Computer Mathematics
10 European Journal of Operational Research
8 Applied Mathematics and Computation
8 International Journal of Approximate Reasoning
7 Discrete Applied Mathematics
7 Computers & Operations Research
7 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 Algorithmica
2 International Journal of Parallel Programming
2 Mathematical and Computer Modelling
2 Journal of Global Optimization
2 Archive for Mathematical Logic
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 ACM Transactions on Graphics
1 Discrete & Computational Geometry
1 Information and Computation
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 Computational Optimization and Applications
1 Formal Methods in System Design
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
1 International Journal of Wavelets, Multiresolution and Information Processing
...and 22 more Journals
all top 5

Cited in 41 Fields

294 Computer science (68-XX)
65 Operations research, mathematical programming (90-XX)
64 Information and communication theory, circuits (94-XX)
47 Numerical analysis (65-XX)
28 Mathematical logic and foundations (03-XX)
20 Combinatorics (05-XX)
18 Biology and other natural sciences (92-XX)
12 Statistics (62-XX)
12 Game theory, economics, finance, and other social and behavioral sciences (91-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