English
Related papers

Related papers: CREOLE: a Universal Language for Creating, Request…

200 papers

Formal Methods tools will never have as many users as tools for popular programming languages and so the effort spent on constructing Integrated Development Environments (IDEs) will be orders of magnitudes lower than that of programming…

Computer systems used in the field of humanitarian technology are often based on general-purpose single-board computers, such as Raspberry Pis. While these systems offer great flexibility for developers and users, configuration and…

Operating Systems · Computer Science 2020-10-16 Jonas Höchst , Alvar Penning , Patrick Lampe , Bernd Freisleben

Clinical case reports are written descriptions of the unique aspects of a particular clinical case, playing an essential role in sharing clinical experiences about atypical disease phenotypes and new therapies. However, to our knowledge,…

Computation and Language · Computer Science 2021-03-02 Yichao Zhou , Wei-Ting Chen , Bowen Zhang , David Lee , J. Harry Caufield , Kai-Wei Chang , Yizhou Sun , Peipei Ping , Wei Wang

Precise, object-aware control over visual content is essential for advanced image editing and compositional generation. Yet, most existing approaches operate on entire images holistically, limiting the ability to isolate and manipulate…

Computer Vision and Pattern Recognition · Computer Science 2026-02-24 Fangyi Chen , Yaojie Shen , Lu Xu , Ye Yuan , Shu Zhang , Yulei Niu , Longyin Wen

Text-to-SQL, the process of translating natural language into Structured Query Language (SQL), represents a transformative application of large language models (LLMs), potentially revolutionizing how humans interact with data. This paper…

Type-preserving translations are effective rigorous tools in the study of core programming calculi. In this paper, we develop a new typed translation that connects sequential and concurrent calculi; it is governed by type systems that…

Programming Languages · Computer Science 2022-06-01 Joseph W. N. Paulus , Daniele Nantes-Sobrinho , Jorge A. Pérez

Adaptive workloads can change on--the--fly the configuration of their jobs, in terms of number of processes. In order to carry out these job reconfigurations, we have designed a methodology which enables a job to communicate with the…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-06-01 Sergio Iserte , Rafael Mayo , Enrique S. Quintana-Orti , Vicenc Beltran , Antonio J. Peña

Traditional query planners translate SQL queries into query plans to be executed over relational data. However, it is impossible to query other data modalities, such as images, text, or video stored in modern data systems such as data lakes…

Databases · Computer Science 2023-08-08 Matthias Urban , Carsten Binnig

Key information extraction (KIE) from document images requires understanding the contextual and spatial semantics of texts in two-dimensional (2D) space. Many recent studies try to solve the task by developing pre-trained language models…

Computation and Language · Computer Science 2022-04-06 Teakgyu Hong , Donghyun Kim , Mingi Ji , Wonseok Hwang , Daehyun Nam , Sungrae Park

The increasing proliferation of IoT devices and AI applications has created a demand for scalable and efficient computing solutions, particularly for applications requiring real-time processing. The compute continuum integrates edge and…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-10-14 Negin Akbari , John Grundy , Aamir Cheema , Adel N. Toosi

Automated redesign without manual adjustments marks a key step forward in the design workflow. In this work, we focus on a foundational redesign task termed design layout editing, which seeks to autonomously modify the geometric composition…

Computer Vision and Pattern Recognition · Computer Science 2026-02-03 Jiawei Lin , Shizhao Sun , Danqing Huang , Ting Liu , Ji Li , Jiang Bian

The structures for the expression of fault-tolerance provisions into the application software are the central topic of this paper. Structuring techniques answer the questions "How to incorporate fault-tolerance in the application layer of a…

Software Engineering · Computer Science 2015-04-14 Vincenzo De Florio , Chris Blondia

Designing visually diverse and high-quality designs remains a manual, time-consuming process, limiting scalability and personalization in creative workflows. We present a system for generating editable design variations using a decoder-only…

Machine Learning · Computer Science 2026-04-07 Karthik Suresh , Amine Ben Khalifa , Li Zhang , Wei-ting Hsu , Fangzheng Wu , Vinay More , Asim Kadav

This tutorial (https://tum-nlp.github.io/low-resource-tutorial) is designed for NLP practitioners, researchers, and developers working with multilingual and low-resource languages who seek to create more equitable and socially impactful…

Computation and Language · Computer Science 2025-12-17 Ekaterina Artemova , Laurie Burchell , Daryna Dementieva , Shu Okabe , Mariya Shmatova , Pedro Ortiz Suarez

Business systems these days need to be agile to address the needs of a changing world. In particular the discipline of Enterprise Application Integration requires business process management to be highly reconfigurable with the ability to…

Software Engineering · Computer Science 2007-05-23 Sebastien Gaspard , Florida Estrella , Richard McClatchey , Regis Dindeleux

This paper introduces Unified Language-driven Zero-shot Domain Adaptation (ULDA), a novel task setting that enables a single model to adapt to diverse target domains without explicit domain-ID knowledge. We identify the constraints in the…

Computer Vision and Pattern Recognition · Computer Science 2024-04-11 Senqiao Yang , Zhuotao Tian , Li Jiang , Jiaya Jia

This paper presents some preliminary results concerning a new user-friendly operating system interface based on the relational data model that is currently under development at the University of Texas at Austin. The premise of our work is…

Databases · Computer Science 2024-09-24 Robert Soulé , Peter Alvaro , Henry F. Korth , Abraham Silberschatz

The user-facing components of the Cyberinfrastructure (CI) ecosystem, science gateways and scientific workflow systems, share a common need of interfacing with physical resources (storage systems and execution environments) to manage data…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-07-02 Joe Stubbs , Suresh Marru , Daniel Mejia , Daniel S. Katz , Kyle Chard , Maytal Dahan , Marlon Pierce , Michael Zentner

Data scarcity is a crucial issue for the development of highly multilingual NLP systems. Yet for many under-represented languages (ULs) -- languages for which NLP re-search is particularly far behind in meeting user needs -- it is feasible…

Large language models (LLMs) have demonstrated impressive capabilities in code generation, where the natural language prompt plays a crucial role in conveying user intent to the model. However, prior studies have shown that LLMs are highly…

Software Engineering · Computer Science 2025-12-11 Shuhan Liu , Xing Hu , Kerui Huang , Xiaohu Yang , David Lo , Xin Xia