Search dblp for Publications

export results for "toc:db/conf/fcs/fcs2007.bht:"

 download as .bib file

@inproceedings{DBLP:conf/fcs/AliKS07,
  author       = {Naveed Ali and
                  Shoab A. Khan and
                  Naveed Sarfraz Khattak},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Equivalence Verification of Arithmetic Data Paths With Multiple Word-Length
                  Operands},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {171--176},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Mon, 24 Jan 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/AliKS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/BauwensWDOBS07,
  author       = {Bruno Bauwens and
                  Bart Wyns and
                  Dieter Devlaminck and
                  Georges Otte and
                  Luc Boullart and
                  Patrick Santens},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Mutual information and algorithmic information transfer as ideal undirected
                  and directed independence tests},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {21--26},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/BauwensWDOBS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Burgin07,
  author       = {Mark Burgin},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Interactive Hypercomputation},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {328--336},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Burgin07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/BurginS07,
  author       = {Mark Burgin and
                  Marc Smith},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A Unifying Model of Concurrent Processes},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {321--327},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/BurginS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/CaiZ07,
  author       = {Wanjing Cai and
                  Pei Li Zhou},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A Pansystems Approach to Order-relationship},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {255--261},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/CaiZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ChenZWZ07,
  author       = {Dejun Chen and
                  Xiaolu Zhou and
                  Xuemou Wu and
                  Joe Peili Zhou},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Modeling Distributed Virtual Enterprise Based on Pansystems Economics},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {273--279},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ChenZWZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/CovinoPS07,
  author       = {Emanuele Covino and
                  Giovanni Pani and
                  Daniele Scrimieri},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Static Computation of Polynomial-time Functions in {C++}},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {41--45},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/CovinoPS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/EsikM07,
  author       = {Zolt{\'{a}}n {\'{E}}sik and
                  Gabriela Mart{\'{\i}}n},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {An Algebraic Characterization of Wolper's Logic},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {139--143},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/EsikM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Farago07,
  author       = {Andras Farago},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Sampling from Independence Systems},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {27--33},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Farago07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/FengQW07,
  author       = {Wangsen Feng and
                  Wanling Qu and
                  Hanpin Wang},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Lower bounds on the cardinality of maximum matchings in graphs with
                  bounded degrees},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {110--113},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/FengQW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Ferreira07,
  author       = {J. Ulisses Ferreira},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {The Probable Decidability of the Halting Problem},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {94--102},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Ferreira07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Gauvrit07,
  author       = {Nicolas Gauvrit},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A Locally Logical Model for Natural Semantics},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {89--93},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Gauvrit07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/GuoZP07,
  author       = {Dinghe Guo and
                  Pei Li Zhou and
                  Jinghong Pan},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Pansystems Extremum: Scales, Approximation, Equivalence and 0**-Theorems},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {300--312},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/GuoZP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Han07,
  author       = {Yijie Han},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Maximum Flow with a Faster Way of Computing a Blocking Flow},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {52--56},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Han07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Harris07,
  author       = {Douglas Harris},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Patterns of Protocols},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {114--120},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Harris07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Howes07,
  author       = {Norman R. Howes},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Distributed System Architecture and Specification with {TLB}},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {313--320},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Howes07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/HuangM07,
  author       = {Xiaowei Huang and
                  Jie Meng},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A Semantic Preorder Combining {ST} Notion and Fair Testing Semantic},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {82--88},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/HuangM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/JacakJJ07,
  author       = {Janusz Jacak and
                  Ireneusz J. Jozwiak and
                  Lucjan Jacak},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Application of braid groups for information processing},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {344--348},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/JacakJJ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/JiangL07,
  author       = {Yu Jiang and
                  He Lin},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A Pansystems Extremum Algorithm for Attribute Reduction Based on Discernibility
                  Matrix},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {268--272},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/JiangL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Jin07,
  author       = {Ying Jin},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Rule Update Algorithms for Active Rule Scheduling},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {46--51},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Mon, 06 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fcs/Jin07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Kong07,
  author       = {Kam Kong},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {The Majority Rule and String-and-Spinner Implementation of Logic Gates},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {79--81},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Kong07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LajosS07,
  author       = {Jaroslav Lajos and
                  Mansur H. Samadzadeh},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A Survey and a Taxonomy of Automata-Theoretic Modeling Techniques},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {148--156},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LajosS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LiLQW07,
  author       = {Yongli Li and
                  Zhilin Li and
                  Jing Qu and
                  Xiaoyan Wang},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {The Sorites Paradox from the View of Pansystems},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {219--223},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LiLQW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LiLT07,
  author       = {Zhenfang Li and
                  Yongli Li and
                  Shiqun Tao},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {The Extending of Panweighted Network in Pansystems and XML-based Realization},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {229--234},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LiLT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LiLW07,
  author       = {Haixia Li and
                  He Lin and
                  Jiajia Wang},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Rough Set Approximation and Rough Set Attribute Reduction Based on
                  Pansystems Topology},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {235--239},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LiLW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LiLW07a,
  author       = {Haibo Li and
                  Yongli Li and
                  Xinjian Wei},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A Rough Set Model of Binary Relation Based on Product and Pansystems},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {251--245},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LiLW07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LinL07,
  author       = {He Lin and
                  Haixia Li},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {The Insert Taxis Based on Pansystems Topology},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {240--244},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LinL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LiuC07,
  author       = {Ying Liu and
                  Wanjing Cai},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Compare Researches To Rough Sets And Fuzzy Sets from the View},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {262--267},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LiuC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LiuL07,
  author       = {Fang Liu and
                  He Lin},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A New View of Difference and Identity Relation in Rough Sets Based
                  on Pansystems Duality Transformation},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {213--218},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LiuL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LiuZLY07,
  author       = {Jinshuo Liu and
                  Dengyi Zhang and
                  Shubo Liu and
                  Yu Yao},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {High Noisy Cell Image Segmentation Using Regional Template},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {57--60},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LiuZLY07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/MalluhiH07,
  author       = {Qutaibah M. Malluhi and
                  Sungbum Hong},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {An Efficient Algorithm for Determining the Relationship between Two
                  Nodes on {DAG}},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {144--147},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/MalluhiH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/MessaadiBB07,
  author       = {N. Messaadi and
                  Hajer Bouzaouache and
                  Naceur Benhadj Braiek},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Nonlinear Optimization Algorithms for Hybrid Controller Design of
                  Switched Systems},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {362--368},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Thu, 31 Jan 2008 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/MessaadiBB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Murakami07,
  author       = {Masaki Murakami},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Compilation of Higher-Order Concurrent Programs into First-Order Programs
                  on Recursive Graph Rewriting Model},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {369},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Murakami07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/PanGLZW07,
  author       = {Jinghong Pan and
                  Dinghe Guo and
                  Yongli Li and
                  Joe Peili Zhou and
                  Xuemou Wu},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Pansystems Relativity: Vitality, Intelligence and Computer},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {193--198},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/PanGLZW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/PotterS07,
  author       = {Jerry Potter and
                  Howard Jay Siegel},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Prose as a Model of Computation},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {157--163},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/PotterS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Quaddoura07,
  author       = {Ruzayn Quaddoura},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Linear Time Recognition Algorithms for Three Variants of Vertex Series
                  Parallel Digraphs},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {121--131},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Quaddoura07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/RemshagenT07,
  author       = {Anja Remshagen and
                  Klaus Truemper},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {The Complexity of Futile Questioning},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {132--138},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/RemshagenT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Sarami07,
  author       = {Chekad Sarami},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A Mass Formula for Cyclic Self-Orthogonal Codes},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {68--72},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Sarami07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Sarami07a,
  author       = {Chekad Sarami},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {On Classification of Generalized Hadamard Matrices},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {73--78},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Sarami07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/SteenhuisenW07,
  author       = {J. Renze Steenhuisen and
                  Cees Witteveen},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Coordinating Planning Agents for Moderately and Tightly-Coupled Tasks},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {3--9},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/SteenhuisenW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/TateishiF07,
  author       = {Takeshi Tateishi and
                  Akihiro Fujiwara},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Data structures for storing binary numbers in {DNA} computing},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {34--40},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/TateishiF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/TsaiJ07,
  author       = {Jennifer Hui{-}Chan Tsai and
                  Justie Su{-}tzu Juan},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A Simple Multi-Secret Sharing Scheme to Achieve Both Optimal Improvement
                  Ratios},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {17--20},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/TsaiJ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/WangJ07,
  author       = {Yi{-}Chun Wang and
                  Justie Su{-}tzu Juan},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A Perfect Secret Sharing Scheme for (r-1, r)-Uniform Hypergraph-Based
                  Access Structures},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {103--109},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/WangJ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/WasakiA07,
  author       = {Katsumi Wasaki and
                  Ken{-}ichi Arai},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A Case Study of Formal Verification for Multi-level Pipeline Logic
                  Circuit by using Mizar Proof Checker},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {10--16},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/WasakiA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/WengJW07,
  author       = {Yu{-}fen Weng and
                  Justie Su{-}tzu Juan and
                  Yi{-}Chun Wang},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {On the Verifiable and Detectable Multi-Use General Perfect Secret
                  Sharing Schemes},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {164--170},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/WengJW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Wu07,
  author       = {Shengyuan Wu},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Introduction to Multilevel Mark Coding Theory},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {183--192},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Wu07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/WuGCZ07,
  author       = {Xuemou Wu and
                  Dinghe Guo and
                  Dejun Chen and
                  Joe Peili Zhou},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Pansystems Extremum Theorems: Cybernetics},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {199--205},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/WuGCZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/WuL07,
  author       = {Aiping Wu and
                  Yongli Li},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Research of Reduction from the View of Pansystems},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {224--228},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/WuL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/WuZF07,
  author       = {Xuemou Wu and
                  Pei Li Zhou and
                  Jeffrey Yi{-}Lin Forrest},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Pansystems Exploration: {A} Transfield Internet-like Approach},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {280--286},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/WuZF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/YamadaI07,
  author       = {Toshinori Yamada and
                  Hiroyuki Ishii},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Algorithm for Finding a Nash Equilibrium of a Two-Player Game in the
                  Strategic Form Using Convex Hull},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {337--343},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/YamadaI07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/YangLL07,
  author       = {Tao Yang and
                  Yongli Li and
                  Xiaoxia Li},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Application of Pansystems Theory in Object-Oriented System},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {245--250},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/YangLL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/YangZL07,
  author       = {Bing Yang and
                  S. Q. Zheng and
                  Enyue Lu},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Finding Two Disjoint Paths in a Network with MinSum-MinMin Objective
                  Function},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {356--361},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Wed, 09 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/YangZL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/YoshidaKK07,
  author       = {Hitoshi Yoshida and
                  Hisayasu Kuroda and
                  Yasumasa Kanada},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Parameter Selection for Fast Computation of Pi(x)},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {177--182},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/YoshidaKK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/YuHW07,
  author       = {Chih{-}Chiang Yu and
                  Yong{-}Hsian Hsieh and
                  Biing{-}Feng Wang},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Optimal Algorithms for the Segment Location Problem with Range Constraints
                  on Length and Average},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {61--67},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/YuHW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ZhengL07,
  author       = {S. Q. Zheng and
                  Shaoyang Liu},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Hypergraph Algorithms with Network Applications},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {349--355},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Wed, 09 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ZhengL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ZhouK07,
  author       = {P. L. Zhou and
                  Thalerngsak Kijthaweesinpoon},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {The Use of Pansystems Relation Operators in Rough Sets},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {287--292},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ZhouK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ZhouM07,
  author       = {Pei Li Zhou and
                  Salahadin Mohammed},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A Pansystems Approach to Sorting Based on Binary Relations},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {293--299},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ZhouM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ZhouZPW07,
  author       = {Xiaolu Zhou and
                  Joe Peili Zhou and
                  Jinghong Pan and
                  Xuemou Wu},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Pansystems Approach : Relativity, World Systems, Cognition, Linquistics,
                  Aesthetics},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {206--212},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ZhouZPW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fcs/2007,
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  publisher    = {{CSREA} Press},
  year         = {2007},
  isbn         = {1-60132-049-3},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics