default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Computer Science and Technology, Volume 14
Volume 14, Number 1, January 1999
- Jun Gu, Qian-Ping Gu, Ding-Zhu Du:
On optimizing the satisfiability (SAT) problem. 1-17 - Fang Zheng, Mingxing Xu, Xiaolong Mou, Jian Wu, Wenhu Wu, Ditang Fang:
HarkMan - A vocabulary-independent keyword spotter for spontaneous Chinese speech. 18-26 - Yimin Ye, Yufang Sun:
Chinese TrueType font support in X window. 27-33 - Deshuang Huang:
The "bottleneck" behaviours in linear feedforward neural network classifiers and their breakthrough. 34-43 - Zhanyi Hu, Changjiang Yang, Yi Yang, Songde Ma:
An inherent probabilistic aspect of the Hough transform. 44-48 - Limin Xiao, Mingfa Zhu:
Exploiting the capabilities of the interconnection network on Dawning-1000. 49-55 - Fanjia Kong, Guangxing Wang:
Computing the SKT reliability of acyclic directed networks using factoring method. 56-63 - Jian Wang, Fuyan Zhang:
Multicast address management and connection control based on hierarchical autonomous structure. 64-73 - Tianzi Jiang:
Geometric primitive extraction by the combination of tabu search and subpixel accuracy. 74-80 - Mingwei Xu, Jianping Wu:
A formal approach to protocol performance testing. 81-87
Volume 14, Number 2, March 1999
- Yinghua Min, Zhongcheng Li:
An analytical delay model. 97-115 - Shiyi Xu:
On dependability of computing systems. 116-128 - Fangmin Song, Yuechen Qian:
A syntactic proof of the conservativity of λω over λ2. 129-134 - Mingsheng Ying
:
Phase semantics for a pure noncommutative linear propositional logic. 135-139 - Mingyi Zhang, Ying Zhang:
Characterizations and algorithms of extensions for CADL and QDL. 140-145 - Zhiqing Shao, Yongqiang Sun, Guoxin Song, Huiqun Yu:
Deciding quasi-reducibility using witnessed test sets. 146-152 - Jun Ma, Shaohan Ma:
An efficient parallel graph edge matching algorithm and its applications. 153-158 - Yidong Shen:
A general scheme for formalizing defaults using the predicate ab(I, S). 159-164 - Bingshan Wang, Zhoujun Li, Huowang Chen:
Universal abstract consistency class and universal refutation. 165-172 - Xiaoshan Li:
Decidability of mean value calculus. 173-180 - Deqiang Wang, Lianchang Zhao:
The twisted-cube connected networks. 181-187 - Huadong Ma, Shenquan Liu:
Multimedia data modeling based on temporal logic and XYZ System. 188-193
Volume 14, Number 3, May 1999
- Weisong Shi, Weiwu Hu, Zhimin Tang:
Where does the time go in software DSMs? - Experiences with JIAJIA. 193-205 - Ninghui Sun:
Reference implementation of scalable I/O low-level API on Intel Paragon. 206-223 - Linpeng Huang, Yongqiang Sun, Wei Yuan:
Hierarchical bulk synchronous parallel model and performance optimization. 224-233 - Dianxun Shuai:
Asynchronous heterogeneous mechanism for hyper-distributed hyper-parallel AI processing. 234-241 - Yunlong Liu, Junliang Chen:
Garbage collection in uncoordinated checkpointing algorithms. 242-249 - Xiaodong Wang, Ming Xu, Xingming Zhou:
Fast multicast on multistage interconnection networks using multi-head worms. 250-258 - Liang Li, Guowei Yang:
An assignment method for IPUs in distributed systems. 259-266 - Sanglu Lu, Xiaobo Zhou, Li Xie:
A model for dynamic adaptive coscheduling. 267-275 - Yongquan Liang, Zhongzhi Shi:
A multimedia synchronization model based on timed Petri net. 276-282 - Yueting Zhuang, Yong Rui, Thomas S. Huang:
Video key frame extraction by unsupervised clustering and feedback adjustment. 283-287
Volume 14, Number 4, July 1999
- Liang Zhang, Yin Zhang:
Approximation for knapsack problems with multiple constraints. 289-297 - Yangjun Chen:
On the arc consistency problem. 298-308 - Xiong Huang, Wei Li:
On k -positive satisfiability problem. 309-313 - Shangmin Luan, Wei Li:
An incremental approach to automatic algorithm design. 314-319 - Yuxi Fu:
Relative properties of frame language. 320-327 - Mingsheng Ying:
Topology in process calculus (I): Limit behaviour of agents. 328-336 - Jiamei Cai:
The sequence modeling method based on ECC in developing program specifications. 337-348 - Rajesh Narang, K. D. Sharma:
View creation for queries in object oriented databases. 349-362 - Yidong Shen:
A theory of hybrid diagnosis. 363-371 - Haifeng Xi, Yupin Luo, Shiyuan Yang:
An approach to active learning for classifier systems. 372-378 - Hua Wei, Yupin Luo, Shiyuan Yang:
Fault tolerance of reconfigurable bi-directional double-loop LANs. 379-385 - Chengqi Zhang, Xudong Luo:
Isomorphic transformations of uncertainties for incorporating EMYCIN-style and PROSPECTOR-style systems into a distributed expert system. 386-392 - Zhongzhi Shi, Qijia Tian, Yunfeng Li:
RAO logic for multiagent framework. 393-400 - Guoqing Wu, Xiang Liu, Shi Ying, Tetsuo Tamai:
Automated analysis of the SCR-style requirements specifications. 401-407 - Bin Ni, Yulin Feng:
Dynamic checking framework for Java Beans semantic constraints. 408-413 - Haiming Chen:
Function Definition Language FDL and its implementation. 414-421 - Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng:
Reasoning about concurrent actions in multi-agent systems. 422-428 - Yuesheng Qi, Baozhong Wang, Lishan Kang:
Genetic Programming with simple loops. 429-433
Volume 14, Number 5, September 1999
- Guojie Li, Zhuojun Liu:
Preface. 433 - Lu Yang:
Recent advances in automated theorem proving on inequalities. 434-446 - Yanpei Liu:
Orthogonal drawings of graphs for the automation of VLSI circuit design. 447-459 - Xiao-Shan Gao, Changcai Zhu:
Automated generation of Kempe linkage and its complexity. 460-467 - Simin He, Bo Zhang:
Solving SAT by algorithm transform of Wu's method. 468-480 - Lian Li, Jimin Wang:
Fast theorem-proving and Wu's Method. 481-486 - Dongdai Lin, Zhuojun Liu:
Object-oriented analysis of ELIMINO. 487-494 - Xiaojing Wang, Jingzhong Zhang:
The intelligent CAI system for chemistry based on automated reasoning. 495-509 - Shugong Zhang, Ying Liu, Guochen Feng:
The multiplicity of zeros of algebraic system in eigenvalue method. 510-517 - Shugong Zhang, Hongju Ren:
Hyperfinite interpolation, Wu's Method and blending of implicit algebraic surfaces. 518-529
Volume 14, Number 6, November 1999
- Wei Peng, Xicheng Lu:
An approach to support IP multicasting in networks with mobile hosts. 529-538 - Jing'an Yang:
A neural paradigm for time-varying motion segmentation. 539-550 - Xunwei Wu, Massoud Pedram:
Bounded algebra and current-mode digital circuits. 551-557 - Qingsheng Hu, Xiaoyan Wang, Zhenquan Zhuang:
A distributed algorithm for multi-region problem in BEM. 558-564 - Mingye Liu, Dongxiao Zhang, Qingping Xu:
Technical decisions on several key problems in VHDL high level synthesis system. 565-571 - Jing Gu, Dianxun Shuai:
A new parallel-by-cell approach to undistorted data compression based on cellular automaton and genetic algorithm. 572-579 - Fanjia Kong, Guangxing Wang, Xiangde Zhang:
Computing the K -terminal reliability for SONET self-healing rings. 580-584 - Yantai Shu, Fei Xue, Zhigang Jin, Oliver W. W. Yang:
The impact of self-similar traffic on network delay. 585-589 - Chen Wang, Ying Zhou, Defu Zhang:
A framework of auto-adapting distributed object for mobile computing. 590-598 - Yongzhao Zhan, Shunlin Song, Li Xie:
Demand Priority Protocol simulation and evaluation. 599-605 - Layuan Li, Chunlin Li:
Studies on algorithms for self-stabilizing communication protocols. 606-613 - Jun Bi, Jianping Wu:
An approach to concurrent TTCN test generation. 614-618 - Yiqiang Ding:
An improvement of GNY logic for the reflection attacks. 619-623
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-28 22:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
