Gemini: Elastic SNARKs for Diverse Environments

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

We propose an automated image selection system to assist photo editors in selecting suitable images for news articles. The system fuses multiple textual sources extracted from news articles and accepts multilingual inputs. It is equipped with char-level wo ...

The invention relates to a method and an apparatus for encoding and/or decoding digital images, wherein said encoding apparatus (1100) comprises processing means (1110) configured for determining weights of a graph related to an image by minimizing a cost ...

We present the design and implementation of SafetyPin, a system for encrypted mobile-device backups. Like existing cloud-based mobile-backup systems, including those of Apple and Google, SafetyPin requires users to remember only a short PIN and defends aga ...

Dynamically-scheduled elastic circuits generated by High-Level Synthesis (HLS) tools are inherently out-of-order, following the flow of data rather than the evolution of an instruction pointer. Components of the circuit which access memory need to be conne ...

The advent of online video streaming services along with the users' demand for high-quality contents require High Efficiency Video Coding (HEVC), which provides higher quality and compression at the cost of increased complexity. On one hand, HEVC exposes a ...

Consider a stream of status updates generated by a source, where each update is of one of two types: high priority or ordinary (low priority). These updates are to be transmitted through a network to a monitor. However, the transmission policy of each pack ...

Multiparty videoconferences, or more generally multiparty video calls, are gaining a lot of popularity as they offer a rich communication experience. These applications have, however, large requirements in terms of both network and computational resources ...

An easy-to-customize, low-cost solution for remote imagery is described. The system, denoted ImPROV (Imaging Package for Remote Vehicles), supports multiple cameras, live streaming, long-range encrypted communication using mobile networks, positioning and ...

We find an optimal upper bound on the volume of the John ellipsoid of a k-dimensional section of the n-dimensional cube, and an optimal lower bound on the volume of the Lowner ellipsoid of a projection of the n-dimensional cross-polytope onto a k-dimension ...

We consider the classical problem of maximizing a monotone submodular function subject to a cardinality constraint, which, due to its numerous applications, has recently been studied in various computational models. We consider a clean multi-player model t ...

Among the different types of dynamic random-access memories (DRAMs), gain-cell embedded DRAM (GC-eDRAM) is a compact, low-power, and CMOS-compatible alternative to conventional static random-access memory (SRAM). GC-eDRAM achieves high memory density, as i ...

Virtual memory (VM) is a crucial abstraction in modern computer systems at any scale, from handheld devices to datacenters. VM provides programmers the illusion of an always sufficiently large and linear memory, making programming easier. Although the core ...

HTTP adaptive streaming (HAS) has become the universal technology for video streaming over the Internet. Many HAS system designs aim at sharing the network bandwidth in a rate-fair manner. However, rate fairness is in general not equivalent to quality fair ...

The popularity of cloud computing has led to a dramatic increase in the number of data centers in the world. The ever-increasing computational demands along with the slowdown in technology scaling has ushered an era of power-limited servers. Techniques suc ...

Multiparty videoconferences, or more generally multiparty video calls, are gaining a lot of popularity as they offer a rich communication experience. These applications have however, large requirements in terms of both network and computational resources a ...

Video streaming from remotely controlled moving platforms such as drones have stringent constraints in terms of delay. In some applications such videos have to provide real-time visual feedback to the pilot with an acceptable distortion while satisfying hi ...

This paper investigates the reduction of dynamic power for streaming applications yielded by asynchronous dataflow designs by using clock gating techniques. Streaming applications constitute a very broad class of computing algorithms in areas such as signa ...

A straight-line drawing of a graph G is a mapping which assigns to each vertex a point in the plane and to each edge a straight-line segment connecting the corresponding two points. The rectilinear crossing number of a graph G, (cr) over bar (G), is the mi ...

This thesis addresses the problem of recovering the 3-D shape of a deformable object in single images, or image sequences acquired by a monocular video camera, given that a 3-D template shape and a template image of the object are available. While being a ...

Wearable sweat sensing systems offer non-invasive and real-time bio-data streaming solutions. They open the possibility for continuous monitoring of biomarkers' concentrations as well as their variation in sweat, which is a complementary to current passive ...

Gemini: Elastic SNARKs for Diverse Environments

Chat with Graph Search

Upgrading the Newsroom: An Automated Image Selection System for News Articles

Methods and apparatuses for encoding and decoding digital images or video streams

SafetyPin: Encrypted Backups with Human-Memorable Secrets

Optimized Memory Access For Dynamically Scheduled High Level Synthesis

Resource Management for Power-Constrained HEVC Transcoding Using Reinforcement Learning

Content Based Status Updates

Distributed Rate Allocation in Switch-Based Multiparty Videoconferencing System

Adaptable Imaging Package for Remote Vehicles

On the Volume of the John-Lowner Ellipsoid

The One-Way Communication Complexity of Submodular Maximization with Applications to Streaming and Robustness

Gain-Cell Embedded DRAMs: Modeling and Design Space

Near-Memory Address Translation

Price-based Controller for Quality-Fair HTTP Adaptive Streaming

Towards Near-Threshold Server Processors

Distributed rate allocation in switch-based multiparty videoconference

Streaming From a Moving Platform with Real-Time and Playback Distortion Constraints

Clock-Gating of Streaming Applications for Energy Efficient Implementations on FPGAs

Approximating the rectilinear crossing number

Template-based Monocular 3-D Shape Reconstruction And Tracking Using Laplacian Meshes

Wearable System for Real-Time Sensing of Biomarkers in Human Sweat