Zobrazeno 1 - 10
of 79
pro vyhledávání: '"Salvador Abreu"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 306, Iss Proc. ICLP 2019, Pp 168-181 (2019)
Local Search meta-heuristics have been proven a viable approach to solve difficult optimization problems. Their performance depends strongly on the search space landscape, as defined by a cost function and the selected neighborhood operators. In this
Externí odkaz:
https://doaj.org/article/b590c5c2ac3b453095d00550c25d06c4
Publikováno v:
Social Technologies, Vol 3, Iss 1, Pp 7-24 (2013)
Purpose—finding ways of improving learning in a formal higher education context. Design/methodology/approach—in the proposed model we will consider extending traditional content management systems, giving learners the possibility to add new mater
Externí odkaz:
https://doaj.org/article/c997634091d14f3fbcd548f5d2b2b39b
Autor:
PHILIPP KÖRNER, MICHAEL LEUSCHEL, JOÃO BARBOSA, VÍTOR SANTOS COSTA, VERÓNICA DAHL, MANUEL V. HERMENEGILDO, JOSE F. MORALES, JAN WIELEMAKER, DANIEL DIAZ, SALVADOR ABREU, GIOVANNI CIATTO
Publikováno v:
Theory and Practice of Logic Programming, ISSN 1475-3081, 2022, Vol. 22, No. 6
Both logic programming in general, and Prolog in particular, have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A large body of research has been gathered over the last 50 years, supporte
Publikováno v:
2022 IEEE International Conference on Quantum Software (QSW).
Publikováno v:
Dynamic Control and Optimization ISBN: 9783031175572
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::029d30e956eb3af677ab2841c6cc99e1
https://doi.org/10.1007/978-3-031-17558-9_10
https://doi.org/10.1007/978-3-031-17558-9_10
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031020667
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2ef46befadf5ca79ea40d5ce60039804
https://doi.org/10.1007/978-3-031-02067-4_6
https://doi.org/10.1007/978-3-031-02067-4_6
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030856717
OLA
OLA
The Quadratic Assignment Problem (QAP) is one of the most challenging combinatorial optimization problems with many real-life applications. Currently, the best solvers are based on hybrid and parallel metaheuristics, which are actually highly complex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2dc29b19372133fe922dc9e26a429876
https://doi.org/10.1007/978-3-030-85672-4_22
https://doi.org/10.1007/978-3-030-85672-4_22
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 306, Iss Proc. ICLP 2019, Pp 168-181 (2019)
Local Search meta-heuristics have been proven a viable approach to solve difficult optimization problems. Their performance depends strongly on the search space landscape, as defined by a cost function and the selected neighborhood operators. In this
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::82fb52de4eda181956a7cf723623936e
http://arxiv.org/abs/1909.08242
http://arxiv.org/abs/1909.08242
Publikováno v:
Lecture Notes in Computer Science
International Workshop on Artificial Intelligence Safety Engineering
International Workshop on Artificial Intelligence Safety Engineering, 2019, Turku, Finland
Lecture Notes in Computer Science-Computer Safety, Reliability, and Security
Lecture Notes in Computer Science ISBN: 9783030262495
SAFECOMP Workshops
International Workshop on Artificial Intelligence Safety Engineering
International Workshop on Artificial Intelligence Safety Engineering, 2019, Turku, Finland
Lecture Notes in Computer Science-Computer Safety, Reliability, and Security
Lecture Notes in Computer Science ISBN: 9783030262495
SAFECOMP Workshops
International audience; We present a versatile architecture for AI-powered self-adaptive self-certifiable critical systems. It aims at supporting semi-automated low-cost re-certification for self-adaptive systems after each adaptation of their behavi
This book constitutes revised selected papers from the 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional