From LRDE
< User:CdLine 1: | Line 1: | ||
+ | {{Publication |
||
+ | | published = false |
||
+ | | date = 2015-09-01 |
||
+ | | authors = AA |
||
+ | | booktitle = AA |
||
+ | | title = SAT-based Minimization of Deterministic -Automata |
||
+ | | pages = |
||
+ | | publisher = |
||
+ | | volume = |
||
+ | | series = |
||
+ | | abstract = We describe a tool that inputs a deterministic ω-automaton with any acceptance condition, and synthesizes an equivalent ω-automaton with another arbitrary acceptance condition and a given number of states, if such an automaton exists. This tool, that relies on a SAT-based encoding of the problem, can be used to provide minimal ω-automata equivalent to given properties, for different acceptance conditions. |
||
+ | | lrdeprojects = |
||
+ | | lrdenewsdate = 2015-09-01 |
||
+ | | lrdepaper = http://www.lrde.epita.fr/dload/papers/baarir.15.lpar.pdf |
||
+ | | type = inproceedings |
||
+ | | id = testttt |
||
+ | | bibtex = |
||
+ | }} |
||
+ | |||
[[User:Cd]] |
[[User:Cd]] |
||
Line 4: | Line 23: | ||
{{Publications/AuthorList|Reda}} |
{{Publications/AuthorList|Reda}} |
||
+ | |||
+ | <math>\omega</math> |
||
+ | |||
+ | <math>n</math> |
||
+ | |||
+ | <math>n > 3</math> |
||
+ | |||
+ | <math>Z^n</math> |
||
+ | |||
+ | <math>X \subseteq Z^n</math> |
||
+ | |||
+ | <math>(a^+\mathbin{\vert} x + b^+\mathbin{\vert} y)^*</math> |
||
+ | |||
+ | <math>\mathrm{O}(|S|\times 2^{\mathrm{O}(|\varphi|+n)})</math> |
||
<!-- |
<!-- |
Revision as of 16:55, 5 January 2018
- Authors
- AA
- Where
- AA
- Type
- inproceedings
- Date
- 2015-09-01
Abstract
We describe a tool that inputs a deterministic ω-automaton with any acceptance condition, and synthesizes an equivalent ω-automaton with another arbitrary acceptance condition and a given number of states, if such an automaton exists. This tool, that relies on a SAT-based encoding of the problem, can be used to provide minimal ω-automata equivalent to given properties, for different acceptance conditions.
Documents
Conference papers
Title | Authors | Published in | Date | |
---|---|---|---|---|
guillaume.22.egc | Hate Speech and Toxic Comment Detection using Transformers | Pierre Guillaume, Corentin Duchene, Réda Dehak | Workshop EGC 2022 DL for NLP | 12 January 2022 |
dehak.16.nistsre | The MIT Lincoln Laboratory 2016 Speaker Recognition System | Pedro A Torres-Carrasquillo, Frederick Richardson, Shahan Nercessian, Douglas Sturim, William Campbell, Youngjune Gwon, Swaroop Vattam, Réda Dehak, Harish Mallidi, Phani Sankar Nidadavolu, Ruizhi Li, Raghavendra Reddy Pappagari, Nanxin Chen, Najim Dehak, Ruben Zazo | NIST Speaker Recognition Evaluation 2016 | 12 December 2016 |
dehak.11.interspeech | Language Recognition via I-Vectors and Dimensionality Reduction | Najim Dehak, Pedro A Torres-Carrasquillo, Douglas Reynolds, Réda Dehak | INTERSPEECH 2011 | 1 August 2011 |