Search dblp for Publications

export results for "daf set"

 download as .bib file

@article{DBLP:journals/corr/abs-2406-08467,
  author       = {Chloe Loughridge and
                  Qinyi Sun and
                  Seth Ahrenbach and
                  Federico Cassano and
                  Chuyue Sun and
                  Ying Sheng and
                  Anish Mudide and
                  Md Rakib Hossain Misu and
                  Nada Amin and
                  Max Tegmark},
  title        = {DafnyBench: {A} Benchmark for Formal Software Verification},
  journal      = {CoRR},
  volume       = {abs/2406.08467},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2406.08467},
  doi          = {10.48550/ARXIV.2406.08467},
  eprinttype    = {arXiv},
  eprint       = {2406.08467},
  timestamp    = {Tue, 09 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2406-08467.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jifs/LiuLYZGS23,
  author       = {Wei Liu and
                  Qihan Liu and
                  Guoju Ye and
                  Dafang Zhao and
                  Yating Guo and
                  Fangfang Shi},
  title        = {An interval rough number variable precision rough sets model and its
                  attribute reduction},
  journal      = {J. Intell. Fuzzy Syst.},
  volume       = {45},
  number       = {1},
  pages        = {229--238},
  year         = {2023},
  url          = {https://doi.org/10.3233/JIFS-222781},
  doi          = {10.3233/JIFS-222781},
  timestamp    = {Sat, 05 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jifs/LiuLYZGS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/SabariahEHFS23,
  author       = {Mira Kania Sabariah and
                  Veronikha Effendy and
                  Jati H. Husen and
                  Daffa Hilmy Fadhlurrohman and
                  Rony Setyawansyah},
  title        = {Experiences With Gap-Bridging Software Engineering Industry-Academia
                  Collaborative Education Program},
  booktitle    = {35th International Conference on Software Engineering Education and
                  Training, CSEE{\&}T 2023, Tokyo, Japan, August 7-9, 2023},
  pages        = {168--172},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/CSEET58097.2023.00035},
  doi          = {10.1109/CSEET58097.2023.00035},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csee/SabariahEHFS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/ZhaoAYL22,
  author       = {Dafang Zhao and
                  Tianqing An and
                  Guoju Ye and
                  Wei Liu},
  title        = {Some generalizations of Opial type inequalities for interval-valued
                  functions},
  journal      = {Fuzzy Sets Syst.},
  volume       = {436},
  pages        = {128--151},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.fss.2021.03.017},
  doi          = {10.1016/J.FSS.2021.03.017},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fss/ZhaoAYL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/telsys/ZeeshanAFA22,
  author       = {Muhammad Zeeshan and
                  Mahnoor Ajmal and
                  Muhammad Umar Farooq and
                  Tabinda Ashraf},
  title        = {A novel minimal set decode-amplify-forward {(MS-DAF)} relaying scheme
                  for {MIMO-NOMA}},
  journal      = {Telecommun. Syst.},
  volume       = {80},
  number       = {1},
  pages        = {141--152},
  year         = {2022},
  url          = {https://doi.org/10.1007/s11235-022-00894-2},
  doi          = {10.1007/S11235-022-00894-2},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/telsys/ZeeshanAFA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/HuangLFGC21,
  author       = {Bing Huang and
                  Huaxiong Li and
                  Guofu Feng and
                  Chunxiang Guo and
                  Dafeng Chen},
  title        = {Double-quantitative rough sets, optimal scale selection and reduction
                  in multi-scale dominance {IF} decision tables},
  journal      = {Int. J. Approx. Reason.},
  volume       = {130},
  pages        = {170--191},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ijar.2020.12.001},
  doi          = {10.1016/J.IJAR.2020.12.001},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijar/HuangLFGC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ral/PhamSDRHTMMBMCP21,
  author       = {Tu{-}Hoa Pham and
                  William Seto and
                  Shreyansh Daftry and
                  Barry Ridge and
                  Johanna Hansen and
                  Tristan Thrush and
                  Mark Van der Merwe and
                  Gerard Maggiolino and
                  Alexander Brinkman and
                  John Mayo and
                  Yang Cheng and
                  Curtis Padgett and
                  Eric A. Kulczycki and
                  Renaud Detry},
  title        = {Rover Relocalization for Mars Sample Return by Virtual Template Synthesis
                  and Matching},
  journal      = {{IEEE} Robotics Autom. Lett.},
  volume       = {6},
  number       = {2},
  pages        = {4009--4016},
  year         = {2021},
  url          = {https://doi.org/10.1109/LRA.2021.3067281},
  doi          = {10.1109/LRA.2021.3067281},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ral/PhamSDRHTMMBMCP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/RoevaZ021,
  author       = {Olympia Roeva and
                  Dafina Zoteva and
                  Oscar Castillo},
  title        = {Joint set-up of parameters in genetic algorithms and the artificial
                  bee colony algorithm: an approach for cultivation process modelling},
  journal      = {Soft Comput.},
  volume       = {25},
  number       = {3},
  pages        = {2015--2038},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00500-020-05272-1},
  doi          = {10.1007/S00500-020-05272-1},
  timestamp    = {Fri, 19 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/soco/RoevaZ021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/BarbareschiRHSV21,
  author       = {Giulia Barbareschi and
                  Dafne Zuleima Morgado Ramirez and
                  Catherine Holloway and
                  Manohar Swaminathan and
                  Aditya Vashistha and
                  Edward Cutrell},
  editor       = {Yoshifumi Kitamura and
                  Aaron Quigley and
                  Katherine Isbister and
                  Takeo Igarashi},
  title        = {Disability Design and Innovation in Low Resource Settings: Addressing
                  Inequality Through {HCI}},
  booktitle    = {{CHI} '21: {CHI} Conference on Human Factors in Computing Systems,
                  Virtual Event / Yokohama Japan, May 8-13, 2021, Extended Abstracts},
  pages        = {124:1--124:5},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3411763.3441340},
  doi          = {10.1145/3411763.3441340},
  timestamp    = {Thu, 17 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/chi/BarbareschiRHSV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccm/MeiryaniHJP21,
  author       = {Meiryani Meiryani and
                  Setiani Putri Hendratno and
                  Anita Juwita and
                  Iqbal Dafi Putra},
  title        = {The Impacts of Information Technology on Accounting Systems},
  booktitle    = {{ICCCM} 2021: 9th International Conference on Computer and Communications
                  Management, Singapore, July 16 - 18, 2021},
  pages        = {1--8},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479162.3479163},
  doi          = {10.1145/3479162.3479163},
  timestamp    = {Fri, 03 Dec 2021 12:48:47 +0100},
  biburl       = {https://dblp.org/rec/conf/icccm/MeiryaniHJP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ner/ZandvoortDD21,
  author       = {Coen S. Zandvoort and
                  Andreas Daffertshofer and
                  Nadia Dominici},
  title        = {Differential sets of cortical muscle synergy signatures during adult
                  locomotion},
  booktitle    = {10th International {IEEE/EMBS} Conference on Neural Engineering, {NER}
                  2021, Virtual Event, Italy, May 4-6, 2021},
  pages        = {1070--1073},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/NER49283.2021.9441206},
  doi          = {10.1109/NER49283.2021.9441206},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ner/ZandvoortDD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-03395,
  author       = {Tu{-}Hoa Pham and
                  William Seto and
                  Shreyansh Daftry and
                  Barry Ridge and
                  Johanna Hansen and
                  Tristan Thrush and
                  Mark Van der Merwe and
                  Gerard Maggiolino and
                  Alexander Brinkman and
                  John Mayo and
                  Yang Cheng and
                  Curtis Padgett and
                  Eric A. Kulczycki and
                  Renaud Detry},
  title        = {Rover Relocalization for Mars Sample Return by Virtual Template Synthesis
                  and Matching},
  journal      = {CoRR},
  volume       = {abs/2103.03395},
  year         = {2021},
  url          = {https://arxiv.org/abs/2103.03395},
  eprinttype    = {arXiv},
  eprint       = {2103.03395},
  timestamp    = {Mon, 15 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2103-03395.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-09942,
  author       = {Shreyansh Daftry and
                  Barry Ridge and
                  William Seto and
                  Tu{-}Hoa Pham and
                  Peter Ilhardt and
                  Gerard Maggiolino and
                  Mark Van der Merwe and
                  Alexander Brinkman and
                  John Mayo and
                  Eric Kulczyski and
                  Renaud Detry},
  title        = {Machine Vision based Sample-Tube Localization for Mars Sample Return},
  journal      = {CoRR},
  volume       = {abs/2103.09942},
  year         = {2021},
  url          = {https://arxiv.org/abs/2103.09942},
  eprinttype    = {arXiv},
  eprint       = {2103.09942},
  timestamp    = {Tue, 23 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2103-09942.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/ZhaoAYL20,
  author       = {Dafang Zhao and
                  Tianqing An and
                  Guoju Ye and
                  Wei Liu},
  title        = {Chebyshev type inequalities for interval-valued functions},
  journal      = {Fuzzy Sets Syst.},
  volume       = {396},
  pages        = {82--101},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.fss.2019.10.006},
  doi          = {10.1016/J.FSS.2019.10.006},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fss/ZhaoAYL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/prl/DondiLS20,
  author       = {Piercarlo Dondi and
                  Luca Lombardi and
                  Alessandra Setti},
  title        = {{DAFNE:} {A} dataset of fresco fragments for digital anastlylosis},
  journal      = {Pattern Recognit. Lett.},
  volume       = {138},
  pages        = {631--637},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.patrec.2020.09.015},
  doi          = {10.1016/J.PATREC.2020.09.015},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/prl/DondiLS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/assets/RamirezBDSENSOM20,
  author       = {Dafne Zuleima Morgado Ramirez and
                  Giulia Barbareschi and
                  Maggie Kate Donovan{-}Hall and
                  Mohammad Sobuh and
                  Nida' Elayyan and
                  Brenda T. Nakandi and
                  Robert Tamale Ssekitoleko and
                  Joyce Olenja and
                  Grace Nyachomba Magomere and
                  Sibylle Daymond and
                  Jake Honeywill and
                  Ian Harris and
                  Nancy N. Mbugua and
                  Laurence P. J. Kenney and
                  Catherine Holloway},
  editor       = {Tiago Jo{\~{a}}o Guerreiro and
                  Hugo Nicolau and
                  Karyn Moffatt},
  title        = {Disability design and innovation in computing research in low resource
                  settings},
  booktitle    = {{ASSETS} '20: The 22nd International {ACM} {SIGACCESS} Conference
                  on Computers and Accessibility, Virtual Event, Greece, October 26-28,
                  2020},
  pages        = {11:1--11:7},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3373625.3417301},
  doi          = {10.1145/3373625.3417301},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/assets/RamirezBDSENSOM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/YinCMLJL20,
  author       = {Shuting Yin and
                  Dafan Chen and
                  Chengconghui Ma and
                  Yanchao Lian and
                  Licheng Jiao and
                  Fang Liu},
  title        = {Weakly Supervised Land Cover Classification Method For Large-Scale
                  Multi-Resolution Labeled Satellite Images Data Sets},
  booktitle    = {{IEEE} International Geoscience and Remote Sensing Symposium, {IGARSS}
                  2020, Waikoloa, HI, USA, September 26 - October 2, 2020},
  pages        = {7070--7073},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/IGARSS39084.2020.9547215},
  doi          = {10.1109/IGARSS39084.2020.9547215},
  timestamp    = {Sun, 03 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/igarss/YinCMLJL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bjet/SopherFK19,
  author       = {Hadas Sopher and
                  Dafna Fisher{-}Gewirtzman and
                  Yehuda E. Kalay},
  title        = {Going immersive in a community of learners? Assessment of design processes
                  in a multi-setting architecture studio},
  journal      = {Br. J. Educ. Technol.},
  volume       = {50},
  number       = {5},
  pages        = {2109--2128},
  year         = {2019},
  url          = {https://doi.org/10.1111/bjet.12857},
  doi          = {10.1111/BJET.12857},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bjet/SopherFK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/f1000research/AbdalrahmanMAAAOAEMD18,
  author       = {Ihab B. Abdalrahman and
                  Mohammed Elsanousi Huzaifa Mohammed and
                  Abdelmohaymin A Abdalla and
                  Sulaf Ibrahim Abdelaziz and
                  Aboaagla Abdalbagi Ali and
                  Dina Nader Mutwakel Osman and
                  Ahmed Abdelmoniem Ahmed and
                  Hagir Emad Elwasila and
                  Romaisa Hashim Mokhtar Mohammed and
                  Mohamed Dafaalla},
  title        = {Improving paper-based discharge process; a continuous full-cycle quality
                  improvement project in low resource setting},
  journal      = {F1000Research},
  volume       = {7},
  pages        = {324},
  year         = {2018},
  url          = {https://doi.org/10.12688/f1000research.13359.1},
  doi          = {10.12688/F1000RESEARCH.13359.1},
  timestamp    = {Fri, 21 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/f1000research/AbdalrahmanMAAAOAEMD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intenv/DafoulasMAAC17,
  author       = {Georgios A. Dafoulas and
                  Cristiano Maia and
                  Almaas Ali and
                  Juan Carlos Augusto and
                  Victor Lopez Cabrera},
  title        = {Understanding Collaboration in Global Software Engineering {(GSE)}
                  Teams with the Use of Sensors: Introducing a Multi-sensor Setting
                  for Observing Social and Human Aspects in Project Management},
  booktitle    = {2017 International Conference on Intelligent Environments, {IE} 2017,
                  Seoul, Korea (South), August 21-25, 2017},
  pages        = {114--121},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/IE.2017.40},
  doi          = {10.1109/IE.2017.40},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/intenv/DafoulasMAAC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setss/Leino17,
  author       = {K. Rustan M. Leino},
  editor       = {Jonathan P. Bowen and
                  Zhiming Liu and
                  Zili Zhang},
  title        = {Modeling Concurrency in Dafny},
  booktitle    = {Engineering Trustworthy Software Systems - Third International School,
                  {SETSS} 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {11174},
  pages        = {115--142},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-030-02928-9\_4},
  doi          = {10.1007/978-3-030-02928-9\_4},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/setss/Leino17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intenv/DafoulasMLSSBCA16,
  author       = {Georgios A. Dafoulas and
                  Cristiano Maia and
                  Martin J. Loomes and
                  Fatma Cemile Ser{\c{c}}e and
                  Kathleen M. Swigger and
                  Robert P. Brazile and
                  Victor Lopez Cabrera and
                  Ferda Nur Alpaslan and
                  Allen E. Milewski},
  editor       = {Paulo Novais and
                  Shin'ichi Konomi},
  title        = {Creating Smarter Teaching and Training Environments: Innovative Set-Up
                  for Collaborative Hybrid Learning},
  booktitle    = {Intelligent Environments 2016 - Workshop Proceedings of the 12th International
                  Conference on Intelligent Environments, {IE} 2016, London, United
                  Kingdom, September 14-16, 2016},
  series       = {Ambient Intelligence and Smart Environments},
  volume       = {21},
  pages        = {238--248},
  publisher    = {{IOS} Press},
  year         = {2016},
  url          = {https://doi.org/10.3233/978-1-61499-690-3-238},
  doi          = {10.3233/978-1-61499-690-3-238},
  timestamp    = {Thu, 14 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/intenv/DafoulasMLSSBCA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcsp/GuSSZWG14,
  author       = {Bin Gu and
                  Tiecheng Song and
                  Dafei Sun and
                  Lei Zhang and
                  Ming Wu and
                  Jie Guo},
  title        = {A set of closed form approximate formulae for optimal sensing duration
                  of cognitive radio},
  booktitle    = {Sixth International Conference on Wireless Communications and Signal
                  Processing, {WCSP} 2014, Hefei, China, October 23-25, 2014},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/WCSP.2014.6992136},
  doi          = {10.1109/WCSP.2014.6992136},
  timestamp    = {Tue, 11 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcsp/GuSSZWG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cwsn/HeZXBQZ012,
  author       = {Shiming He and
                  Dafang Zhang and
                  Kun Xie and
                  Xia{-}an Bi and
                  Hong Qiao and
                  Ji Zhang and
                  Bin Zeng},
  editor       = {Ruchuan Wang and
                  Fu Xiao},
  title        = {A Candidate Forwarder Set Based Channel Assignment for Opportunistic
                  Routing in Multi-radio Wireless Mesh Networks},
  booktitle    = {Advances in Wireless Sensor Networks - 6th China Conference, {CWSN}
                  2012, Huangshan, China, October 25-27, 2012, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {334},
  pages        = {103--116},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-36252-1\_11},
  doi          = {10.1007/978-3-642-36252-1\_11},
  timestamp    = {Wed, 18 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cwsn/HeZXBQZ012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromed/Lancia10,
  author       = {Ruggero Lancia},
  editor       = {Marinos Ioannides and
                  Dieter W. Fellner and
                  Andreas Georgopoulos and
                  Diofantos G. Hadjimitsis},
  title        = {The {DAF} {DDI} Profile, a Metadata Set to Address Digital Curation
                  and Preservation Issues in Cultural Heritage Institutions},
  booktitle    = {Digital Heritage - Third International Conference, EuroMed 2010, Lemessos,
                  Cyprus, November 8-13, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6436},
  pages        = {291--305},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16873-4\_22},
  doi          = {10.1007/978-3-642-16873-4\_22},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/euromed/Lancia10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isecs/ChangqiongDHZ08,
  author       = {Changqiong Shi and
                  Dawei Wang and
                  Hui Huang and
                  Dafang Zhang},
  editor       = {Fei Yu and
                  Qi Luo and
                  Yongjun Chen and
                  Zhigang Chen},
  title        = {Network Intrusion Rules Extraction Based on Rough Set and Niche Genetic
                  Algorithm},
  booktitle    = {Proceedings of The International Symposium on Electronic Commerce
                  and Security, {ISECS} 2008, August 3-5, 2008, Guangzhou, China},
  pages        = {476--481},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ISECS.2008.172},
  doi          = {10.1109/ISECS.2008.172},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isecs/ChangqiongDHZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}