Stibor, T. ; Timmis, J. ; Eckert, C. (2006)
The Link between r-contiguous Detectors and k-CNF Satisfiability.
2006 IEEE International Conference on Evolutionary Computation. Vancouver, BC, Canada (16.07.2006-21.07.2006)
doi: 10.1109/CEC.2006.1688350
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (Abstract)
In the context of generating detectors using the r-contiguous matching rule, questions have been raised at the efficiency of the process. We show that the problem of generating r-contiguous detectors can be transformed in a k-CNF satisfiability problem. This insight allows for the wider understanding of the problem of generating r-contiguous detectors. Moreover, we apply this result to consider questions relating to the complexity of generating detectors, and when detectors are generable.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2006 |
| Autor(en): | Stibor, T. ; Timmis, J. ; Eckert, C. |
| Art des Eintrags: | Bibliographie |
| Titel: | The Link between r-contiguous Detectors and k-CNF Satisfiability |
| Sprache: | Englisch |
| Publikationsjahr: | 2006 |
| Ort: | Piscataway |
| Verlag: | IEEE |
| Buchtitel: | 2006 IEEE International Conference on Evolutionary Computation |
| Veranstaltungstitel: | 2006 IEEE International Conference on Evolutionary Computation |
| Veranstaltungsort: | Vancouver, BC, Canada |
| Veranstaltungsdatum: | 16.07.2006-21.07.2006 |
| DOI: | 10.1109/CEC.2006.1688350 |
| Kurzbeschreibung (Abstract): | In the context of generating detectors using the r-contiguous matching rule, questions have been raised at the efficiency of the process. We show that the problem of generating r-contiguous detectors can be transformed in a k-CNF satisfiability problem. This insight allows for the wider understanding of the problem of generating r-contiguous detectors. Moreover, we apply this result to consider questions relating to the complexity of generating detectors, and when detectors are generable. |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik |
| Hinterlegungsdatum: | 20 Nov 2008 08:25 |
| Letzte Änderung: | 29 Nov 2024 10:43 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum