Caradoc: a pragmatic approach to PDF parsing and validation

Publications associées (25)

Architectural Sampling: A Formal Basis for Machine-Learnable Architecture

The spatial and formal conception of architecture, and thus its modes of design perception and representation, directly contributes to its machine-learnability; and consequently, its capacity in leveraging today's machine learning apparatus for design inno ...

EPFL2019

Simplifying Development and Management of Software-Defined Networks

Peter Peresini

Computer networks are an important part of our life. Yet, they are traditionally hard to manage and operate. The recent shift to Software-Defined Networking (SDN) is promised to change the way in which the networks are run by their operators. However, SDN ...

EPFL2016

Automating Grammar Comparison

Viktor Kuncak, Mikaël Mayer, Ravichandhran Kandhadai Madhavan

We consider from a practical perspective the problem of checking equivalence of context-free grammars. We present techniques for proving equivalence, as well as techniques for finding counter-examples that establish non-equivalence. Among the key building ...

2015

Page 2 sur 3

À propos
Confidentialité
Mentions légales

Graph Chatbot

Architectural Sampling: A Formal Basis for Machine-Learnable Architecture

Immanuel Chee Beng Koh

EPFL2019

Optimized Data Representation for Interactive Multiview Navigation

Pascal Frossard, Thomas Maugey, Rui Ma

In contrary to traditional media streaming services where a unique media content is delivered to different users, interactive multiview navigation applications enable users to choose their own viewpoints and freely navigate in a three-dimensional scene. Th ...

2018

Espace public comme objet per se? Une analyse critique de la conception contemporaine

Sonia Monique Curnier

The recognition during the second half of the 20th century of the essential role played by public spaces in the definition of qualitative urban life has led to a reconsideration of their design. This has occurred in many different forms, such as the emerge ...

EPFL2018

Visualization, Adaptation, and Transformation of Procedural Grammars

Stefan Lienhard

Procedural shape grammars are powerful tools for the automatic generation of highly detailed 3D content from a set of descriptive rules. It is easy to encode variations in stochastic and parametric grammars, and an uncountable number of models can be gener ...

EPFL2017

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

Viktor Kuncak, Mikaël Mayer, Jad Hamza

Synthesis from examples enables non-expert users to generate programs by specifying examples of their behavior. A domain-specific form of such synthesis has been recently deployed in a widely used spreadsheet software product. In this paper we contribute t ...

2017

Aggregation of Power Capabilities of Heterogeneous Resources for Real-Time Control of Power Grids

Jean-Yves Le Boudec, Mario Paolone, Lorenzo Enrique Reyes Chamorro, Wajeb Saab, Andrey Bernstein

Aggregation of electric resources is a fundamental function for the operation of power grids at different time scales. In the context of a recently proposed framework for the real-time control of microgrids with explicit power setpoints, we define and form ...

Università degli Studi di Genova, Italy2016

Simplifying Development and Management of Software-Defined Networks

Peter Peresini

EPFL2016

Automating Grammar Comparison

Viktor Kuncak, Mikaël Mayer, Ravichandhran Kandhadai Madhavan

2015

RSP-QL Semantics: a Unifying Query Model to Explain Heterogeneity of RDF Stream Processing Systems

Jean Paul Calbimonte Perez

RDF and SPARQL are established standards for data interchange and querying on the Web. While they have been shown to be useful and applicable in many scenarios, they are not sufficiently adequate for dealing with streams of data and their intrinsic continu ...

2014

Soft control of swarms: Analytical approach

Max-Olivier Hongler, Guillaume Adrien Sartoretti

We analytically study the collective dynamics of mutually interacting heterogeneous agents evolving in a random environment. Our formal framework consists of a collection of JV scalar drifted Brownian motions (BM) diffusing on R. The mutual interactions ar ...

2013

Page 2 sur 3