![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal of Computer Science and Technology, Volume 8
Volume 8, Number 1, January 1993
- Yongcheng Li, Bo Zhang:
A topological implementation for motion planning of a robotic arm. 1-10 - Songde Ma, Guo-Qing Wei, Jinfeng Huang:
Segment based camera calibration. 11-16 - Guo-Qing Wei, Songde Ma:
3D Motion estimation and motion fusion by affine region matching. 17-25 - Renwei Li, Pei He, Wenhui Zhang:
An introduction to INCAPS system. 26-37 - Zhi Jin, Shouren Hu:
SCKE: Combining logic- with object-oriented paradigm. 38-48 - Guohua Jin, Xuejun Yang, Fujie Chen:
Loop staggering, loop compacting: Restructuring techniques for thrashing problem. 49-57 - Tieqing Deng, Quanyuan Wu, Zhiying Wang:
A new integrated system of logic programming and relational database. 58-67 - Meirui Xu, Xiaolin Liu:
A VLSI algorithm for calculating the tree to tree distance. 68-76 - Weigeng Shi, Brigitte Servatius:
Analyzing the reliability of degradable networks. 77-86 - Qingfang Chen, Daozheng Wei:
DLJ: A dynamic line-justification algorithm for test generation. 87-91 - Sieger van Denneheuvel, Karen L. Kwast, Zhisheng Huang, Peter van Emde Boas:
A survey of the rule language RL/1. 92-96
Volume 8, Number 2, April 1993
- Yidong Shen, Fu Tong, Daijie Cheng:
On local stratifiability of logic programs and databases. 97-107 - Yidong Shen:
A fixpoint semantics for stratified databases. 108-117 - Xindong Wu:
Inductive learning. 118-132 - Zhijian Wang:
Validating inductive hypotheses by mode inference. 133-137 - Lu Jian, Jiafu Xu:
Design rationale for a wide spectrum specification language FGSPEC. 138-146 - Jinyun Xue:
Two new strategies for developing loop invariants and their applications. 147-154 - Zhiqing Shao:
A standard model-theoretic approach to operational semantics of recursive programs. 155-161 - Yiyun Chen:
Nonterminating rewritings with head boundedness. 162-171 - Man-Chi Pong, Yongguang Zhang, Hong Xu, Jie Ding:
OOMMS: A module management system based on an object-oriented model. 172-181 - Yunzhan Gong, Daozheng Wei:
Deductive fault simulation algorithm based on fault collapsing. 182-187 - Yaoxue Zhang, Meilin Shi, Norio Shiratori:
A knowledge-based specification technique for protocol development. 188-192
Volume 8, Number 3, July 1993
- Wei Li:
A comparative study of default reasoning and epistemic processes. 193-204 - Yuefei Sui:
Bounded recursively enumerable sets and degrees. 205-208 - Guohua Jin, Fujie Chen:
Optimizing FORTRAN programs for hierarchical memory parallel processing systems. 209-220 - Hong Liu, Wenhong Wang, Defu Zhang:
A methodology for mapping and partitioning arbitrary n -dimensional nested loops into 2-dimensional VLSI arrays. 221-232 - Meiming Shen, Xinmin Tian, Dingxing Wang, Weimin Zheng, Dongchan Wen:
Optimized parallel execution of declarative programs on distributed memory multiprocessors. 233-242 - Manwu Xu:
An implementation of pure Horn clause logic programming in a reduction system. 243-251 - Bo Zhang, Ling Zhang:
On memory capacity of the Probabilistic Logic Neuron network. 252-256 - Adelino Santos:
Cooperative hypermedia editing with CoMEdiA. 257-269 - Junzhong Gu:
Modelling enterprises with object-oriented paradigm. 270-279 - Kaihuai Qin, Jiaguang Sun:
A new local control spline with shape parameters for CAD/CAM. 280-288
Volume 8, Number 4, October 1993
- Juzhong Gu:
An object-oriented transaction model. 289-306 - Weidong Zheng, Zongkai Lin, Yuchai Guo:
A data manager for engineering applications. 307-316 - Bo Zhang, Ling Zhang:
The complexity of recognition in the single-layered PLN network with feedback connections. 317-321 - Liqun Jin, Feng Chen, Zhichen Xu, Jiahau Qian:
CCD: An integrated C coding and debugging tool. 322-328 - Yaoqing Gao, Dingxing Wang, Weimin Zheng, Meiming Shen, Zhiyi Huang, Shouren Hu, Giorgio Levi:
Parallel execution of prolog on shared-memory multiprocessors. 329-336 - Jianqiang Zhou, Liqun Yang, Shilei Pan, Hong Tan:
BSD/I18N - Internationalization of the 4.3BSD UNIX system. 337-346 - Jianqiang Zhou, Li Xie, Zhongxiu Sun, Genjiang Zhu:
An adaptive strategy integrating locking with optimistic concurrency control. 347-355 - Xiexiong Chen, Haomin Wu:
The mapping synthesis of ternary functions under fixed polarities. 356-361 - Jun Ma, Shaohan Ma:
Efficient parallel algorithms for some graph theory problems. 362-366 - Yong Yan:
An optimal algorithm for solving collision distance between convex polygons in plane. 367-373 - Haishui Xu, Xianji Li, Richard W. Nau:
Performance of multicast communication on hypercubes. 374-378 - Zhifang Ma:
DKBLM - Deep knowledge based learning methodology. 379-384
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.