default search action
Journal of Computer Science and Technology, Volume 13
Volume 13, Number 1, January 1998
- Yunmei Dong:
An interactive learning algorithm for acquisition of concepts represented as CFL. 1-8 - Wenqi Huang, Wei Li:
A hopeful CNF-SAT algorithm - Its high efficiency, industrial application and limitation. 9-12 - Tong Zhang:
Intuitionistic logic as the implement of incremental model construction for natural language. 13-17 - Yunfa Hu, Wolfgang Bibel:
Reduction of cycle unification of type Cpg+r. 18-24 - Huiqun Yu, Guoxin Song, Yongqiang Sun:
Completeness of the accumulation calculus. 25-31 - Haiqin Wang, Ruwei Dai:
Document analysis by crosscount approach. 32-40 - Aiqun Wang, Nanning Zheng:
Multiplicative inhibitory velocity detector and multi-velocity motion detection neural network model. 41-54 - Jingbo Gao, Xinyou Li, Zesheng Tang:
Segmentation of stick text based on sub connected area analysis. 55-62 - Shimin Hu, Guojin Wang, Jianguang Sun:
A type of triangular ball surface and its properties. 63-72 - Yingqing Xu, Hans E. Dehlinger, Dongxu Qi, Shenquan Liu:
Line-art and its mathematical models. 73-78 - Ruibing Hao, Jianping Wu:
A formal approach to protocol interoperability testing. 79-90 - Zhengfeng Hou:
A topology designing system for a computer network. 91-96
Volume 13, Number 2, March 1998
- Weiwu Hu, Weisong Shi, Zhimin Tang, Ming Li:
A lock-based cache coherence protocol for scope consistency. 97-109 - Weiwu Hu, Weisong Shi, Zhimin Tang:
A framework of memory consistency models. 110-124 - Weiwu Hu, Peisu Xia:
Out-of-order execution in sequentially consistent shared-memory systems: Theory and experiments. 125-140 - Xuebin Chi:
Parallel implementation of linear algebra problems on Dawning-1000. 141-146 - Wei Li, Qiaolin Yang:
Functional-level Fault Simulation with concurrent and parallel mechanisms using object-oriented VLSI model. 147-160 - Xiaofeng Meng, Kam-Fai Wong
, Suen Man Yip, Vincent Y. Lum, Shan Wang:
The processing and improvement of multi-statement queries in Chiql. 161-173 - Zuoquan Lin:
Tableau systems for paraconsistency and minimal inconsistency. 174-188 - Jue Wang, Duoqian Miao:
Analysis on attribute reduction strategies of rough set. 189-192
Volume 13, Number 3, May 1998
- Kewen Wang, Huowang Chen, Quanyuan Wu:
The least fixpoint transformation for disjunctive logic programs. 193-201 - Yuxi Fu:
Symmetric π-calculus. 202-208 - Bo Yi, XianPing Tao, Gianna Cioni, Attilio Colagrossi:
Intuitive minimal abduction in sequent calculi. 209-219 - Bin Li, Xundong Liang, Shenquan Liu:
A surface rendering approach in 3D rectilinear datafield. 220-227 - Zhiqiang Lao, Yunhe Pan:
A knowledge representation model for video-based animation. 228-237 - Kui Fang, Jianrong Tan, Guoqing Zhu:
C 2-( C 3-) continuous interpolation spline curve and surface. 238-245 - Weiguang Guan, Lin Xie, Songde Ma:
Deformable registration of digital images. 246-260 - Wei Ding, Jian Gong, Xiao Yu:
A traffic partition algorithm for switched LANs and its performance analysis. 261-267 - Xiaolong Zhang, Masayuki Numao:
An efficient multiple predicate learner. 268-278 - Shitong Wang, Elizabeth Scott, A. Gamermann:
Extract rules by using rough set and knowledge-based NN. 279-284 - Qiong Zhang, Jiaoying Shi:
Acoustic simulation with dynamic mechanisms in virtual reality. 285-288
Volume 13, Number 4, July 1998
- Yidong Shen:
Extracting schema from an OEM database. 289-299 - Yangjun Chen:
Graph traversal and top-down evaluation of logic queries. 300-316 - Hong Wu, Xumin Nie:
Extending STL with efficient data structures. 317-324 - Yin Zhang, Zhuoqun Xu:
Concurrent manipulation of expanded AVL trees. 325-336 - Ning Gu, Zongkai Lin, Yuchai Guo:
On model, memory management and interface in EDBMS/3. 337-347 - Jianhua Fan, Deyi Li:
An overview of data mining and knowledge discovery. 348-368 - Bin Chen, Yong Hong:
FCV1: A new fast greedy covering algorithm. 369-374 - Shitong Wang:
Normalized exponential neural networks. 375-383 - Minzhe Zhao, Zongkai Lin:
Report from CSCWID'97. 384
Volume 13, Number 5, September 1998
- Zhanyi Hu, Wei Wang, Yi Yang, Songde Ma:
A new definition of the Hough transform. 385-392 - Xin Tong
Hardware assisted fast volume rendering with boundary enhancement. 393-401 - Feng Ma, Shaowei Xia:
A multiscale approach to automatic medical image segmentation using self-organizing map. 402-409 - Haohong Wang, Ruixun Wu, Shijie Cai:
A new algorithm for two-dimensional line clipping via geometric transformation. 410-416 - Junsheng Wu, Guangmao Wu:
Element-partition-based methods for visualization of 3D unstructured grid data. 417-425 - Fang Zheng, Wenhu Wu, Ditang Fang:
Center-distance continuous probability models and the distance measure. 426-437 - Xueyin Lin, Xiangrong Chen, Zhigang Zhu
Range information propagation transform. 438-447 - Jun Song, Guanqun Gu:
Modeling distributed multimedia synchronization with DSPN. 448-454 - Xiaofeng Li, Biao Shou, Shirong Zheng:
Research on the optimal parallel algorithms of broadcast-class problems. 455-463 - Jingzhou Zhou:
A neural network model based on logical operations. 464-470 - Jiyong Ma, Wen Gao:
The supervised learning Gaussian mixture model. 471-474 - Yong Cai, Pheng-Ann Heng, Enhua Wu, Xuehui Liu, Hongju Li, Qingjie Sun:
An image-based virtual reality prototype system. 475-480
Volume 13, Number 6, November 1998
- Pierre-Louis Curien, Matthew Hennessy, Huimin Lin:
Preface. 481 - Colin Stirling:
Playing games and proving properties of concurrent systems. 482 - Enshao Shen:
Some notes on graph automata, tiling systems and partition logic. 483-489 - Matthew Hennessy:
Process Calculi for describing distributed systems. 490 - Ewen Denney:
Simply-typed underdeterminism. 491-508 - Gérard Boudol:
Calculi for concurrent processes. 509 - Yuxi Fu:
Reaction graph. 510-530 - David de Frutos-Escrig
An invitation to friendly testing. 531-545 - G. Huet:
A crash course in λ-calculus. 546 - Ziqiang He:
Another definition of order-sorted algebra. 547-551 - Chaochen Zhou:
An overview of Duration Calculus. 552 - Jinyun Xue:
Formal derivation of graph algorithmic programs using partition-and-recur. 553-561 - Pierre-Louis Curien:
Explicit substitutions: A short survey. 562-563 - Gang Chen:
Dependent type system with subtyping (I) type level transitivity elimination. 564-578 - Yuxi Fu:
Structures definable in polymorphism. 579-587 - Tiegeng Luo, Huowang Chen, Bingshan Wang, Ji Wang, Zhenghu Gong, Zhichang Qi:
Verifying automata specification of distributed probabilistic real-time systems. 588-596 - Hong Lin, Guoliang Chen:
Program construction by verifying specification. 597-607 - Weifeng Lu, Yuping Zhang:
Experimental study on strategy of combining SAT algorithms. 608-614 - Zhenyu Wang:
ρ Graph: Rendezvous ordering graph for Ada concurrent programs. 615-622
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-12-19 22:13 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: