Search dblp for Publications

export results for "toc:db/journals/jcst/jcst13.bht:"

 download as .bib file

@article{DBLP:journals/jcst/Boudol98,
  author       = {G{\'{e}}rard Boudol},
  title        = {Calculi for concurrent processes},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {6},
  pages        = {509},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946492},
  doi          = {10.1007/BF02946492},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/Boudol98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/CaiHWLLS98,
  author       = {Yong Cai and
                  Pheng{-}Ann Heng and
                  Enhua Wu and
                  Xuehui Liu and
                  Hongju Li and
                  Qingjie Sun},
  title        = {An image-based virtual reality prototype system},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {5},
  pages        = {475--480},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02948507},
  doi          = {10.1007/BF02948507},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/CaiHWLLS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/Chen98,
  author       = {Yangjun Chen},
  title        = {Graph traversal and top-down evaluation of logic queries},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {4},
  pages        = {300--316},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946620},
  doi          = {10.1007/BF02946620},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/Chen98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/Chen98a,
  author       = {Gang Chen},
  title        = {Dependent type system with subtyping {(I)} type level transitivity
                  elimination},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {6},
  pages        = {564--578},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946500},
  doi          = {10.1007/BF02946500},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/Chen98a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/ChenH98,
  author       = {Bin Chen and
                  Yong Hong},
  title        = {FCV\({}_{\mbox{1}}\): {A} new fast greedy covering algorithm},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {4},
  pages        = {369--374},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946625},
  doi          = {10.1007/BF02946625},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/ChenH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/Chi98,
  author       = {Xuebin Chi},
  title        = {Parallel implementation of linear algebra problems on Dawning-1000},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {2},
  pages        = {141--146},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946602},
  doi          = {10.1007/BF02946602},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/Chi98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/Curien98,
  author       = {Pierre{-}Louis Curien},
  title        = {Explicit substitutions: {A} short survey},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {6},
  pages        = {562--563},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946499},
  doi          = {10.1007/BF02946499},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/Curien98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/CurienHL98,
  author       = {Pierre{-}Louis Curien and
                  Matthew Hennessy and
                  Huimin Lin},
  title        = {Preface},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {6},
  pages        = {481},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946487},
  doi          = {10.1007/BF02946487},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/CurienHL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/Denney98,
  author       = {Ewen Denney},
  title        = {Simply-typed underdeterminism},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {6},
  pages        = {491--508},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946491},
  doi          = {10.1007/BF02946491},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/Denney98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/DingGY98,
  author       = {Wei Ding and
                  Jian Gong and
                  Xiao Yu},
  title        = {A traffic partition algorithm for switched LANs and its performance
                  analysis},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {3},
  pages        = {261--267},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02943194},
  doi          = {10.1007/BF02943194},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/DingGY98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/Dong98,
  author       = {Yunmei Dong},
  title        = {An interactive learning algorithm for acquisition of concepts represented
                  as {CFL}},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {1},
  pages        = {1--8},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946607},
  doi          = {10.1007/BF02946607},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/Dong98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/FanL98,
  author       = {Jianhua Fan and
                  Deyi Li},
  title        = {An overview of data mining and knowledge discovery},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {4},
  pages        = {348--368},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946624},
  doi          = {10.1007/BF02946624},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/FanL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/FangTZ98,
  author       = {Kui Fang and
                  Jianrong Tan and
                  Guoqing Zhu},
  title        = {\emph{C} \({}^{\mbox{2}}\)-( \emph{C} \({}^{\mbox{3}}\)-) continuous
                  interpolation spline curve and surface},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {3},
  pages        = {238--245},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02943192},
  doi          = {10.1007/BF02943192},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/FangTZ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/Frutos-EscrigDN98,
  author       = {David de Frutos{-}Escrig and
                  Luis Fernando Llana D{\'{\i}}az and
                  Manuel N{\'{u}}{\~{n}}ez},
  title        = {An invitation to friendly testing},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {6},
  pages        = {531--545},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946494},
  doi          = {10.1007/BF02946494},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/Frutos-EscrigDN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/Fu98,
  author       = {Yuxi Fu},
  title        = {Symmetric {\(\pi\)}-calculus},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {3},
  pages        = {202--208},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02943188},
  doi          = {10.1007/BF02943188},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/Fu98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/Fu98a,
  author       = {Yuxi Fu},
  title        = {Reaction graph},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {6},
  pages        = {510--530},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946493},
  doi          = {10.1007/BF02946493},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/Fu98a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/Fu98b,
  author       = {Yuxi Fu},
  title        = {Structures definable in polymorphism},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {6},
  pages        = {579--587},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946501},
  doi          = {10.1007/BF02946501},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/Fu98b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/GaoLT98,
  author       = {Jingbo Gao and
                  Xinyou Li and
                  Zesheng Tang},
  title        = {Segmentation of stick text based on sub connected area analysis},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {1},
  pages        = {55--62},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946614},
  doi          = {10.1007/BF02946614},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/GaoLT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/GuLG98,
  author       = {Ning Gu and
                  Zongkai Lin and
                  Yuchai Guo},
  title        = {On model, memory management and interface in {EDBMS/3}},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {4},
  pages        = {337--347},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946623},
  doi          = {10.1007/BF02946623},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/GuLG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/GuanXM98,
  author       = {Weiguang Guan and
                  Lin Xie and
                  Songde Ma},
  title        = {Deformable registration of digital images},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {3},
  pages        = {246--260},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02943193},
  doi          = {10.1007/BF02943193},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/GuanXM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/HaoW98,
  author       = {Ruibing Hao and
                  Jianping Wu},
  title        = {A formal approach to protocol interoperability testing},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {1},
  pages        = {79--90},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946617},
  doi          = {10.1007/BF02946617},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/HaoW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/He98,
  author       = {Ziqiang He},
  title        = {Another definition of order-sorted algebra},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {6},
  pages        = {547--551},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946496},
  doi          = {10.1007/BF02946496},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/He98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/Hennessy98,
  author       = {Matthew Hennessy},
  title        = {Process Calculi for describing distributed systems},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {6},
  pages        = {490},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946490},
  doi          = {10.1007/BF02946490},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/Hennessy98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/Hou98,
  author       = {Zhengfeng Hou},
  title        = {A topology designing system for a computer network},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {1},
  pages        = {91--96},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946618},
  doi          = {10.1007/BF02946618},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/Hou98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/HuB98,
  author       = {Yunfa Hu and
                  Wolfgang Bibel},
  title        = {Reduction of cycle unification of type Cpg+r},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {1},
  pages        = {18--24},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946610},
  doi          = {10.1007/BF02946610},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/HuB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/HuST98,
  author       = {Weiwu Hu and
                  Weisong Shi and
                  Zhimin Tang},
  title        = {A framework of memory consistency models},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {2},
  pages        = {110--124},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946600},
  doi          = {10.1007/BF02946600},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/HuST98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/HuSTL98,
  author       = {Weiwu Hu and
                  Weisong Shi and
                  Zhimin Tang and
                  Ming Li},
  title        = {A lock-based cache coherence protocol for scope consistency},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {2},
  pages        = {97--109},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946599},
  doi          = {10.1007/BF02946599},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/HuSTL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/HuWS98,
  author       = {Shimin Hu and
                  Guojin Wang and
                  Jianguang Sun},
  title        = {A type of triangular ball surface and its properties},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {1},
  pages        = {63--72},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946615},
  doi          = {10.1007/BF02946615},
  timestamp    = {Mon, 14 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/HuWS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/HuWYM98,
  author       = {Zhanyi Hu and
                  Wei Wang and
                  Yi Yang and
                  Songde Ma},
  title        = {A new definition of the Hough transform},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {5},
  pages        = {385--392},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02948496},
  doi          = {10.1007/BF02948496},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/HuWYM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/HuX98,
  author       = {Weiwu Hu and
                  Peisu Xia},
  title        = {Out-of-order execution in sequentially consistent shared-memory systems:
                  Theory and experiments},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {2},
  pages        = {125--140},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946601},
  doi          = {10.1007/BF02946601},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/HuX98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/HuangL98,
  author       = {Wenqi Huang and
                  Wei Li},
  title        = {A hopeful {CNF-SAT} algorithm - Its high efficiency, industrial application
                  and limitation},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {1},
  pages        = {9--12},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946608},
  doi          = {10.1007/BF02946608},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/HuangL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/Huet98,
  author       = {G. Huet},
  title        = {A crash course in {\(\lambda\)}-calculus},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {6},
  pages        = {546},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946495},
  doi          = {10.1007/BF02946495},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/Huet98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/LaoP98,
  author       = {Zhiqiang Lao and
                  Yunhe Pan},
  title        = {A knowledge representation model for video-based animation},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {3},
  pages        = {228--237},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02943191},
  doi          = {10.1007/BF02943191},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/LaoP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/LiLL98,
  author       = {Bin Li and
                  Xundong Liang and
                  Shenquan Liu},
  title        = {A surface rendering approach in 3D rectilinear datafield},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {3},
  pages        = {220--227},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02943190},
  doi          = {10.1007/BF02943190},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/LiLL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/LiSZ98,
  author       = {Xiaofeng Li and
                  Biao Shou and
                  Shirong Zheng},
  title        = {Research on the optimal parallel algorithms of broadcast-class problems},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {5},
  pages        = {455--463},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02948504},
  doi          = {10.1007/BF02948504},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/LiSZ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/LiY98,
  author       = {Wei Li and
                  Qiaolin Yang},
  title        = {Functional-level Fault Simulation with concurrent and parallel mechanisms
                  using object-oriented {VLSI} model},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {2},
  pages        = {147--160},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946603},
  doi          = {10.1007/BF02946603},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/LiY98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/Lin98,
  author       = {Zuoquan Lin},
  title        = {Tableau systems for paraconsistency and minimal inconsistency},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {2},
  pages        = {174--188},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946605},
  doi          = {10.1007/BF02946605},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/Lin98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/LinC98,
  author       = {Hong Lin and
                  Guoliang Chen},
  title        = {Program construction by verifying specification},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {6},
  pages        = {597--607},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946503},
  doi          = {10.1007/BF02946503},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/LinC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/LinCZS98,
  author       = {Xueyin Lin and
                  Xiangrong Chen and
                  Zhigang Zhu and
                  Dingji Shi},
  title        = {Range information propagation transform},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {5},
  pages        = {438--447},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02948502},
  doi          = {10.1007/BF02948502},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcst/LinCZS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/LuZ98,
  author       = {Weifeng Lu and
                  Yuping Zhang},
  title        = {Experimental study on strategy of combining {SAT} algorithms},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {6},
  pages        = {608--614},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946504},
  doi          = {10.1007/BF02946504},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/LuZ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/LuoCWWGQ98,
  author       = {Tiegeng Luo and
                  Huowang Chen and
                  Bingshan Wang and
                  Ji Wang and
                  Zhenghu Gong and
                  Zhichang Qi},
  title        = {Verifying automata specification of distributed probabilistic real-time
                  systems},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {6},
  pages        = {588--596},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946502},
  doi          = {10.1007/BF02946502},
  timestamp    = {Tue, 28 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/LuoCWWGQ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/MaG98,
  author       = {Jiyong Ma and
                  Wen Gao},
  title        = {The supervised learning Gaussian mixture model},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {5},
  pages        = {471--474},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02948506},
  doi          = {10.1007/BF02948506},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/MaG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/MaX98,
  author       = {Feng Ma and
                  Shaowei Xia},
  title        = {A multiscale approach to automatic medical image segmentation using
                  self-organizing map},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {5},
  pages        = {402--409},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02948498},
  doi          = {10.1007/BF02948498},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/MaX98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/MengWYLW98,
  author       = {Xiaofeng Meng and
                  Kam{-}Fai Wong and
                  Suen Man Yip and
                  Vincent Y. Lum and
                  Shan Wang},
  title        = {The processing and improvement of multi-statement queries in Chiql},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {2},
  pages        = {161--173},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946604},
  doi          = {10.1007/BF02946604},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/MengWYLW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/Shen98,
  author       = {Yidong Shen},
  title        = {Extracting schema from an {OEM} database},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {4},
  pages        = {289--299},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946619},
  doi          = {10.1007/BF02946619},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/Shen98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/Shen98a,
  author       = {Enshao Shen},
  title        = {Some notes on graph automata, tiling systems and partition logic},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {6},
  pages        = {483--489},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946489},
  doi          = {10.1007/BF02946489},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/Shen98a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/SongG98,
  author       = {Jun Song and
                  Guanqun Gu},
  title        = {Modeling distributed multimedia synchronization with {DSPN}},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {5},
  pages        = {448--454},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02948503},
  doi          = {10.1007/BF02948503},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/SongG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/Stirling98,
  author       = {Colin Stirling},
  title        = {Playing games and proving properties of concurrent systems},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {6},
  pages        = {482},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946488},
  doi          = {10.1007/BF02946488},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/Stirling98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/TongT98,
  author       = {Xin Tong and
                  Zesheng Tang},
  title        = {Hardware assisted fast volume rendering with boundary enhancement},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {5},
  pages        = {393--401},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02948497},
  doi          = {10.1007/BF02948497},
  timestamp    = {Tue, 11 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/TongT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/Wang98,
  author       = {Shitong Wang},
  title        = {Normalized exponential neural networks},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {4},
  pages        = {375--383},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946626},
  doi          = {10.1007/BF02946626},
  timestamp    = {Thu, 07 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcst/Wang98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/Wang98a,
  author       = {Zhenyu Wang},
  title        = {{\(\rho\)} Graph: Rendezvous ordering graph for Ada concurrent programs},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {6},
  pages        = {615--622},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946505},
  doi          = {10.1007/BF02946505},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/Wang98a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/WangCW98,
  author       = {Kewen Wang and
                  Huowang Chen and
                  Quanyuan Wu},
  title        = {The least fixpoint transformation for disjunctive logic programs},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {3},
  pages        = {193--201},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02943187},
  doi          = {10.1007/BF02943187},
  timestamp    = {Wed, 27 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/WangCW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/WangD98,
  author       = {Haiqin Wang and
                  Ruwei Dai},
  title        = {Document analysis by crosscount approach},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {1},
  pages        = {32--40},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946612},
  doi          = {10.1007/BF02946612},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/WangD98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/WangM98,
  author       = {Jue Wang and
                  Duoqian Miao},
  title        = {Analysis on attribute reduction strategies of rough set},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {2},
  pages        = {189--192},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946606},
  doi          = {10.1007/BF02946606},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/WangM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/WangSG98,
  author       = {Shitong Wang and
                  Elizabeth Scott and
                  A. Gamermann},
  title        = {Extract rules by using rough set and knowledge-based {NN}},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {3},
  pages        = {279--284},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02943196},
  doi          = {10.1007/BF02943196},
  timestamp    = {Thu, 07 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcst/WangSG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/WangWC98,
  author       = {Haohong Wang and
                  Ruixun Wu and
                  Shijie Cai},
  title        = {A new algorithm for two-dimensional line clipping via geometric transformation},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {5},
  pages        = {410--416},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02948499},
  doi          = {10.1007/BF02948499},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/WangWC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/WangZ98,
  author       = {Aiqun Wang and
                  Nanning Zheng},
  title        = {Multiplicative inhibitory velocity detector and multi-velocity motion
                  detection neural network model},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {1},
  pages        = {41--54},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946613},
  doi          = {10.1007/BF02946613},
  timestamp    = {Tue, 29 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/WangZ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/WuN98,
  author       = {Hong Wu and
                  Xumin Nie},
  title        = {Extending {STL} with efficient data structures},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {4},
  pages        = {317--324},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946621},
  doi          = {10.1007/BF02946621},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/WuN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/WuW98,
  author       = {Junsheng Wu and
                  Guangmao Wu},
  title        = {Element-partition-based methods for visualization of 3D unstructured
                  grid data},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {5},
  pages        = {417--425},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02948500},
  doi          = {10.1007/BF02948500},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/WuW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/XuHQL98,
  author       = {Yingqing Xu and
                  Hans E. Dehlinger and
                  Dongxu Qi and
                  Shenquan Liu},
  title        = {Line-art and its mathematical models},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {1},
  pages        = {73--78},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946616},
  doi          = {10.1007/BF02946616},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/XuHQL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/Xue98,
  author       = {Jinyun Xue},
  title        = {Formal derivation of graph algorithmic programs using partition-and-recur},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {6},
  pages        = {553--561},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946498},
  doi          = {10.1007/BF02946498},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/Xue98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/YiTCC98,
  author       = {Bo Yi and
                  XianPing Tao and
                  Gianna Cioni and
                  Attilio Colagrossi},
  title        = {Intuitive minimal abduction in sequent calculi},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {3},
  pages        = {209--219},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02943189},
  doi          = {10.1007/BF02943189},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/YiTCC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/YuSS98,
  author       = {Huiqun Yu and
                  Guoxin Song and
                  Yongqiang Sun},
  title        = {Completeness of the accumulation calculus},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {1},
  pages        = {25--31},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946611},
  doi          = {10.1007/BF02946611},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/YuSS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/Zhang98,
  author       = {Tong Zhang},
  title        = {Intuitionistic logic as the implement of incremental model construction
                  for natural language},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {1},
  pages        = {13--17},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946609},
  doi          = {10.1007/BF02946609},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/Zhang98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/ZhangN98,
  author       = {Xiaolong Zhang and
                  Masayuki Numao},
  title        = {An efficient multiple predicate learner},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {3},
  pages        = {268--278},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02943195},
  doi          = {10.1007/BF02943195},
  timestamp    = {Wed, 21 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcst/ZhangN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/ZhangS98,
  author       = {Qiong Zhang and
                  Jiaoying Shi},
  title        = {Acoustic simulation with dynamic mechanisms in virtual reality},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {3},
  pages        = {285--288},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02943197},
  doi          = {10.1007/BF02943197},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/ZhangS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/ZhangX98,
  author       = {Yin Zhang and
                  Zhuoqun Xu},
  title        = {Concurrent manipulation of expanded {AVL} trees},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {4},
  pages        = {325--336},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946622},
  doi          = {10.1007/BF02946622},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/ZhangX98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/ZhaoL98,
  author       = {Minzhe Zhao and
                  Zongkai Lin},
  title        = {Report from CSCWID'97},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {4},
  pages        = {384},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946627},
  doi          = {10.1007/BF02946627},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/ZhaoL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/ZhengWF98,
  author       = {Fang Zheng and
                  Wenhu Wu and
                  Ditang Fang},
  title        = {Center-distance continuous probability models and the distance measure},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {5},
  pages        = {426--437},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02948501},
  doi          = {10.1007/BF02948501},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/ZhengWF98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/Zhou98,
  author       = {Jingzhou Zhou},
  title        = {A neural network model based on logical operations},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {5},
  pages        = {464--470},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02948505},
  doi          = {10.1007/BF02948505},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/Zhou98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/Zhou98a,
  author       = {Chaochen Zhou},
  title        = {An overview of Duration Calculus},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {6},
  pages        = {552},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946497},
  doi          = {10.1007/BF02946497},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/Zhou98a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.