![](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 10
Volume 10, Number 1, January 1995
- Guojie Li:
From the Editor-in-Chief. 1 - Ming Zhao:
A line extraction algorithm for hand drawings. 2-14 - Zhiguo Xiong, Xi Xu, Shihai Dong:
CX11: A Chinese language supporting interface for X window environment. 15-22 - Jianchao Zeng, Hidehiko Sanada, Yoshikazu Tezuka, Guangyou Xu:
A form-correcting system of Chinese characters using a model of correcting procedures of calligraphists. 23-34 - Hidehiko Zeng, Hidehiko Sanada, Yoshikazu Tezuka:
A form evaluation system and its data structure for brush-written Chinese characters. 35-41 - Xiaohu Ma, Zhigeng Pan, Fuyan Zhang:
The automatic generation of Chinese outline font based on stroke extraction. 42-52 - Songmao Zhang:
Weak precedence story parsing grammar. 53-64 - Li Yang:
Towards restructuring and normalization of types in databases. 65-73 - Zhi Jin:
The structure and semantics of an object-oriented logic programming language: SCKE. 74-84 - Huaimin Wang, Huowang Chen:
A constructor-based EI-model semantics of EI-CTRS. 85-96
Volume 10, Number 2, March 1995
- Zhimin Tang, Peisu Xia:
A maximum time difference pipelined arithmetic unit based on CMOS gate array. 97-103 - Bo Zhang, Ling Zhang, Gang Chen:
The generation of a sort of fractal graphs. 104-111 - Shijun Wang, Shulin Wang:
Research and design of a fuzzy neural expert system. 112-123 - Dianxun Shuai:
High-order two-dimension cluster competitive activation mechanisms used for performing symbolic logic algorithms of problem solving. 124-133 - Aoying Zhou, Baile Shi:
Query optimization for Deductive Databases. 134-148 - Kian-Lee Tan
:
Optimization of multi-join queries in shared-nothing systems. 149-162 - Yuan Sun:
The modelling of temporal data in the relational database environment. 163-174 - Hock C. Chan:
Translational semantics for a conceptual level query language. 175-187 - Xianzhi Liao, Lan Jin:
Rendezvous facilities in a distributed computer system. 188-192
Volume 10, Number 3, May 1995
- Wei Li:
A logical framework for knowledge base maintenance. 193-205 - Jian Zhang:
Automatic construction of finite algebras. 206-213 - Yuzhong Qu, Zhijian Wang, Jiafu Xu:
Denotational semantics of a simple model of Eiffel. 214-226 - Manwu Xu, Jianfeng Lu, Fancong Zeng, Jinwen Dai:
A formal semantics for DAI language NUML. 227-238 - Chongyi Yuan:
S- and T-invariants in cyber net systems. 239-252 - Hongzhou Li, Guanying Li:
Nonuniform lowness and strong nonuniform lowness. 253-259 - Mingsheng Ying
:
Putting consistent theories together in institutions. 260-266 - Mingsheng Ying
:
Institutions of variable truth values: An approach in the ordered style. 267-273 - Cungen Cao, Wei Liu:
A three-stage knowledge acquisition method. 274-280 - Yiyun Chen:
Head boundedness of nonterminating rewritings. 281-284 - Zhiqing Shao, Guoxin Song:
An algebraic characterization of inductive soundness in proof by consistency. 285-288
Volume 10, Number 4, July 1995
- Xiaoming Wang, Qiaolin Yang:
Using virtual ATE model to migrate test programs. 289-297 - Zhiyong Liu, Qun Liu, Xiang Zhang:
Efficient realization of frequently used bijections on cube-connected cycles. 298-309 - Zhong Zhang:
Simulation of ATPG neural network and its experimental results. 310-324 - Cungen Cao:
Expansion nets and expansion processes of elementary net systems. 325-333 - Heyun Liu, Kehong Wang, Chunyi Shi, Dingxing Wang:
Intention maintenance as conflict resolution upon a means-network. 334-343 - Yifa Cai:
Experimental studies of artificial conscious systems. 344-353 - Dianxun Shuai:
New heuristic distributed parallel algorithms for searching and planning. 354-374 - Shu Yao, Bo Zhang:
Situated learning of a behavior-based mobile robot path planner. 375-379 - Tianzhu Li:
Object identity in database systems. 380-384
Volume 10, Number 5, September 1995
- Ke Chen, Masumi Ishikawa:
A parallel voting scheme for aspect recovery. 385-402 - Xianhong Fang, Zhaoqing Zhang, Ruliang Qiao:
Interprocedural constant range propagation and alias analysis by multiple version method. 403-416 - Qingshi Gao, Zhiyong Liu:
K-Dimensional Optimal Parallel Algorithm for the solution of a general class of recurrence equations. 417-424 - Dianxiang Xu, Guoliang Zheng:
Logical object as a basis of knowledge based systems. 425-438 - Lejian Liao, Zhongzhi Shi:
Minimal model semantics for sorted constraint representation. 439-446 - Yuning Sun, Xiaoming Wang, Wanchun Shi:
ICTSSE: An object-oriented IC test software supporting environment. 447-454 - Hong Gao:
Transformation list for SGML application. 455-462 - Fupei Xu, Chi Luo, Yadong Jin:
A general architecture model of CPDL Interpreter. 463-469 - Qingshi Gao:
A unifiedO(logN) and optimal sorting vector algorithm. 470-475 - Jichang Kang, Yian Zhu
, Yuanlin Hong, Bishan Ying:
Shared variable oriented parallel precompiler for SPMD model. 476-480
Volume 10, Number 6, November 1995
- Jian Wang, Andreas Krall, M. Anton Ertl:
Trace software pipelining. 481-490 - Weidong Min
, Zesheng Tang, Zhengming Zhang, Yu Zhou, Minzhi Wang:
A new approach to fully automatic mesh generation. 491-508 - Changjun Jiang:
Net operations (II) - The iterated addition operation of Petri nets. 509-517 - Jiwen Guan, David A. Bell:
General algorithms for Barnett's structure in evidential reasoning. 518-535 - Youli Min, Yinghua Min:
A fault-tolerant and heuristic routing algorithm for faulty hypercubes. 536-544 - Shiwei Ye, Zhongzhi Shi:
A necessary condition about the optimum partition on a finite set of samples and its application to clustering analysis. 545-556 - Zhiyong Lai, Shouqi Zheng:
Simulation and improvement of the processing subsystem of the Manchester dataflow computer. 557-563 - Xiexiong Chen, Claudio Moraga:
Design of multivalued circuits based on an algebra for current-mode CMOS multivalued circuits. 564-568 - Guangsheng Ma, Zhongwei Zhang, Shaobin Huang:
A new method of solving kernels in algebraic decomposition for the synthesis of logic cell array. 569-573
![](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.