English
Related papers

Related papers: An Intermediate Representation for Composable Type…

200 papers

High-fidelity computational fluid dynamics (CFD) is widely used for thermal-fluid design, but repeated CFD solves remain expensive for design optimization, uncertainty analysis, and digital-twin workflows. Recently, our team has…

Fluid Dynamics · Physics 2026-05-28 Daniel Curl , Han Hu

In recent years, stream processing has become a prominent approach for incrementally handling large amounts of data, with special support and libraries in many programming languages. Unfortunately, support in Prolog has so far been lacking…

Programming Languages · Computer Science 2019-09-20 Paul Tarau , Jan Wielemaker , Tom Schrijvers

Creating layouts is a fundamental step in graphic design. In this work, we propose to use text as the guidance to create graphic layouts, i.e., Text-to-Layout, aiming to lower the design barriers. Text-to-Layout is a challenging task,…

Computer Vision and Pattern Recognition · Computer Science 2023-08-25 Jiawei Lin , Jiaqi Guo , Shizhao Sun , Weijiang Xu , Ting Liu , Jian-Guang Lou , Dongmei Zhang

We present a Python library, called Midi Miner, that can calculate tonal tension and classify different tracks. MIDI (Music Instrument Digital Interface) is a hardware and software standard for communicating musical events between digital…

Sound · Computer Science 2020-05-27 Rui Guo , Dorien Herremans , Thor Magnusson

Stream computing is the use of multiple autonomic and parallel modules together with integrative processors at a higher level of abstraction to embody "intelligent" processing. The biological basis of this computing is sketched and the…

Artificial Intelligence · Computer Science 2008-01-10 Subhash Kak

The rapid adoption of large language models and multimodal foundation models has made multimodal data preparation pipelines critical AI infrastructure. These pipelines interleave CPU-heavy preprocessing with accelerator-backed (GPU/NPU/TPU)…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-03-03 Ding Pan , Zhuangzhuang Zhou , Long Qian , Binhang Yuan

Statically analyzing dynamically-typed code is a challenging endeavor, as even seemingly trivial tasks such as determining the targets of procedure calls are non-trivial without knowing the types of objects at compile time. Addressing this…

Machine Learning · Computer Science 2023-10-05 Lukas Seidel , Sedick David Baker Effendi , Xavier Pinho , Konrad Rieck , Brink van der Merwe , Fabian Yamaguchi

The availability of interaction devices has raised interest in techniques to support the user interface (UI). A UI specification describes the functions that a system provides to its users by capturing the interface details and includes…

Software Engineering · Computer Science 2019-02-01 Sabah Al-Fedaghi

Text-to-image (T2I) diffusion/flow models have drawn considerable attention recently due to their remarkable ability to deliver flexible visual creations. Still, high-resolution image synthesis presents formidable challenges due to the…

Computer Vision and Pattern Recognition · Computer Science 2025-05-19 Jiazi Bu , Pengyang Ling , Yujie Zhou , Pan Zhang , Tong Wu , Xiaoyi Dong , Yuhang Zang , Yuhang Cao , Dahua Lin , Jiaqi Wang

Traditional compilers, designed for optimizing low-level code, fall short when dealing with modern, computation-heavy applications like image processing, machine learning, or numerical simulations. Optimizations should understand the…

Programming Languages · Computer Science 2024-11-21 Roland Leißa , Marcel Ulrich , Joachim Meyer , Sebastian Hack

Recent advances in zero-shot text-to-speech (TTS) synthesis have achieved high-quality speech generation for unseen speakers, but most systems remain unsuitable for real-time applications because of their offline design. Current streaming…

Sound · Computer Science 2025-06-17 Hui Wang , Yifan Yang , Shujie Liu , Jinyu Li , Lingwei Meng , Yanqing Liu , Jiaming Zhou , Haoqin Sun , Yan Lu , Yong Qin

The current scenario of IoT is witnessing a constant increase on the volume of data, which is generated in constant stream, calling for novel architectural and logical solutions for processing it. Moving the data handling towards the edge…

Machine Learning · Computer Science 2024-09-27 Boris Sedlak , Victor Casamayor Pujol , Andrea Morichetta , Praveen Kumar Donta , Schahram Dustdar

Intrusion detection in IoT and industrial networks requires models that can detect rare attacks at low false-positive rates while remaining reliable under evolving traffic and limited labels. Existing IDS solutions often report strong…

Cryptography and Security · Computer Science 2026-03-03 Srikumar Nayak

Implicit Neural Representations (INRs) offer exceptional fidelity for video compression by learning per-video optimized functions, but their adoption is crippled by impractically slow encoding times. Existing attempts to accelerate INR…

Computer Vision and Pattern Recognition · Computer Science 2025-07-01 Vikram Rangarajan , Shishira Maiya , Max Ehrlich , Abhinav Shrivastava

Communication in the presence of bounded timing asynchronism which is known to the receiver but cannot be easily compensated is studied. Examples of such situations include point-to-point communication over inter-symbol interference (ISI)…

Information Theory · Computer Science 2014-11-18 Ping-Chung Wang , Yu-Chih Huang , Krishna R. Narayanan

Chisel (Constructing Hardware In a Scala Embedded Language) is a broadly adopted HDL that brings object-oriented and functional programming, type-safety, and parameterization to hardware design. However, while these language features…

Hardware Architecture · Computer Science 2024-08-23 Raffaele Meloni , H. Peter Hofstee , Zaid Al-Ars

Event processing will play an increasingly important role in constructing enterprise applications that can immediately react to business critical events. Various technologies have been proposed in recent years, such as event processing,…

Databases · Computer Science 2007-05-23 Roger S. Barga , Jonathan Goldstein , Mohamed Ali , Mingsheng Hong

With the ongoing, gradual shift of large-scale distributed systems towards the edge-cloud continuum, the need arises for software solutions that are universal, scalable, practical, and grounded in well-established technologies.…

Data harmonization remains a major bottleneck for integrative analysis due to heterogeneity in schemas, value representations, and domain-specific conventions. BDI-Kit provides an extensible toolkit for schema and value matching. It exposes…

Artificial Intelligence · Computer Science 2026-04-09 Roque Lopez , Yurong Liu , Christos Koutras , Juliana Freire

On the Internet of Things (IoT), devices continuously communicate with each other, with a gateway, or other Internet nodes. Often devices are constrained and use insecure channels for their communication, which exposes them to a selection…

Networking and Internet Architecture · Computer Science 2019-07-01 M. Aiman Ismail , Thomas C. Schmidt