English
Related papers

Related papers: PROMETHEUS: PROcedural METhodology for developing …

200 papers

As the uni-cultural studies of website usability have matured, the paucity of cross-cultural studies of usability become increasingly apparent. Moving toward these cross-cultural studies will require the development of a new tool to assess…

Human-Computer Interaction · Computer Science 2018-03-13 Susana B. Vidrio Barón , Andrew W. Luse , Anthony M. Townsend

Existing malware detectors on safety-critical devices have difficulties in runtime detection due to the performance overhead. In this paper, we introduce PROPEDEUTICA, a framework for efficient and effective real-time malware detection,…

Cryptography and Security · Computer Science 2021-10-19 Ruimin Sun , Xiaoyong Yuan , Pan He , Qile Zhu , Aokun Chen , Andre Gregio , Daniela Oliveira , Xiaolin Li

An aesthetics evaluation model is at the heart of predicting users' aesthetic experience and developing user interfaces with higher quality. However, previous methods on aesthetic evaluation largely ignore the interpretability of the model…

Human-Computer Interaction · Computer Science 2022-02-10 Xiaoran Wu

The assumption of no unmeasured confounders is a critical but unverifiable assumption required for causal inference yet quantitative sensitivity analyses to assess robustness of real-world evidence remains underutilized. The lack of use is…

We first present our view of detection and correction of syntactic errors. We then introduce a new correction method, based on heuristic criteria used to decide which correction should be preferred. Weighting of these criteria leads to a…

cmp-lg · Computer Science 2009-09-25 Damien Genthial , Jacques Courtin , Jacques Menezo Equipe Trilan

The increasing reliance on Large Language Models (LLMs) across academia and industry necessitates a comprehensive understanding of their robustness to prompts. In response to this vital need, we introduce PromptRobust, a robustness…

Computation and Language · Computer Science 2024-07-17 Kaijie Zhu , Jindong Wang , Jiaheng Zhou , Zichen Wang , Hao Chen , Yidong Wang , Linyi Yang , Wei Ye , Yue Zhang , Neil Zhenqiang Gong , Xing Xie

Ignoring uncertainty in combinatorial optimization leads to suboptimal decisions in practice. Nevertheless, the focus is often on deterministic combinatorial optimization problems, mainly because they are already challenging enough without…

Optimization and Control · Mathematics 2024-08-13 Joost Berkhout

Heuristic design with large language models (LLMs) has emerged as a promising approach for tackling combinatorial optimization problems (COPs). However, existing approaches often rely on manually predefined evolutionary computation (EC)…

Machine Learning · Computer Science 2026-03-25 Yiding Shi , Jianan Zhou , Wen Song , Jieyi Bi , Yaoxin Wu , Zhiguang Cao , Jie Zhang

Cross-domain selection hyper-heuristics aim to distill decades of research on problem-specific heuristic search algorithms into adaptable general-purpose search strategies. In this respect, existing selection hyper-heuristics primarily…

Artificial Intelligence · Computer Science 2025-09-04 Václav Sobotka , Lucas Kletzander , Nysret Musliu , Hana Rudová

The increasing availability and diversity of virtual reality (VR) applications highlighted the importance of their usability. Function-oriented VR applications posed new challenges that are not well studied in the literature. Moreover, user…

Human-Computer Interaction · Computer Science 2019-02-27 Wenting Wang , Jinghui Cheng , Jin L. C. Guo

Human-centered explainability has become a critical foundation for the responsible development of interactive information systems, where users must be able to understand, interpret, and scrutinize AI-driven outputs to make informed…

Human-Computer Interaction · Computer Science 2025-07-04 Yuhao Zhang , Jiaxin An , Ben Wang , Yan Zhang , Jiqun Liu

Computational Design approaches facilitate the generation of typographic design, but evaluating these designs remains a challenging task. In this paper, we propose a set of heuristic metrics for typographic design evaluation, focusing on…

Multimedia · Computer Science 2024-02-13 Sérgio M. Rebelo , J. J. Merelo , João Bicker , Penousal Machado

The Product Data Model (PDM) is an example of a data-centric approach to modelling information-intensive business processes, which offers exibility and facilitates process optimization. Because the approach is declarative in nature, there…

Databases · Computer Science 2022-05-19 Konstantinos Varvoutas , Anastasios Gounaris , Georgia Kougka , Hajo A. Reijers

Large language models can extract local causal claims from text, but those claims become more useful when organized as persistent, navigable world models rather than as flat summaries. We introduce PROMETHEUS, a framework that turns…

Artificial Intelligence · Computer Science 2026-05-14 Sridhar Mahadevan

Calibrated trust in automated systems (Lee and See 2004) is critical for their safe and seamless integration into society. Users should only rely on a system recommendation when it is actually correct and reject it when it is factually…

Human-Computer Interaction · Computer Science 2025-08-05 Matouš Jelínek , Nadine Schlicker , Ewart de Visser

Reproducibility is a key requirement for scientific progress. It allows the reproduction of the works of others, and, as a consequence, to fully trust the reported claims and results. In this work, we argue that, by facilitating…

Information Retrieval · Computer Science 2021-02-02 Alejandro Bellogín , Alan Said

The causes of the reproducibility crisis include lack of standardization and transparency in scientific reporting. Checklists such as ARRIVE and CONSORT seek to improve transparency, but they are not always followed by authors and peer…

Production systems use heuristics because they are faster or scale better than their optimal counterparts. Yet, practitioners are often unaware of the performance gap between a heuristic and the optimum or between two heuristics in…

Networking and Internet Architecture · Computer Science 2023-11-22 Pooria Namyar , Behnaz Arzani , Ryan Beckett , Santiago Segarra , Himanshu Raj , Umesh Krishnaswamy , Ramesh Govindan , Srikanth Kandula

Understanding user satisfaction with conversational systems, known as User Satisfaction Estimation (USE), is essential for assessing dialogue quality and enhancing user experiences. However, existing methods for USE face challenges due to…

Computation and Language · Computer Science 2025-03-07 Sangyeop Kim , Sohhyung Park , Jaewon Jung , Jinseok Kim , Sungzoon Cho

Access to quality education remains a global challenge, particularly in crisis-affected regions. This study examines the decline in students' mathematical proficiency and proposes an innovative Moodle-based testing system that incorporates…

History and Overview · Mathematics 2026-04-22 I. V. Orlovskyi , O. A. Tymoshenko
‹ Prev 1 4 5 6 7 8 10 Next ›