中文
相关论文

相关论文: SQUAD: Combining Sketching and Sampling Is Better …

200 篇论文

The rapid growth of large language models (LLMs) has outpaced the memory constraints of edge devices, necessitating extreme weight compression beyond the 1-bit limit. While quantization reduces model size, it is fundamentally limited to 1…

机器学习 · 计算机科学 2025-06-24 Sunan Zou , Ziyun Zhang , Xueting Sun , Guojie Luo

We present a novel and efficient method for synthesis of parameterized distributed protocols by sketching. Our method is both syntax-guided and counterexample-guided, and utilizes a fast equivalence reduction technique that enables…

计算机科学中的逻辑 · 计算机科学 2024-05-14 Derek Egolf , William Schultz , Stavros Tripakis

Many well-known, real-world problems involve dynamic data which describe the relationship among the entities. Hypergraphs are powerful combinatorial structures that are frequently used to model such data. For many of today's data-centric…

数据结构与算法 · 计算机科学 2021-03-10 Fatih Taşyaran , Berkay Demireller , Kamer Kaya , Bora Uçar

As data volume grows extensively, data profiling helps to extract metadata of large-scale data. However, one kind of metadata, order statistics, is difficult to be computed because they are not mergeable or incremental. Thus, the limitation…

数据结构与算法 · 计算机科学 2020-06-29 Zhiwei Chen , Aoqian Zhang

Stream processing applications extract value from raw data through Directed Acyclic Graphs of data analysis tasks. Shared-nothing (SN) parallelism is the de-facto standard to scale stream processing applications. Given an application, SN…

Mining frequent itemsets through static Databases has been extensively studied and used and is always considered a highly challenging task. For this reason it is interesting to extend it to data streams field. In the streaming case, the…

数据库 · 计算机科学 2012-06-06 Manel Zarrouk , Med Salah Gouider

Transformer-based models are not efficient in processing long sequences due to the quadratic space and time complexity of the self-attention modules. To address this limitation, Linformer and Informer are proposed to reduce the quadratic…

机器学习 · 计算机科学 2021-12-13 Yifan Chen , Qi Zeng , Dilek Hakkani-Tur , Di Jin , Heng Ji , Yun Yang

Various works have aimed at combining the inference efficiency of recurrent models and training parallelism of multi-head attention for sequence modeling. However, most of these works focus on tasks with fixed-dimension observation spaces,…

机器学习 · 计算机科学 2024-10-14 Bryce Ferenczi , Michael Burke , Tom Drummond

Event cameras offer high temporal resolution and power efficiency, making them well-suited for edge AI applications. However, their high event rates present challenges for data transmission and processing. Subsampling methods provide a…

计算机视觉与模式识别 · 计算机科学 2025-05-28 Hesam Araghi , Jan van Gemert , Nergis Tomen

Randomized algorithms, such as randomized sketching or stochastic optimization, are a promising approach to ease the computational burden in analyzing large datasets. However, randomized algorithms also produce non-deterministic outputs,…

统计方法学 · 统计学 2025-05-13 Zhixiang Zhang , Sokbae Lee , Edgar Dobriban

This paper presents a graph bundling algorithm that agglomerates edges taking into account both spatial proximity as well as user-defined criteria in order to reveal patterns that were not perceivable with previous bundling techniques. Each…

图形学 · 计算机科学 2015-04-13 Daniel C. Moura

This article considers "compressive learning," an approach to large-scale machine learning where datasets are massively compressed before learning (e.g., clustering, classification, or regression) is performed. In particular, a "sketch" is…

The amount of collected information on data repositories has vastly increased with the advent of the internet. It has become increasingly complex to deal with these massive data streams due to their sheer volume and the throughput of…

信息检索 · 计算机科学 2021-05-13 Oshan Mudannayake , Nalin Ranasinghe

Today, we have to deal with many data (Big data) and we need to make decisions by choosing an architectural framework to analyze these data coming from different area. Due to this, it become problematic when we want to process these data,…

软件工程 · 计算机科学 2019-01-29 Youness Dendane , Fabio Petrillo , Hamid Mcheick , Souhail Ben Ali

We discuss the problem of counting distinct elements in a stream. A stream is usually considered as a sequence of elements that come one at a time. An exact solution to the problem requires memory space of the size of the stream. For many…

数据结构与算法 · 计算机科学 2021-06-18 Tal Ohayon

Counters are the fundamental building block of many data sketching schemes, which hash items to a small number of counters and account for collisions to provide good approximations for frequencies and other measures. Most existing methods…

数据结构与算法 · 计算机科学 2021-02-26 Ran Ben Basat , Gil Einziger , Michael Mitzenmacher , Shay Vargaftik

In this work, we study distributed sketching methods for large scale regression problems. We leverage multiple randomized sketches for reducing the problem dimensions as well as preserving privacy and improving straggler resilience in…

分布式、并行与集群计算 · 计算机科学 2020-06-23 Burak Bartan , Mert Pilanci

We introduce a novel sketch-to-image tool that aligns with the iterative refinement process of artists. Our tool lets users sketch blocking strokes to coarsely represent the placement and form of objects and detail strokes to refine their…

图形学 · 计算机科学 2024-10-28 Vishnu Sarukkai , Lu Yuan , Mia Tang , Maneesh Agrawala , Kayvon Fatahalian

Sampling random nodes is a fundamental algorithmic primitive in the analysis of massive networks, with many modern graph mining algorithms critically relying on it. We consider the task of generating a large collection of random nodes in…

社会与信息网络 · 计算机科学 2021-10-27 Omri Ben-Eliezer , Talya Eden , Joel Oren , Dimitris Fotakis

Sketching is a natural and effective visual communication medium commonly used in creative processes. Recent developments in deep-learning models drastically improved machines' ability in understanding and generating visual content. An…

人机交互 · 计算机科学 2021-11-22 Forrest Huang , Eldon Schoop , David Ha , Jeffrey Nichols , John Canny
‹ 上一页 1 8 9 10 下一页 ›