English
Related papers

Related papers: An Intermediate Representation for Composable Type…

200 papers

In this thesis we consider the problem of information hiding in the scenarios of interactive systems, statistical disclosure control, and refinement of specifications. We apply quantitative approaches to information flow in the first two…

Cryptography and Security · Computer Science 2012-02-14 Mário S. Alvim

Transformers have revolutionized AI in natural language processing and computer vision, but their large computation and memory demands pose major challenges for hardware acceleration. In practice, end-to-end throughput is often limited by…

Hardware Architecture · Computer Science 2026-03-20 Qunyou Liu , Marina Zapater , David Atienza

Fluid-structure systems occur in a range of scientific and engineering applications. The immersed boundary(IB) method is a widely recognized and effective modeling paradigm for simulating fluid-structure interaction(FSI) in such systems,…

Numerical Analysis · Mathematics 2022-06-10 Ebrahim M. Kolahdouz , Amneet Pal Singh Bhalla , Brent A. Craven , Boyce E. Griffith

Datalog-based languages are regaining popularity as a powerful abstraction for expressing recursive computations in domains such as program analysis and graph processing. However, existing systems often face a trade-off between efficiency…

Databases · Computer Science 2025-11-18 Hangdong Zhao , Zhenghong Yu , Srinag Rao , Simon Frisk , Zhiwei Fan , Paraschos Koutris

Interior design often struggles to capture the subtleties of client experience, leaving gaps between what clients feel and what designers can act upon. We present AIDED, a designer-AI co-design workflow that integrates multimodal client…

Human-Computer Interaction · Computer Science 2026-02-11 Yang Chen Lin , Chen-Ying Chen , Kai-Hsin Hou , Hung-Yu Chen , Po-Chih Kuo

Deep Web databases contain more than 90% of pertinent information of the Web. Despite their importance, users don't profit of this treasury. Many deep web services are offering competitive services in term of prices, quality of service, and…

Information Retrieval · Computer Science 2012-05-07 Radhouane Boughamoura , Lobna Hlaoua , Mohamed Nazih Omri

Energy sampling-based interference detection and identification (IDI) methods collide with the limitations of commercial off-the-shelf (COTS) IoT hardware. Moreover, long sensing times, complexity and inability to track concurrent…

Signal Processing · Electrical Eng. & Systems 2018-12-12 Simone Grimaldi , Aamir Mahmood , Mikael Gidlund

Macro embedding is a popular approach to defining extensible shallow embeddings of object languages in Scheme like host languages. While macro embedding has even been shown to enable implementing extensible typed languages in systems like…

Programming Languages · Computer Science 2025-09-10 Sean Bocirnea , William J. Bowman

Text-to-image (T2I) models are well known for their ability to produce highly realistic images, while multimodal large language models (MLLMs) are renowned for their proficiency in understanding and integrating multiple modalities. However,…

Computer Vision and Pattern Recognition · Computer Science 2025-08-12 Jian Ma , Qirong Peng , Xu Guo , Chen Chen , Haonan Lu , Zhenyu Yang

Recent literature has shown how linear time-invariant (LTI) systems can be represented by trajectories features, that is relying on a single input-output (IO) data dictionary to span all possible system trajectories, as long as the input is…

Systems and Control · Electrical Eng. & Systems 2023-09-18 Marcelo Menezes Morato , Julio Elias Normey-Rico , Olivier Sename

Understanding the decisions made by deep neural networks is essential in high-stakes domains such as medical imaging and autonomous driving. Yet, these models often lack transparency, particularly in computer vision.…

Computer Vision and Pattern Recognition · Computer Science 2025-07-28 Viktar Dubovik , Łukasz Struski , Jacek Tabor , Dawid Rymarczyk

This paper presents PipeFusion, an innovative parallel methodology to tackle the high latency issues associated with generating high-resolution images using diffusion transformers (DiTs) models. PipeFusion partitions images into patches and…

Computer Vision and Pattern Recognition · Computer Science 2026-05-05 Jiarui Fang , Jinzhe Pan , Aoyu Li , Xibo Sun , Jiannan Wang

The shift toward IoT-enabled, sensor-driven systems has transformed how operational data is generated, favoring continuous, real-time event streams (ES) over static event logs. This evolution presents new challenges for Streaming Process…

The usage of both off-the-shelf and end-to-end trained deep networks have significantly improved performance of visual tracking on RGB videos. However, the lack of large labeled datasets hampers the usage of convolutional neural networks…

Computer Vision and Pattern Recognition · Computer Science 2018-12-26 Lichao Zhang , Abel Gonzalez-Garcia , Joost van de Weijer , Martin Danelljan , Fahad Shahbaz Khan

Mining temporal data for information is often inhibited by a multitude of formats: irregular or multiple time intervals, point events that need aggregating, multiple observational units or repeated measurements on multiple individuals, and…

Applications · Statistics 2019-02-14 Earo Wang , Dianne Cook , Rob J Hyndman

River is a machine learning library for dynamic data streams and continual learning. It provides multiple state-of-the-art learning methods, data generators/transformers, performance metrics and evaluators for different stream learning…

We introduce Ivy, a templated Deep Learning (DL) framework which abstracts existing DL frameworks. Ivy unifies the core functions of these frameworks to exhibit consistent call signatures, syntax and input-output behaviour. New high-level…

Machine Learning · Computer Science 2021-04-06 Daniel Lenton , Fabio Pardo , Fabian Falck , Stephen James , Ronald Clark

Python's dynamic type system, while offering significant flexibility and expressiveness, poses substantial challenges for static analysis and automated tooling, particularly in unannotated or partially annotated codebases. Existing type…

Software Engineering · Computer Science 2026-04-08 Ali Aman , Muhammad Asaduzzaman , Shaowei Wang

Enabling users to interactively navigate through different viewpoints of a static scene is a new interesting functionality in 3D streaming systems. While it opens exciting perspectives towards rich multimedia applications, it requires the…

Multimedia · Computer Science 2015-06-11 Thomas Maugey , Ismael Daribo , Gene Cheung , Pascal Frossard

In this report, we present Qwen2.5-Omni, an end-to-end multimodal model designed to perceive diverse modalities, including text, images, audio, and video, while simultaneously generating text and natural speech responses in a streaming…

Computation and Language · Computer Science 2025-03-27 Jin Xu , Zhifang Guo , Jinzheng He , Hangrui Hu , Ting He , Shuai Bai , Keqin Chen , Jialin Wang , Yang Fan , Kai Dang , Bin Zhang , Xiong Wang , Yunfei Chu , Junyang Lin
‹ Prev 1 8 9 10 Next ›