default search action
Journal of Computer Science and Technology, Volume 15
Volume 15, Number 1, January 2000
- Huimin Lin:
Computing Bisimulations for Finite-Control pi-Calculus. 1-9 - Ren-ji Tao, Shihua Chen:
Constructing Finite Automata with Invertibility by Transformation Method. 10-26
- Wei Sun:
Multi-Volume CAD Modeling for Heterogeneous Object Design and Fabrication. 27-36 - Taosong He:
Volumetric Virtual Environments. 37-46 - Xing Changyu, Jizhou Sun, Richard L. Grimsdale:
An Accelerated Incremental Radiosity Algorithm. 47-55 - Shuming Gao, Huagen Wan, Qunsheng Peng:
Constraint-Based Virtual Solid Modeling. 56-63 - Yu Huang, Guangyou Xu, Yuanxin Zhu:
Extraction of Spatial-Temporal Features for Vision-Based Gesture Recognition. 64-72 - Weisong Shi, Zhimin Tang, Shi Jinsong:
Using Confidence Interval to Summarize the Evaluating Results of DSM Systems. 73-83 - Liang Yu, Li Shu, Hui Zhang, Chengde Han:
Timing-Sequence Testing of Parallel Programs. 84-95
- Jun Ma, Bo Yang, Shaohan Ma:
A Practical Algorithm for the Minimum Rectilinear Steiner Tree. 96-99 - Huagen Wan, Xiaogang Jin, Hujun Bao:
Direct 3D Painting with a Metaball-Based Paintbrush. 100-104
Volume 15, Number 2, March 2000
- Huaimin Wang, Quanyuan Wu:
A Formal Framework of Multi-Agent Systems with Requirement/Service Cooperative Style. 106-115
- Yingyu Wan, Yinlong Xu, Xiaodong Gu, Guoliang Chen:
Efficient Minimum Spanning Tree Algorithms on the Reconfigurable Mesh. 116-125 - Jing Gu, Dianxun Shuai:
The Faster Higher-Order Cellular Automaton for Hyper-Parallel Undistorted Data Compression. 126-135 - Junzhou Luo, Guanqun Gu, Fei Xiang:
An Architectural Model for Intelligent Network Management. 136-143 - Fei Xiang, He Xiaoyan, Junzhou Luo, Jieyi Wu, Guanqun Gu:
Fuzzy Neural Network Based Traffic Prediction and Congestion Control in High-Speed Networks. 144-149 - Tao Zou, Jicheng Wang, Fuyan Zhang:
Information Service Model with Mobile Agent Supported. 150-157 - Hao Huang, Guihai Chen, Li Xie, Zhongxiu Sun:
Multicast Protocol for Uni-Directional Networks. 158-168 - Xiaohui Wei, Jiubin Ju:
SFT: A Consistent Checkpointing Algorithm with Short Freezing Time. 169-175 - Layuan Li, Chunlin Li:
A Semantics-Based Approach for Achieving Self Fault-Tolerance of Protocols. 176-183 - Yiying Zhang, Xiaoyan Zhu, Bo Zhang:
A New Speaker Verification Method with Global Speaker Model and Likelihood Score Normalization. 184-193
- Tian Liu:
A Note on Closeness between NP-Hard Sets and C=P. 194-195 - Husheng Liao:
An Action Analysis for Combining Partial Evaluation. 196-200
Volume 15, Number 3, May 2000
- Wei Li, Shangmin Luan:
Operational and Complete Approaches to Belief Revision. 202-212 - Jianzhong Li, Yingshu Li, Jaideep Srivastava:
Efficient Aggregation Algorithms on Very Large Compressed Data Warehouses. 213-229 - Zongmin Ma
, Wen-Jun Zhang
Extending the Relational Model to Deal with Probabilistic Data. 230-240 - Aoying Zhou, Wen Jin, Shuigeng Zhou, Weining Qian, Zengping Tian:
Incremental Mining of the Schema of Semistructured Data. 241-248 - Ning Gu, Xuebiao Xu, Baile Shi:
Design and Implementation of an Interoperable Object Platform for Multi-Databases. 249-260 - Xiaopeng Tao, Aoying Zhou, Yunfa Hu:
Fast Algorithms of Mining Probability Functional Dependency Rules in Relational Database. 261-270 - Jinzhao Wu, Zhuojun Liu:
Linear Strategy for Boolean Ring Based Theorem Proving. 271-279 - Du Lin, Yufang Sun:
A New Indexing Method Based on Word Proximity for Chinese Text Retrieval. 280-286
- GuoQiang Peng, Cheng Hu:
A Causal Model for Diagnostic Reasoning. 287-294 - Wu Jigang, Yongchang Ji, Guoliang Chen:
An Optimal Online Algorithm for Halfplane Intersection. 295-299
- Liu Bin, Zengxiang Lu, Gan Quan, Feng Ao, Pu Wang:
Infomarker - A New Internet Information Service System. 300-304
Volume 15, Number 4, July 2000
- Ren-ji Tao, Shihua Chen:
Input-Trees of Finite Automata and Application to Cryptanalysis. 305-325 - Shiyi Xu, Tukwasibwe Justaf Frank:
Forecasting the Efficiency of Test Generation Algorithms for Combinational Circuits. 326-337 - Xiaowei Li, Paul Y. S. Cheung:
High Level Synthesis for Loop-Based BIST. 338-345 - Xiaofeng Meng, Shuang Liu, Shan Wang:
Word Segmentation Based on Database Semantics in NChiql. 346-354 - Qingping Guo, Yakup Paker, Shesheng Zhang, Dennis Parkinson, Jianing Wei:
Optimum Tactics of Parallel Multi-Grid Algorithm with Virtual BoundaryForecast Method Running on a Local Network with the PVM Platform. 355-359 - Luo Jianhua, Tiange Zhuang:
Reduction of Artifacts in Images from MR Truncated Data Using Singularity Spectrum Analysis. 360-367
- Xiaofei Xu, Dan Ye, Quanlong Li, Dechen Zhan:
Dynamic Organization and Methodology for Agile Virtual Enterprises. 368-375 - Wenjun Wang, Zhong Cuihao:
The Distributed Workflow Management System - FlowAgent. 376-382
- Yang Xun, Liu Mingye:
Cycle-Based Algorithm Used to Accelerate VHDL Simulation. 383-387 - Aoying Zhou, Shuigeng Zhou, Wen Jin, Zengping Tian:
Generalized Multidimensional Association Rules. 388-392 - Xiaohui Wei, Jiubin Ju:
SCR Algorithm: Saving/Restoring States of File Systems. 393-400
Volume 15, Number 5, September 2000
- Tao Jiang
Average-Case Analysis of Algorithms Using Kolmogorov Complexity. 402-408 - Xumin Nie, Qing Guo:
Renaming a Set of Non-Horn Clauses. 409-415 - Sui-Xiang Gao, Guo-Hui Lin:
Decision Tree Complexity of Graph Properties with Dimension at Most 5. 416-422 - Jianhua Zhao, Dang Van Hung:
Checking Timed Automata for Linear Duration Properties. 423-429 - Dongmo Zhang, Zhaohui Zhu, Shifu Chen:
Default Reasoning and Belief Revision: A Syntax-Independent Approach. 430-438 - Tian Liu:
Some Structural Properties of SAT. 439-444 - Hong Jinwei, Guoliang Chen, Zhaoqing Zhang:
Supporting Flexible Data Distribution in Software DSMs. 445-452 - Xianghui Xie, Chengde Han:
Limited Multiple-Writer: An Approach to Dealing with False Sharing in Software DSMs. 453-460 - Fang Zheng, Jian Wu, Zhanjiang Song:
Improving the Syllable-Synchronous Network Search Algorithm for Word Decoding in Continuous Chinese Speech Recognition. 461-471 - Xiaowei Li, Paul Y. S. Cheung:
Exploiting Deterministic TPG for Path Delay Testing. 472-479
- Xicheng Liu, Timothy J. Li:
Implementation of a Prototype VoIP System. 480-484 - Xu Lin, Wen Gao:
Study on Translating Chinese into Chinese Sign Language. 485-490 - Feng Jing, Ma Xiaojun, Gu Boxuan, Guanqun Gu:
An Aided Tool for Enterprise Network Design. 491-496
Volume 15, Number 6, November 2000
- Yaoxue Zhang, Wang Xiaochun, Jun Gu:
An End-to-End QoS Control Model for Enhanced Internet. 497-508 - Aoying Zhou, Shuigeng Zhou, Jing Cao, Ye Fan, Yunfa Hu:
Approaches for Scaling DBSCAN Algorithm to Large Spatial Databases. 509-526
- Ji-Rong Wen, Chen Hong, Shan Wang:
POTENTIAL: A Highly Adaptive Core of Parallel Database System. 527-541 - Wei Wang, Yujun Wang, Baile Shi:
Dynamic Interval Index Structure in Constraint Database Systems. 542-551 - Yongqiang Sun, Kai Lin, Chao-Jun Lu:
Partial Completion of Equational Theories. 552-559 - Zhang Wensong, Shiyao Jin, Quanyuan Wu:
LinuxDirector: A Connection Director for Scalable Internet Services. 560-571 - Jianping Song, Zifeng Hou, Shi Yuntao:
An Optimal Multicast Algorithm for Cube-Connected Cycles. 572-583 - Yuxin Ding, Jia Mei, Hu Cheng:
Design and Implementation of Java Just-in-Time Compiler. 584-590 - Liu Songyan, Zhigang Mao, Yizheng Ye:
Implementation of Java Card Virtual Machine. 591-596 - Zhiming Xu, Xiaolong Wang:
A New Linguistic Decoding Method for Online Handwritten Chinese Character Recognition. 597-603 - Guoping Wang, Hua Xuanji, Jia-Guang Sun:
The Differential Equation Algorithm for General Deformed Swept Volumes. 604-610 - Jicheng Wang, Xiangyu Jin, Xiaojiang Yang, Fuyan Zhang:
Distributed and Cooperative Information Retrieval on the World Wide Web. 611-618
- Liusheng Huang, Huaping Chen, Wang Xun, Guoliang Chen:
A Fast Algorithm for Mining Association Rules. 619-624 - Meng Bo, Lei Guo, Shifu Chen:
DPAL: Deductive Language for Embroidery Pattern Assembling. 625-628 - Alberto Rocha, Tong Fu, Yan Zhuangzhi:
A Logic Filter for Tumor Detection on Mammograms. 629-632
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-04 20:33 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: