default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Computer Science and Technology, Volume 19
Volume 19, Number 1, January 2004
- Paola Bonizzoni, Gianluca Della Vedova
, Tao Jiang:
Foreword - Special Issue on Bioinformatics. 1 - Giulio Pavesi, Giancarlo Mauri, Graziano Pesole:
An Algorithm for Finding Conserved Secondary Structure Motifs in Unaligned RNA Sequences. 2-12 - Chao Yan, Guo-Liang Chen, Yi-Fei Shen:
Outleir Analysis for Gene Expression Data. 13-21 - Alberto Apostolico, Fang-Cheng Gong, Stefano Lonardi:
Verbumculus and the Discovery of Unusual Words. 22-41 - Luca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen:
The Complexity of Checking Consistency of Pedigree Information and Related Problems. 42-59 - Giuseppe Lancia:
Integer Programming Models for Computational Biology Problems. 60-77 - Mondher Maddouri, Mourad Elloumi:
Encoding of Primary Structures of Biological Macromolecules Within a Data Mining Perspective. 78-88 - Ludek Cienciala, Lucie Ciencialová:
Membrane Automata with Priorities. 89-97 - Natasa Jonoska:
Trends in Computing with DNA. 98-113
Volume 19, Number 2, February 2004
- Ming-Kuan Liu, Fei-Yue Wang, Daniel Dajun Zeng:
Web Caching: A Way to Improve Web QoS. 113-127 - Yantai Shu, Guang-Hong Wang, Lei Wang, Oliver W. W. Yang, Yong-Jie Fan:
Provisioning QoS Guarantee by Multipath Routing and Reservation in Ad Hoc Networks. 128-137 - Su-Bin Shen, Guan-Qun Gu, Shun-Yi Zhang:
A Conceptual Model of Service Customization and Its Implementation. 138-149 - Yong Peng, Shiduan Cheng:
Performance Enhancement and Bandwidth Guarantee in IEEE 802.11 Wireless LANs. 150-157 - Xiansi Tan, Zongkai Yang, Liang Ou, Jing-Wen Chen, Ya-Jie Ma:
An Analytical Framework for Performance of Different Fault Restoration Policies with QoS Constraints in MPLS Networks. 158-168 - Shengli Liu, Fangguo Zhang, Kefei Chen:
Authenticating Tripartite Key Agreement Protocol with Pairings. 169-176 - Yihua Zhu, Ding-Hua Shi, Yong Xiong, Ji Gao, He-Zhi Luo:
A General Probability Formula of the Number of Location Areas' Boundaries Crossed by a Mobile Between Two Successive Call Arrivals. 177-182 - Gao-Cai Wang, Jianer Chen, Guo-Jun Wang:
On Fault Tolerance of 3-Dimensional Mesh Networks. 183-190 - Chunhua Yang, Geert Deconinck, Weihua Gui:
Fault-Tolerant Scheduling for Real-Time Embedded Control Systems . 191-202 - Yuyue Du, Changjun Jiang:
Verifying Functions in Online Stock Trading Systems. 203-212 - Zhao-Xia Wang, Zengqiang Chen, Zhuzhi Yuan:
QoS Routing Optimization Strategy Using Genetic Algorithm in Optical Fiber Communication Networks. 213-217 - Shuming Zhou, Wenjun Xiao:
A New Family of Interconnection Networks of Fixed Degree Three. 218-223 - Guoren Wang, Bing Sun, Jianhua Lv, Ge Yu:
RPE Query Processing and Optimization Techniques for XML Databases. 224-237 - Fang Gu, Cungen Cao, Yuefei Sui, Wen Tian:
Domain-Specific Ontology of Botany. 238-248 - Zhi-Hua Zhou:
Rule Extraction: Using Neural Networks or for Neural Networks? 249-253 - Hao Lin, Zefeng Zhang, Qiang-Feng Zhang, Dongbo Bu, Ming Li:
A Note on the Single Genotype Resolution Problem. 254-257
Volume 19, Number 3, May 2004
- Jiawei Han, Jian Pei, Xifeng Yan:
From Sequential Pattern Mining to Structured Pattern Mining: A Pattern-Growth Approach. 257-279 - Zhinong Zhong, Ning Jing, Luo Chen, Qiu-Yun Wu:
Representing Topological Relationships Among Heterogeneous Geometry-Collection Features. 280-289 - Chunxia Zhang, Cungen Cao, Fang Gu, Jinxin Si:
Domain-Specific Formal Ontology of Archaeology and Its Application in Knowledge Acquisition and Analysis. 290-301 - Cuiping Li, Kum-Hoe Tung, Shan Wang:
Incremental Maintenance of Quotient Cube Based on Galois Lattice.. 302-308 - Chen Wang, Mingsheng Hong, Wei Wang, Baile Shi:
Chopper: Efficient Algorithm for Tree Mining. 309-319 - Ai-Bo Song, Mao-Xian Zhao, Zuo-Peng Liang:
Discovering User Profiles for Web Personalized Recommendation. 320-328
- Xishun Zhao:
Regular Disjunction-Free Default Theories. 329-340 - Zhenhua Duan, Maciej Koutny:
A Framed Temporal Logic Programming Language. 341-351 - Yongjian Li, Xinxin Liu:
Towards a Theory of Bisimulation for the Higher-Order Process Calculi. 352-363 - Yuan Feng, Mingsheng Ying:
Process Algebra Approach to Reasoning About Concurrent Actions. 364-373
- Guanghui Wang, Zhanyi Hu, Fuchao Wu:
Single View Based Measurement on Space Planes. 374-382 - Pin Liao, Li Shen:
Unified Probabilistic Models for Face Recognition from a Single Example Image per Person. 383-392 - Xiaofeng Mi, Min Tang, Jinxiang Dong:
Droplet: A Virtual Brush Model to Simulate Chinese Calligraphy and Painting. 393-404 - Cheng Wang, Runsheng Wang:
Super-Resolution Reconstruction of Image Sequence Using Multiple Motion Estimation Fusion. 405-412 - Tao Wang, Yong Rui, Jia-Guang Sun:
Improving Retrieval Performance by Region Constraints and Relevance Feedback. 413-422 - Maojun Zhang, Nicolas D. Georganas:
An Orientation Update Message Filtering Algorithm in Collaborative Virtual Environments. 423-429
Volume 19, Number 4, July 2004
- Suqing Han, Jue Wang:
Reduct and Attribute Order. 429-449 - Jun He, Xin Yao:
Time Complexity Analysis of an Evolutionary Algorithm for Finding Nearly Maximum Cardinality Matching. 450-458 - Jing Chen, Zi-Ning Cao:
Model Checking Real-Time Value-Passing Systems. 459-471 - Tian-Ming Bu, Song-Nian Yu, Hui-Wei Guan:
Binary-Coding-Based Ant Colony Optimization and Its Convergence. 472-478 - Gai-Tai Huang, Hsiu-Hsen Yao:
Chinese Question-Answering System. 479-488 - Qiang Wang, Haizhou Ai, Guangyou Xu:
Learning-Based Tracking of Complex Non-Rigid Motion. 489-500 - Ronghua Liang, Zhigeng Pan, Chun Chen:
New Algorithm for 3D Facial Model Reconstruction and Its Application in Virtual Reality. 501-509 - Jianwei Yang, Lifeng Liu, Tianzi Jiang:
Efficient Fingerprint Matching Algorithm for Integrated Circuit Cards. 510-520 - Guofei Hu, Qunsheng Peng, A. Robin Forrest:
Robust Mesh Smoothing. 521-528 - Yong-You Ma, Hui Zhang, Shou-Wei Jiang:
Realistic Modeling and Animation of Human Body Based on Scanned Data. 529-537 - Abbas H. Hassin, Xianglong Tang, Jiafeng Liu, Wei Zhao:
Printed Arabic Character Recognition Using HMM. 538-543 - Zhaozhi Yang, Zeyi Wang:
New Multipole Method for 3-D Capacitance Extraction. 544-549
- Hong-Da Li, Dongyao Ji, Dengguo Feng, Bao Li:
Oblivious Polynomial Evaluation. 550-554 - Rui Xue, Dengguo Feng:
New Semantic Model for Authentication Protocols in ASMs. 555-563 - Yuanbo Guo, Jianfeng Ma:
Practical Secret Sharing Scheme Realizing Generalized Adversary Structure. 564-569 - Tzer-Shyong Chen, Kuo-Hsuan Huang, Yu-Fang Chung:
Digital Multi-Signature Scheme Based on the Elliptic Curve Cryptosystem. 570-573
Volume 19, Number 5, September 2004
- Nadia Magnenat-Thalmann, Hyewon Seo, Frederic Cordier:
Automatic Modeling of Virtual Humans and Body Clothing. 575-584 - Amaury Aubel, Daniel Thalmann:
MuscleBuilder: A Modeling Tool for Human Anatomy. 585-595 - Kun Zhou, Hujun Bao, Jiaoying Shi, Qunsheng Peng:
Geometric Signal Compression. 596-606 - Yong-Jin Liu, Kai Tang, Matthew Ming-Fai Yuen:
Multiresolution Free Form Object Modeling with Point Sampled Geometry. 607-617 - Pei-Hsuan Tu, I-Chen Lin, Jeng-Sheng Yeh, Rung-Huei Liang, Ming Ouhyoung:
Surface Detail Capturing for Realistic Facial Animation. 618-625 - Xueying Qin, Eihachiro Nakamae, Wei Hua, Yasuo Nagai, Qunsheng Peng:
Anti-Aliased Rendering of Water Surface. 626-632 - Wencheng Wang, Kuiyu Li, Xin Zheng, Enhua Wu:
Layered Textures for Image-Based Rendering. 633-642 - Fu-Li Wu, Chun-Hui Mei, Jiao-Ying Shi:
Method of Direct Texture Synthesis on Arbitrary Surfaces. 643-649 - Jian-Jun Zhang, Lihua You:
PDE Surface Generation with Combined Closed and Non-Closed Form Solutions. 650-656 - Huawei Wang, Kaihuai Qin:
Estimating Subdivision Depth of Catmull-Clark Surfaces. 657-664 - Yang Liu, Falai Chen:
Algebraic Conditions for Classifying the Positional Relationships Between Two Conics and Their Applications. 665-673 - Chunhong Pan, Hongping Yan, Songde Ma:
Parametric Tracking of Legs by Exploiting Intelligent Edge. 674-683 - Pin Liao, Li Shen, Yi-Qiang Chen, Shu-Chang Liu:
Unified Model in Identity Subspace for Face Recognition. 684-690 - Hui Chen:
Gradient-Based Approach for Fine Registration of Panorama Images. 691-697 - Zhongxuan Liu, Hongjian Wang, Silong Peng:
Image Magnification Method Using Joint Diffusion. 698-707 - Yong-Jun Xu, Zuying Luo, Xiaowei Li, Li-Jian Li, Xianlong Hong:
Leakage Current Estimation of CMOS Circuit with Stack Effect. 708-717 - Tun Li, Yang Guo, Sikun Li:
Automatic Circuit Extractor for HDL Description Using Program Slicing. 718-728 - Heng Hu, Hong-Xi Xue, Ji-Nian Bian:
HSM2: A New Heuristic State Minimization Algorithm for Finite State Machine. 729-733
Volume 19, Number 6, November 2004
- Yong He, Yiwei Jiang:
Preemptive Semi-Online Scheduling with Tightly-Grouped Processing Times. 733-739 - Peng Zou, Zhi Zhou, Ying-Yu Wan, Guo-Liang Chen, Jun Gu:
New Meta-Heuristic for Combinatorial Optimization Problems: Intersection Based Scaling. 740-751 - Hong-Bin Zhang, Cheng Yang, Xiao-Mei Quan:
Image Authentication Based on Digital Signature and Semi-Fragile Watermarking. 752-759 - Kenli Li, Renfa Li, Qing-Hua Li:
Optimal Parallel Algorithm for the Knapsack Problem Without Memory Conflicts. 760-768 - Jun-Feng Tian, Junwei Zhang, Feng-Xian Wang:
Fault Tolerant Algorithm Based on Dynamic and Active Load Balancing for Redundant Services. 769-775 - Wen-Qi Huang, Zhi Huang:
Algorithm Based on Taboo Search and Shifting Bottleneck for Job Shop Scheduling. 776-781 - Yong Zhang, Hong Zhu:
Approximation Algorithm for Weighted Weak Vertex Cover. 782-786 - Xianchao Zhang, Ying-Yu Wan, Guo-Liang Chen:
Max-Flow Problem in Undirected Planar Networks with Node Capacities Being in NC. 787-790 - Zimao Li, Da-Ming Zhu, Shao-Han Ma:
Approximation Algorithm for Bottleneck Steiner Tree Problem in the Euclidean Plane. 791-794
- Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay:
Verifying Mutual Exclusion and Liveness Properties with Split Preconditions. 795-802 - Jinzhao Wu, Harald Fecher:
Symmetric Structure in Logic Programming. 803-811 - Wei-Wen Xu:
Automatic Generation of Symbolic Model for Parameterized Synchronous Systems. 812-819 - Yong-Bin Li, Wu Liu, Xiao-Lin Xiang:
Geometry Theorem Proving by Decomposing Polynomial Systems into Strong Regular Sets. 820-827 - Xiuli Sun, Wenyin Zhang, Jinzhao Wu:
Operational Semantics and a Consistency Result for Real-Time Concurrent Processes with Action Refinement. 828-839 - Haiming Chen, Yunmei Dong:
Practical Type Checking of Functions Defined on Context-Free Languages. 840-847 - Bixin Li, Xiaocong Fan, Jun Pang, Jianjun Zhao:
Model for Slicing JAVA Programs Hierarchically. 848-858 - Zhenqiang Chen, Baowen Xu, Yuming Zhou:
Measuring Class Cohesion Based on Dependence Analysis. 859-866 - Wei Wang, Qingqing Yuan, Haofeng Zhou, Mingsheng Hong, Baile Shi:
Extracting Frequent Connected Subgraphs from Large Graph Sets. 867-875 - Xiuli Ma, Yunhai Tong, Shi-Wei Tang, Dongqing Yang:
Efficient Incremental Maintenance of Frequent Patterns with FP-Tree. 876-884
- Kyung-Oh Lee, Jung-Ho Park, Yoon-Young Park:
Striping and Scheduling for Large Scale Multimedia Servers. 885-895 - Wei Wei, Qingji Zeng:
Integrated Differentiated Survivability in IP over WDM Networks. 896-908 - Yuan Zhou, Guangsheng Li, Yongzhao Zhan, Qirong Mao, Yibin Hou:
DRMR: Dynamic-Ring-Based Multicast Routing Protocol for Ad Hoc Networks. 909-919 - Qing-Hua Zheng, David L. Pepyne, Qing Wang:
New Approach to WLAN Security with Synchronized Pseudo Random. 920-927 - Fei Wang, Jin-Tao Li, Yong-Dong Zhang, Shouxun Lin:
Semantic and Structural Analysis of TV Diving Programs. 928-935 - Ning Chen, Jiawei Rong:
Memorizable Interactive Proof and Zero-Knowledge Proof Systems. 936-841 - Hong-Da Li, Xiong Yang, Dengguo Feng, Bao Li:
Distributed Oblivious Function Evaluation and Its Applications. 942-947 - Keping Long, Yun Li, Rodney S. Tucker, Chonggang Wang:
A Novel Framework for IP DiffServ over Optical Burst Switching Networks. 948-954
- Subhashis Majumder, Bhargab B. Bhattacharya, Vishwani D. Agrawal, Michael L. Bushnell:
A New Classification of Path-Delay Fault Testability in Terms of Stuck-at Faults. 955-964 - Dan Feng, Hong Jiang, Yifeng Zhu:
I/O Performance of an RAID-10 Style Parallel File System. 965-972 - Song Chen, Xianlong Hong, Sheqin Dong, Yuchun Ma, Chung-Kuan Cheng, Jun Gu:
Fast Evaluation of Bounded Slice-Line Grid. 973-980 - Ren-Ren Liu, Song-Qiao Chen, Jian-Er Chen, Shu Li:
Some Results on the Minimal Coverings of Precomplete Classes in Partial k-Valued Logic Functions. 981-985 - Zhen-Hua Duan:
Erratum to A framed temporal logic programming language. 985
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 2025-02-21 19:34 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:
