Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES) (Dagstuhl Seminar 22341)

Autor: Eder, Kerstin I., Hönig, Timo, Mosse, Daniel, Plauth, Max, Kirkeby, Maja Hanne

This report documents the program and outcomes of the Dagstuhl Seminar 22341 - Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES). The seminar was held on Aug 21 – Aug 26, 2022, and brought together 35 international experts from di

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::afc78b1cd702a8b2fc8b26e43f97ff6f

Do Machine Learning Models Produce TypeScript Types That Type Check? (Artifact)

Autor: Yee, Ming-Ho, Guha, Arjun

Type migration is the process of adding types to untyped code to gain assurance at compile time. TypeScript and other gradual type systems facilitate type migration by allowing programmers to start with imprecise types and gradually strengthen them.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::040f10b6d3a376846ff976319c159856

A Computational Method for the Classification of Mental Representations of Objects in 3D Space

Autor: Sohn, Samuel S., Mavros, Panagiotis, Kapadia, Mubbasir, Hölscher, Christoph

Publikováno v: Leibniz International Proceedings in Informatics (LIPIcs), 240
15th International Conference on Spatial Information Theory (COSIT 2022)

The structure mapping task is a simple method to test people’s mental representations of spatial relationships, and has recently been particularly useful in the study of volumetric spatial cognition such as the spatial memory for locations in multi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cbc992fae2db467c6d527c925d7fb0fa
https://hdl.handle.net/20.500.11850/565786

Statistical Comparison of Algorithm Performance Through Instance Selection

Autor: Matricon, T., Anastacio, M.I.A., Fijalkow, N., Simon, L., Hoos, H.H., Michel, L.D.

Publikováno v: 27th International conference on principles and practice of constraint programming (CP 2021), 43:1-43:21. Dagstuhl Publishing
STARTPAGE=43:1;ENDPAGE=43:21;TITLE=27th International conference on principles and practice of constraint programming (CP 2021)

Empirical performance evaluations, in competitions and scientific publications, play a major role in improving the state of the art in solving many automated reasoning problems, including SAT, CSP and Bayesian network structure learning (BNSL). To em

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d97d6e85fc1b64cd50f000d62091bc9d

A new HD and UHD video eye tracking dataset

Autor: Patrick Le Callet, Matthieu Perreira Da Silva, Toinon Vigier, Josselin Rousseau

Publikováno v: ACM Multimedia Systems 2016
ACM Multimedia Systems 2016, May 2016, Klagenfurt, Austria. pp.1-6, ⟨10.1145/2910017.2910622⟩
MMSys

International audience; The emergence of UHD video format induces larger screens and involves a wider stimulated visual angle. Therefore, its effect on visual attention can be questioned since it can impact quality assessment, metrics but also the wh

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::95f249c1a37a2fb3bda35e48cb230c20
https://hal.archives-ouvertes.fr/hal-01438390/document