Reconstructing Evolving Tree Structures in Time Lapse Sequences
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.
In this paper we give a recursive fixpoint characterization of the winning regions in Rabin and Streett games. We use this characterization in two ways. First, we introduce direct Rabin and Streett ranking that are a sound and complete way to characterize ...
Medical image processing is a demanding domain, both in terms of CPU and memory requirements. The volume of data to be processed is often large (a typical MRI dataset requires 10 MBytes) and many processing tools are only useful to the physician if they ar ...
The database of satellite images covering the earth is growing extremely quickly and represents an important amount of data. The extension of this huge amount of data with images from very different sources and time of acquisition can provide a wide range ...
A technique to perform two-wavelengths digital holographic microscopy (DHM) measurements with a single hologram acquisition is presented. The vertical measurement range without phase ambiguity is extended to the micron-range, thanks to the resulting synthe ...
Relatively recent developments in medical imaging allow the anatomical and functional noninvasive study of internal organs of the body. One of the most complex and interesting organs in our body is the brain. Many efforts are being carried out to try to un ...
We propose a fully three-dimensional wavelet-based coding system featuring 3D encoding/2D decoding functionalities. A fully three-dimensional transform is combined with context adaptive arithmetic coding; 2D decoding is enabled by encoding every 2D subband ...
Time progress conditions in hybrid systems are usually specified in terms of invariants, predicates characterizing states where time can continuously progress, or in terms of deadline conditions, predicates characterizing states where time progress immedia ...
Managers of photographic collections in libraries and archives are exploring digital image database systems, but they usually have few sources of technical guidance and analysis available. Correctly digitizing photographs puts high demands on the imaging s ...
In health care practice, diagnosis and therapy tasks are founded on the analysis of medical images. Traditionally, such analysis was performed using optical devices like light boxes or microscopes installed in clinical rooms or laboratories. In the last de ...
