Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Sylvain Halle"'
Autor:
Sylvain Halle
Publikováno v:
IEEE Access, Vol 9, Pp 111595-111607 (2021)
A simple mathematical model of the scientific peer reviewing process is developed. Papers and reviewers are modeled as numerical vectors, respectively representing the paper’s value among multiple quality dimensions, and the importance given to the
Externí odkaz:
https://doaj.org/article/cf17b20dee7741e0915e975fe4e6124b
Publikováno v:
IEEE Access, Vol 4, Pp 284-298 (2016)
Optical codes have long been used to carry small amounts of static data, such as URLs, IDs or other short binary sequences. In this paper, we experiment on the use of sequences of optical codes to form a one-way communication channel. In this context
Externí odkaz:
https://doaj.org/article/37987c0de9494e4496184c4712d0deff
Publikováno v:
2022 Sixth IEEE International Conference on Robotic Computing (IRC).
Autor:
Fabio Octaviano, Katia Romero Felizardo, Sandra C. P. F. Fabbri, Bianca Minetto Napoleao, Fabio Petrillo, Sylvain Halle
Publikováno v:
2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA).
Autor:
Marc-Antoine Plourde, Sylvain Halle
Publikováno v:
Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings.
Publikováno v:
Frontiers in Robotics and AI, Vol 11 (2024)
Industrial robotic systems (IRS) consist of industrial robots that automate industrial processes. They accurately perform repetitive tasks, replacing or assisting with dangerous jobs like assembly in the automotive and chemical industries. Failures i
Externí odkaz:
https://doaj.org/article/687bb708eb51425eacd49e0aaace4089
Publikováno v:
2017 IEEE/ACM 10th International Workshop on Search-Based Software Testing (SBST).
Autor:
Sylvain Halle
Publikováno v:
2006 5th International Conference on Machine Learning & Applications (ICMLA'06); 2006, p43-47, 5p
Autor:
Sylvain Hallé, Oussama Beroual
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 224, Iss Proc. CREST 2016, Pp 55-67 (2016)
We describe a generic technique for fault localization independent from the nature of the object or the specification language used to declare its expected properties. This technique is based on the concept of "repair", a minimal set of transformatio
Externí odkaz:
https://doaj.org/article/6868e6cd04344e7e8d2b2957a804400c
Autor:
Gwen Salaün
Publikováno v:
4th International Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB'10)
4th International Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB'10), Sep 2010, Antwerp, Belgium. pp.75-86
Electronic Proceedings in Theoretical Computer Science, Vol 35, Iss Proc. TAV-WEB 2010, Pp 75-86 (2010)
TAV-WEB
4th International Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB'10), Sep 2010, Antwerp, Belgium. pp.75-86
Electronic Proceedings in Theoretical Computer Science, Vol 35, Iss Proc. TAV-WEB 2010, Pp 75-86 (2010)
TAV-WEB
Modeling and analysis of interactions among services is a crucial issue in Service-Oriented Computing. Composing Web services is a complicated task which requires techniques and tools to verify that the new system will behave correctly. In this paper
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ad74e402a9d346cc05a190541a1d83a2
http://arxiv.org/abs/1009.3716
http://arxiv.org/abs/1009.3716