Publications related to Video game art

Revisiting Explicit Enumeration for Exact Synthesis

The problem of generating a minimal implementation of a given Boolean function is called exact synthesis. The parameter to be minimized is often the total number of gates used for the implementation. The exact synthesis engine is considered an essential to ...

IEEE COMPUTER SOC2020

Modurec: Recommender Systems with Feature and Time Modulation

Pascal Frossard, Clément Arthur Yvon Vignac, Javier Alejandro Maroto Morales

Current state of the art algorithms for recommender systems are mainly based on collaborative filtering, which exploits user ratings to discover latent factors in the data. These algorithms unfortunately do not make effective use of other features, which c ...

IEEE2020

Lancet: A self-correcting Latency Measuring Tool

Edouard Bugnion, Evangelos Marios Kogias

We present LANCET, a self-correcting tool designed to measure the open-loop tail latency of µs-scale datacenter applications with high fan-in connection patterns. LANCET is self-correcting as it relies on online statistical tests to determine situations in ...

USENIX ASSOC2019

Refutation-based synthesis in SMT

Viktor Kuncak, Andrew Joseph Reynolds

We introduce the first program synthesis engine implemented inside an SMT solver. We present an approach that extracts solution functions from unsatisfiability proofs of the negated form of synthesis conjectures. We also discuss novel counterexample-guided ...

SPRINGER2019

Sparse Gradient Optimization and its Applications in Image Processing

Nikolaos Arvanitopoulos Darginis

Millions of digital images are captured by imaging devices on a daily basis. The way imaging devices operate follows an integral process from which the information of the original scene needs to be estimated. The estimation is done by inverting the integra ...

EPFL2017

Sphere-Meshes for Real-Time Hand Modeling and Tracking

Mark Pauly, Andrea Tagliasacchi, Anastasia Tkach

Modern systems for real-time hand tracking rely on a combination of discriminative and generative approaches to robustly recover hand poses. Generative approaches require the specification of a geometric model. In this paper, we propose a the use of sphere ...

Assoc Computing Machinery2016

Real-Time Audio-Visual Analysis for Multiperson Videoconferencing

Petr Motlicek, Hervé Bourlard, Jean-Marc Odobez

We describe the design of a system consisting of several state-of-the-art real-time audio and video processing components enabling multimodal stream manipulation (e.g., automatic online editing for multiparty videoconferencing applications) in open, uncons ...

2013