Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Idress Husien"'
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030387518
ACRIT
ACRIT
Speaker recognition techniques have been developed into a relatively mature status over the past few decades through continuous research and development work. Existing methods typically use robust features extracted from clean speech signals, and the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9cd2b06c12059f064ded1168ffa8b491
https://doi.org/10.1007/978-3-030-38752-5_8
https://doi.org/10.1007/978-3-030-38752-5_8
Autor:
Ahmad Ayied Ahmad, Mishary Asker, Idress Husien, Adnan Yosif, Mohammed Yassen, Layth Hamood, Essa Ibrahim Essa
Publikováno v:
2019 International Conference on Computing and Information Science and Technology and Their Applications (ICCISTA).
The many company used transferring data if they need to contribute or transfer general intrigue. As per extending business designs and most outrageous used of disseminated figuring, novel system created in next period of improvement towards cloud eng
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7badd2f5c5f9f7da277d38fa5e41f03d
https://doi.org/10.1109/iccista.2019.8830659
https://doi.org/10.1109/iccista.2019.8830659
Publikováno v:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Dependable Software Engineering. Theories, Tools, and Applications ISBN: 9783319694825
SETTA
Dependable Software Engineering. Theories, Tools, and Applications ISBN: 9783319694825
SETTA
© 2017, Springer International Publishing AG. PranCS is a tool for synthesizing protocol adapters and discrete controllers. It exploits general search techniques such as simulated annealing and genetic programming for homing in on correct solutions,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::393688f8f9ababcba7f8de020f70c104
http://livrepository.liverpool.ac.uk/3023721/1/setta17.pdf
http://livrepository.liverpool.ac.uk/3023721/1/setta17.pdf
Publikováno v:
SPIN
SPIN'17: PROCEEDINGS OF THE 24TH ACM SIGSOFT INTERNATIONAL SPIN SYMPOSIUM ON MODEL CHECKING OF SOFTWARE
SPIN'17: PROCEEDINGS OF THE 24TH ACM SIGSOFT INTERNATIONAL SPIN SYMPOSIUM ON MODEL CHECKING OF SOFTWARE
Several general search techniques such as genetic programming and simulated annealing have recently been investigated for synthesising programs from specifications of desired objective behaviours. In this context, these techniques explore the space o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::73aa3ed9e19b94e769e1f4a3713ae6bc
https://doi.org/10.1145/3092282.3092299
https://doi.org/10.1145/3092282.3092299
Autor:
Idress Husien, Sven Schewe
Publikováno v:
Software Engineering and Formal Methods ISBN: 9783319415901
SEFM
SOFTWARE ENGINEERING AND FORMAL METHODS: 14TH INTERNATIONAL CONFERENCE, SEFM 2016
SEFM
SOFTWARE ENGINEERING AND FORMAL METHODS: 14TH INTERNATIONAL CONFERENCE, SEFM 2016
Program synthesis can be viewed as an exploration of the search space of candidate programs in pursuit of an implementation that satisfies a given property. Classic synthesis techniques facilitate exhaustive search, while genetic programming has rece
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dae0b1b48e237fef4f4ece396d628c60
https://doi.org/10.1007/978-3-319-41591-8_11
https://doi.org/10.1007/978-3-319-41591-8_11