Concept

Short-circuit evaluation

Publications associées (122)

Intermediate view generation for perceived depth adjustment of stereo video

There is significant industry activity on delivery of 3D video to the home. It is expected that 3D capable devices will be able to provide consumers with the ability to adjust the depth perceived for stereo content. This paper provides an overview of relat ...

SPIE2009

Object i.e. aneurysm, examining method for brain of patient, involves evaluating sequence of images by associating pixels with analysis image value depending on temporal changes of image values of pixels in specified frequency range

Theo Lasser, Michael Friedrich, Marcel Leutenegger, Antonio Lopez, Erica Martin-Williams

NOVELTY - The method involves illuminating an object i.e. aneurysm, with measuring light with wavelengths ranging from 790 nanometer to 820 nanometer, and recording a sequence of images (21, 22) i.e. white light image, of the illuminated object. The sequen ...

2009

The empirical mode decomposition: a must-have tool in speckle interferometry?

Pierre Jacquot, Sébastien Equis

In a wider and wider range of research and engineering activities, there is a growing interest for full-field techniques, featuring nanometric sensitivities, and able to be addressed to dynamic behaviors characterization. Speckle interferometry (SI) techni ...

Optical Society of America2009

Through thickness air permeability of prepregs during cure

Véronique Michaud, Sandra Sequeira Lopes Tavares

An experimental method based on a falling pressure measurement is proposed to evaluate the through thickness air permeability of prepregs during cure, with two set-up variants. One concerns the measurement of the inherent air permeability and the other app ...

2009

Antichains For The Automata-Based Approach To Model-Checking

Laurent Doyen

We propose and evaluate antichain algorithms to solve the universality and language inclusion problems for nondeterministic Buchi automata, and the emptiness problem for alternating Buchi automata. To obtain those algorithms, we establish the existence of ...

2009

Postural adjustment in experimental leg length difference evaluated by means of thermal infrared imaging

Silvio Ionta

Limb length discrepancy (LLD) is defined as a condition in which limbs are unequal. The asymmetric load of body segments secondary to LLD may cause a tonic contraction of back and lower limb muscles, thus resulting in subtle cutaneous temperature variation ...

2009

Dividing Transactional Memories by Zero

Rachid Guerraoui, Michal Kapalka, Aleksandar Dragojevic

Software transactional memory (STM) is a promising technique for writing concurrent programs. So far, most STM approaches have been experimentally evaluated with small-scale microbenchmarks. In this paper, we present several surprising results from impleme ...

2008

Steady-state performance of incremental learning over distributed networks for non-Gaussian data

Ali H. Sayed

In this paper, the steady-state performance of the distributed least mean-squares (dLMS) algorithm within an incremental network is evaluated without the restriction of Gaussian distributed inputs. Computer simulations are presented to verify the derived p ...

IEEE2008

Reference-based vs. task-based evaluation of human language technology

Andrei Popescu-Belis

This paper starts from the ISO distinction of three types of evaluation procedures – internal, external and in use – and proposes to match these types to the three types of human language technology (HLT) systems: analysis, generation, and interactive. The ...

2008

Nanoscale triboactivity: The response of Mo–Se–C coatings to sliding

Silviu Cosmin Sandu

Mo–Se–C films were deposited by sputtering from a carbon target with pellets of MoSe2. In addition to the standard evaluation of their chemical composition, structure, morphology, hardness and cohesion/adhesion, the core objective of this paper was to anal ...

2008

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search