English
Related papers

Related papers: Odyssey: An Interactive Workbench for Expert-Drive…

200 papers

Floating-point arithmetic is error-prone and unintuitive. Floating-point debuggers instrument programs to monitor floating-point arithmetic at run time and flag numerical issues. They estimate residues, i.e., the difference between actual…

Mathematical Software · Computer Science 2026-04-09 Yumeng He , Pavel Panchekha

Space-filling experimental design techniques are commonly used in many computer modeling and simulation studies to explore the effects of inputs on outputs. This research presents raxpy, a Python package that leverages expressive annotation…

Mathematical Software · Computer Science 2025-01-08 Neil Ranly , Torrey Wagner

As tools for designing and manufacturing hardware become more accessible, smaller producers can develop and distribute novel hardware. However, processes for supporting end-user hardware troubleshooting or routine maintenance aren't well…

Human-Computer Interaction · Computer Science 2025-02-24 Amritansh Kwatra , Tobias Weinberg , Ilan Mandel , Ritik Batra , Peter He , Francois Guimbretiere , Thijs Roumen

The recent adoption of artificial intelligence in socio-technical systems raises concerns about the black-box nature of the resulting decisions in fields such as hiring, finance, admissions, etc. If data subjects -- such as job applicants,…

Human-Computer Interaction · Computer Science 2025-08-04 Kaustav Bhattacharjee , Jun Yuan , Aritra Dasgupta

We present a detailed study of roundoff errors in probabilistic floating-point computations. We derive closed-form expressions for the distribution of roundoff errors associated with a random variable, and we prove that roundoff errors are…

Logic in Computer Science · Computer Science 2021-05-28 George Constantinides , Fredrik Dahlqvist , Zvonimir Rakamaric , Rocco Salvia

Keeping abreast of current trends, technologies, and best practices in visualization and data analysis is becoming increasingly difficult, especially for fledgling data scientists. In this paper, we propose Lodestar, an interactive…

Human-Computer Interaction · Computer Science 2022-04-19 Deepthi Raghunandan , Zhe Cui , Kartik Krishnan , Segen Tirfe , Shenzhi Shi , Tejaswi Darshan Shrestha , Leilani Battle , Niklas Elmqvist

Algorithms operating on real numbers are implemented as floating-point computations in practice, but floating-point operations introduce roundoff errors that can degrade the accuracy of the result. We propose $\Lambda_{num}$, a functional…

Programming Languages · Computer Science 2025-04-10 Ariel E. Kellison , Justin Hsu

Floating-point arithmetic performance determines the overall performance of important applications, from graphics to AI. Meeting the IEEE-754 specification for floating-point requires that final results of addition, subtraction,…

Mathematical Software · Computer Science 2024-04-02 Lucas M. Dutton , Christopher Kumar Anand , Robert Enenkel , Silvia Melitta Müller

Reviews are integral to e-commerce services and products. They contain a wealth of information about the opinions and experiences of users, which can help better understand consumer decisions and improve user experience with products and…

Human-Computer Interaction · Computer Science 2020-01-16 Xiong Zhang , Jonathan Engel , Sara Evensen , Yuliang Li , Çağatay Demiralp , Wang-Chiew Tan

Open-ended assignments - such as lab reports and semester-long projects - provide data science and statistics students with opportunities for developing communication, critical thinking, and creativity skills. However, providing grades and…

Other Statistics · Statistics 2025-01-15 Federica Zoe Ricci , Catalina Mari Medina , Mine Dogucu

Speech emotion recognition is a challenging classification task with natural emotional speech, especially when the distribution of emotion types is imbalanced in the training and test data. In this case, it is more difficult for a model to…

Audio and Speech Processing · Electrical Eng. & Systems 2024-05-31 Mingjie Chen , Hezhao Zhang , Yuanchao Li , Jiachen Luo , Wen Wu , Ziyang Ma , Peter Bell , Catherine Lai , Joshua Reiss , Lin Wang , Philip C. Woodland , Xie Chen , Huy Phan , Thomas Hain

Text-guided image editing can have a transformative impact in supporting creative applications. A key challenge is to generate edits that are faithful to input text prompts, while consistent with input images. We present Imagen Editor, a…

When novices fabricate, they start by choosing a workflow (e.g., laser cutting, 3D printing, etc.) and corresponding software from a narrow set they know. As they advance their design, another workflow might better suit their intent, but…

Human-Computer Interaction · Computer Science 2026-02-17 Shuo Feng , Xuening Wang , Yifan , Shan , Krista U Singh , Bo Liu , Amritansh Kwatra , Ritik Batra , Tobias M Weinberg , Thijs Roumen

Designing high-quality presentation slides can be challenging for non-experts due to the complexity involved in navigating various design choices. Numerous automated tools can suggest layouts and color schemes, yet often lack the ability to…

Computer Vision and Pattern Recognition · Computer Science 2025-07-24 Jooyeol Yun , Heng Wang , Yotaro Shimose , Jaegul Choo , Shingo Takamatsu

In this paper, we present a solution for providing personalized and instant feedback to English learners through a mobile application, called Flowchase, that is connected to a speech technology able to segment and analyze speech segmental…

Audio and Speech Processing · Electrical Eng. & Systems 2023-07-06 Noé Tits , Zoé Broisson

Geometric predicates are at the core of many algorithms, such as the construction of Delaunay triangulations, mesh processing and spatial relation tests. These algorithms have applications in scientific computing, geographic information…

Numerical Analysis · Mathematics 2023-08-01 Tinko Bartels , Vissarion Fisikopoulos , Martin Weiser

Expressing stressful experiences in words is proven to improve mental and physical health, but individuals often disengage with writing interventions as they struggle to organize their thoughts and emotions. Reflective prompts have been…

Human-Computer Interaction · Computer Science 2025-05-09 Inhwa Song , SoHyun Park , Sachin R. Pendse , Jessica Lee Schleider , Munmun De Choudhury , Young-Ho Kim

Exploration bonus derived from the novelty of the states in an environment has become a popular approach to motivate exploration for deep reinforcement learning agents in the past few years. Recent methods such as curiosity-driven…

Machine Learning · Computer Science 2019-01-25 Hsuan-Kung Yang , Po-Han Chiang , Kuan-Wei Ho , Min-Fong Hong , Chun-Yi Lee

As language models regularly make mistakes when solving math problems, automated identification of errors in the reasoning process becomes increasingly significant for their scalable oversight. In this paper, we introduce ProcessBench for…

Artificial Intelligence · Computer Science 2025-05-27 Chujie Zheng , Zhenru Zhang , Beichen Zhang , Runji Lin , Keming Lu , Bowen Yu , Dayiheng Liu , Jingren Zhou , Junyang Lin

The most prevalent scope of interest for OCR applications used to be scanned documents, but it has now shifted towards the natural scene. Despite the change of times, the existing evaluation methods are still based on the old criteria…

Computer Vision and Pattern Recognition · Computer Science 2019-08-30 Hong-Seok Lee , Youngmin Yoon , Pil-Hoon Jang , Chankyu Choi