English
Related papers

Related papers: TeXmacs-Reduce interface

200 papers

The 11th Summer Workshop on Multimodal Interfaces eNTERFACE 2015 was hosted by the Numediart Institute of Creative Technologies of the University of Mons from August 10th to September 2015. During the four weeks, students and researchers…

We explore how intermediate policy representations can facilitate generalization by providing guidance on how to perform manipulation tasks. Existing representations such as language, goal images, and trajectory sketches have been shown to…

Robotics · Computer Science 2024-11-06 Soroush Nasiriany , Sean Kirmani , Tianli Ding , Laura Smith , Yuke Zhu , Danny Driess , Dorsa Sadigh , Ted Xiao

Complex software can be hard to read, adapt, and maintain. Refactoring it can create cleaner and self-explanatory code. Refactoring tools try to guide developers towards better code, with more quality. However, most of them take too long to…

Software Engineering · Computer Science 2023-07-21 Sara Fernandes , Ademar Aguiar , André Restivo

This paper describes Convex, a convex optimization modeling framework in Julia. Convex translates problems from a user-friendly functional language into an abstract syntax tree describing the problem. This concise representation of the…

Optimization and Control · Mathematics 2014-10-20 Madeleine Udell , Karanveer Mohan , David Zeng , Jenny Hong , Steven Diamond , Stephen Boyd

Visual text rendering are widespread in various real-world applications, requiring careful font selection and typographic choices. Recent progress in diffusion transformer (DiT)-based text-to-image (T2I) models show promise in automating…

Computer Vision and Pattern Recognition · Computer Science 2025-07-14 Wenda Shi , Yiren Song , Dengming Zhang , Jiaming Liu , Xingxing Zou

This volume contains the proceedings of the Second International Workshop on Developments in Implicit Computational complExity (DICE 2011), which took place on April 2-3 2011 in Saarbruecken, Germany, as a satellite event of the Joint…

Logic in Computer Science · Computer Science 2012-01-04 Jean-Yves Marion

Resources for simulation-based evaluation of conversational recommender systems (CRSs) are scarce. The UserSimCRS toolkit was introduced to address this gap. In this work, we present UserSimCRS v2, a significant upgrade aligning the toolkit…

Information Retrieval · Computer Science 2026-03-18 Nolwenn Bernard , Krisztian Balog

Text simplification (TS) is the process of generating easy-to-understand sentences from a given sentence or piece of text. The aim of TS is to reduce both the lexical (which refers to vocabulary complexity and meaning) and syntactic (which…

Computation and Language · Computer Science 2023-04-17 Ciprian-Octavian Truică , Andrei-Ionut Stan , Elena-Simona Apostol

Refinement is one of the cornerstones of a formal approach to software engineering: the process of developing a more detailed design or implementation from an abstract specification through a sequence of mathematically-based steps that…

Software Engineering · Computer Science 2011-06-20 John Derrick , Eerke Boiten , Steve Reeves

We propose a low-dimensional interface reduction method for elliptic interface problems based on conservative flux reconstruction. The approach combines a fitted $P_1$ finite element discretization with a flux recovery procedure following…

Numerical Analysis · Mathematics 2026-05-12 C. Attanayake , So-Hsiang Chou

Making large language models (LLMs) more efficient in memory, latency, and serving cost is crucial for edge deployment, interactive applications, and sustainable inference at scale. Pruning is a promising technique, but existing pruning…

Computation and Language · Computer Science 2025-10-13 Eugene Kwek , Wenpeng Yin

Large Language Models have become widely adopted tools due to their versatile capabilities, yet their user interfaces remain limited, often following rigid, linear interaction paradigms. In this paper, we present insights from a design…

Human-Computer Interaction · Computer Science 2025-08-27 Maximilian Frank , Simon Lund

Fine-tuning is a popular method for adapting text-to-speech (TTS) models to new speakers. However this approach has some challenges. Usually fine-tuning requires several hours of high quality speech per speaker. There is also that…

Audio and Speech Processing · Electrical Eng. & Systems 2022-11-02 Cheng-Ping Hsieh , Subhankar Ghosh , Boris Ginsburg

This paper presents Summary Workbench, a new tool for developing and evaluating text summarization models. New models and evaluation measures can be easily integrated as Docker-based plugins, allowing to examine the quality of their…

Computation and Language · Computer Science 2022-10-19 Shahbaz Syed , Dominik Schwabe , Martin Potthast

Low-Rank Adaptation (LoRA) lowers the computational and memory overhead of fine-tuning large models by updating a low-dimensional subspace of the pre-trained weight matrix. Albeit efficient, LoRA exhibits suboptimal convergence and…

Machine Learning · Computer Science 2026-02-25 Yilang Zhang , Bingcong Li , Georgios B. Giannakis

Improving the captioning performance on low-resource languages by leveraging English caption datasets has received increasing research interest in recent years. Existing works mainly fall into two categories: translation-based and…

Computation and Language · Computer Science 2019-08-22 Yike Wu , Shiwan Zhao , Jia Chen , Ying Zhang , Xiaojie Yuan , Zhong Su

In this paper, we reveal that most current efficient multimodal fine-tuning methods are hindered by a key limitation: they are directly borrowed from LLMs, often neglecting the intrinsic differences of multimodal scenarios and even…

Computer Vision and Pattern Recognition · Computer Science 2025-12-30 Yake Wei , Yu Miao , Dongzhan Zhou , Di Hu

In this talk we will review the major additions and improvements made to the ROOT system in the last 18 months and present our plans for future developments. The additons and improvements range from modifications to the I/O sub-system to…

Software Engineering · Computer Science 2008-11-26 Fons Rademakers , Masaharu Goto , Philippe Canal , Rene Brun

The mini-proceedings of the Workshop on Meson Transition Form Factors held in Cracow from May 29th to 30th, 2012 introduce the meson transition form factor project with special emphasis on the interrelations between the various form factors…

High Energy Physics - Phenomenology · Physics 2013-07-15 E. Czerwinski , S. Eidelman , C. Hanhart , B. Kubis , A. Kupsc , S. Leupold , P. Moskal , S. Schadmand

Dimensionality reduction is a common method for analyzing and visualizing high-dimensional data across domains. Dimensionality-reduction algorithms involve complex optimizations and the reduced dimensions computed by these algorithms…

Human-Computer Interaction · Computer Science 2017-08-16 Marco Cavallo , Çağatay Demiralp