default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Computer Science and Technology, Volume 12
Volume 12, Number 1, January 1997
- Lihong Zhi:
Optimal algorithm for algebraic factoring. 1-9 - Jinzhao Wu:
Mechanical geometry theorem proving based on groebner bases. 10-16 - Ningchuan Shen, Wei Li:
R-calculus for ELP: An operational approach to knowledge base maintenance. 17-28 - Linpeng Huang, Weiqin Tong, Kam-Wing Ng, Yongqiang Sun:
Implementation of GAMMA on a massively parallel computer. 29-39 - Hao Wang:
R aRb transformation of compound finite automata over commutative rings. 40-48 - Zhanyi Hu, Songde Ma:
Performance prediction of the hough transform. 49-57 - Yanping Deng, Jiegu Li:
Existence and uniqueness in shape from shading. 58-64 - Qingyi Hua:
An approach to user interface specification with attribute grammars. 65-75 - Kaihuai Qin:
Neural network methods for NURBS curve and surface interpolation. 76-89 - Chengqing Zong, Zhaoxiong Chen, Heyan Huang:
Parsing with dynamic rule selection. 90-96
Volume 12, Number 2, March 1997
- Jiachang Sun, Xuebin Chi, Jianwen Cao, Linbo Zhang
:
Parallel algorithm design on some distributed systems. 97-104 - Weiyu Tang, Wu Shi, Binyu Zang, Chuanqi Zhu:
Exploiting loop parallelism with redundant execution. 105-112 - Chengjiang Lin, Sanli Li:
Strategy and simulation of adaptive RID for distributed dynamic load balancing in parallel systems. 113-120 - Xuejun Wang, Chunyi Shi:
A multiagent dynamic interaction testbed: Theoretic framework, system architecture and experimentation. 121-132 - Chih-Ho Yu, Frank M. Caimi:
Determination of horizontal motion through optical flow computations. 133-144 - Bin Chen, Jiarong Hong, Yadong Wang:
The minimum feature subset selection problem. 145-153 - Xuehong Tao, Wei Sun, Shaohan Ma:
A practical propositional knowledge base revision algorithm. 154-159 - Ninghui Sun, Wenzhuo Liu, Hong Liu, Chuanbao Wang, Xuelin Lu, Hao Zhang:
Dawning-1000 PROOS distributed operating system. 160-166 - Jiubin Ju, Yong Wang, Yu Yin:
Scheduling PVM tasks. 167-176 - Fang Zheng, Wenhu Wu, Ditang Fang:
A log-index weighted cepstral distance measure for speech recognition. 177-184 - Fang Chen, Baozong Yuan:
An approach to intelligent speech production system. 185-188 - Jian Liu, Zhiming Chen, Zhong Du, Baiping Yan:
A switched capacitor harmonic compensation part for switching supplies. 189-192
Volume 12, Number 3, May 1997
- Shuming Gao, Qunsheng Peng:
Hierarchical geometric constraint model for parametric feature based modeling. 193-201 - Zhou Wang, Yinglin Yu:
Dynamic fractal transform with applications to image data compression. 202-209 - Kaihuai Qin:
Representing quadric surfaces using NURBS surfaces. 210-216 - Feng Dong, Wenli Cai, Tianzhou Chen, Jiaoying Shi:
Three-dimensional volume datafield reconstruction from physical model. 217-230 - Qingping Tan:
A higher-order unification algorithm for inductive types and dependent types. 231-243 - Minglu Li, Yongqiang Sun, Huanye Sheng:
Nondeterministic temporal relations in multimedia data. 244-251 - Weiyi Liu, Hong Yao:
A logical design method for relational databases based on generalization and aggregation semantics. 252-262 - Li Shen:
Fuzzy logic control ASIC chip. 263-270 - Zhuxing Zhao, Yinghua Min, Zhongcheng Li:
Path sensitization. 271-282 - Yufang Sun:
Hanzix and Chinese open system platform. 283-288
Volume 12, Number 4, July 1997
- Ren-ji Tao, Shihua Chen, Xuemei Chen:
FAPKC3: A new finite automaton public key cryptosystem. 289-305 - Qi Cheng, Hong Zhu:
MNP: A class of NP optimization problems. 306-313 - Jinyun Xue:
A unified approach for developing efficient algorithmic programs. 314-329 - Dianxun Shuai:
Asynchronous superimposition mechanisms of concurrent competitve waves for hyper-distributed hyper-parallel heuristic problem solving. 330-336 - Chenghong Zhang, Yunfa Hu, Baile Shi:
A reasoning mechanism for deductive object-oriented databases. 337-345 - Yangjun Chen:
Magic sets revisited. 346-365 - Wangning Long, Yinghua Min, Shiyuan Yang, Shibai Tong:
Short-time scaling of variable ordering of OBDDs. 366-371 - Schubert Foo, Siu Cheung Hui:
System architectural design for delivering video mail over the World-Wide-Web. 372-384
Volume 12, Number 5, September 1997
- Wen Gao, Xilin Chen:
A stochastic approach for blurred image restoration and optical flow computation on field image sequence. 385-399 - Yongyue Zhang, Zhenyun Peng, Suya You, Guangyou Xu:
A multi-view face recognition system. 400-407 - Yingqing Xu, Cheng Su, Dongxu Qi, Hua Li, Shenquan Liu:
Simulation of waters. 408-413 - Jizhou Sun, Richard L. Grimsdale:
A radiosity solution for curved surface environments. 414-424 - Yuxi Fu:
Constructive sets in computable sets. 425-440 - Hairong Kuang, Yongqiang Sun, Kai Lin:
A partial evaluator for a parallel lambda language. 441-457 - Genjiang Zhu, Li Xie, Zhongxiu Sun:
NUAPC: A parallelizing compiler for C++. 458-469 - GuoQiang Peng:
Mapping between 2-d meshes of the same size. 470-475 - Junzhou Luo, Guanqun Gu:
CIMS network protocol and its net models. 476-480
Volume 12, Number 6, November 1997
- Deyi Li:
Knowledge representation in KDD based on linguistic atoms. 481-496 - Yangjun Chen:
Counting and topological order. 497-509 - Zengping Tian, Yujun Wang, Yunyao Qu, Baile Shi:
On the expressive power of F-logic language. 510-519 - Yangyong Zhu, Depei Guo, Baile Shi:
Techniques of integrating Datalog with PROLOG. 520-531 - Dianxun Shuai:
Hyper-distributed hyper-parallel implementation of heuristic search of implicit AND/OR graph. 532-542 - Dianxun Shuai:
Concurrent competitive wave approach to hyper-distributed hyper-parallel AI processing. 543-554 - Fangmin Song:
The expansion postponement in Pure Type Systems. 555-563 - Tianzi Jiang, Songde Ma:
Contour matching using wavelet transform and multigrid methods. 564-570 - Yun Wang, Guanqun Gu:
Minimum QOS parameter set in transport layer. 571-573
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 2024-11-20 21:00 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:
