Publication

Synthesizing efficient systems in probabilistic environments

Related publications (65)

Graph Chatbot

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.

Real-Time ASR from Meetings

Philip Neil Garner, John David Scott Dines, Danil Korchagin, Le Zhang

The AMI(DA) system is a meeting room speech recognition system that has been developed and evaluated in the context of the NIST Rich Text (RT) evaluations. Recently, the ``Distant Access'' requirements of the AMIDA project have necessitated that the system ...

2009

Real-Time ASR from Meetings

Philip Neil Garner, John David Scott Dines, Danil Korchagin, Le Zhang

The AMI(DA) system is a meeting room speech recognition system that has been developed and evaluated in the context of the NIST Rich Text (RT) evaluations. Recently, the "Distant Access" requirements of the AMIDA project have necessitated that the system o ...

Idiap2009

Selective Symbolic Execution

George Candea, Cristian Zamfir, Vitaly Chipounov

Symbolic execution is a powerful technique for analyzing program behavior, finding bugs, and generating tests, but suffers from severely limited scalability: the largest programs that can be symbolically executed today are on the order of thousands of line ...

2009

Designing for Improving Verbal Patient Transfer

The current verbal patient transfer between nurses and paramedics lacks communication, which leads to loss of information. During this operation, handwritten protocols are used to document the patient's personal data and the treatment given at several inte ...

Springer-Verlag2009

Toward a Theory of Input Acceptance for Transactional Memories

Vincent Gramoli, Pascal Felber

As opposed to database transactional systems, transactional memory (TM) systems are constrained by real-time while treating their input workload. Nevertheless, there is no clear formalization of how a TM should react regarding to a specific input. While TM ...

2008

A Generative Model for True Orthorectification

Pascal Fua, Christoph Strecha

Orthographic images compose an efficient and economic way to represent aerial images. This kind of information allows to measure two-dimensional objects and relate these to Geographic Information Systems. This paper deals with the computation of a true ort ...

2008

IA Generative Model for True Orthorectification

Pascal Fua, Christoph Strecha

2008

Intelligent realisation of ground energy

Lyesse Laloui, Hervé Péron, Mathieu Nuth

There is a need to reduce the economic cost of the energy geostructures and increase the efficiency of such systems, which will also rationalise the environmental impact. ...

2008

Multi-gate vibrating-body field effect transistor (VB-FETs)

Mihai Adrian Ionescu, Dimitrios Tsamados, Daniel Grogg, Marco Mazza

This paper reports on the design, fabrication and detailed characteristics of multi-gate vibrating-body field effect transistors (VB-FETs). Double-gate and four-gate VB-FETs with resonance frequencies of 2 MHz and 71 MHz, respectively, are successfully dem ...

2008

Towards Fair Event Dissemination

Rachid Guerraoui, Maxime Monod

Event dissemination in large scale dynamic systems is typically claimed to be best achieved using decentralized peer-to-peer architectures. The rationale is to have every participant in the system act both as a client (information consumer) and as a server ...

2007