نتایج جستجو برای: appearance fixing

تعداد نتایج: 99446  

2010
Virginia Vassilevska Williams

We consider a very natural problem concerned with game manipulation. Let G be a directed graph where the nodes represent players of a game, and an edge from u to v means that u can beat v in the game. (If an edge (u, v) is not present, one cannot match u and v.) Given G and a “favorite” node A, is it possible to set up the bracket of a balanced single-elimination tournament so that A is guarant...

Journal: :J. Comput. Syst. Sci. 2005
Stefan Staber Barbara Jobstmann Roderick Bloem

We present a method for combined fault localization and correction for sequential systems. We assume that the specification is given in linear-time temporal logic and state the localization and correction problem as a game that is won if there is a correction that is valid for all possible inputs. For invariants, our method guarantees that a correction is found if one exists. The set of fault m...

2009
Abdulaziz Ghuloum R. Kent Dybvig

The Revised6 Report on Scheme introduces three fundamental changes involving Scheme’s recursive variable binding constructs. First, it standardizes the sequential recursive binding construct, letrec*, which evaluates its initialization expressions in a strict leftto-right order. Second, it specifies that internal and library definitions have letrec* semantics. Third, it prohibits programs from ...

2017
Alexander A. Alemi Ben Poole Ian Fischer Joshua V. Dillon Rif A. Saurous Kevin Murphy

We present an information-theoretic framework for understanding trade-offs in unsupervised learning of deep latent-variables models using variational inference. This framework emphasizes the need to consider latent-variable models along two dimensions: the ability to reconstruct inputs (distortion) and the communication cost (rate). We derive the optimal frontier of generative models in the two...

2002
ZHI LÜ

This paper studies the equivariant cobordism classification of all involutions fixing a disjoint union of an odd-dimensional real projective space RP with its normal bundle nonbounding and a Dold manifold P (h, i) with h > 0 and i > 0. For odd h, the complete analysis of the equivariant cobordism classes of such involutions is given except that the upper and lower bounds on codimension of P (h,...

2008
Barry-John Theobald Gavin C. Cawley J. Andrew Bangham Iain A. Matthews Nicholas Wilkinson

We present a comparison of a text-driven and a speech driven visual speech synthesiser. Both are trained using the same data and both use the same Active Appearance Model (AAM) to encode and re-synthesise visual speech. Objective quality, measured using correlation, suggests the performance of both approaches is close, but subjective opinion ranks the text-driven approach significantly higher.

2005
Fatih Kahraman Muhittin Gökmen

In this study, we present a new multi-band image representation for improving AAM segmentation accuracy for illumination invariant face alignment. AAM is known to be very sensitive to the illumination variations. We have shown that edges, originating from object boundaries are far less susceptible to illumination changes. Here, we propose a contour selector which mostly collects contours origin...

Journal: :Trends in biochemical sciences 2005
Artur Osyczka Christopher C Moser P Leslie Dutton

Mitchell's key insight that all bioenergetic membranes run on the conversion of redox energy into transmembrane electrical and proton gradients took the form 30 years ago of a working model of the Q cycle of cytochrome bc1, which operates reversibly on coupled electron and proton transfers of quinone at two binding sites on opposite membrane faces. His remarkable model still stands today, but h...

1998
T. Yanagida

We consider dilaton stabilization with R invariance, which insures a vanishing cosmological constant at the scale of stabilization. We construct a few models which accommodate weak gauge couplings with large or small gauge groups. Matter condensation plays a central role in the dilaton stabilization.

Introduction: Skeletal staining is an important part of anatomical studies which can evaluate macroscopic disorders in bones and cartilages development. The aim of the present article is to illustrate two distinct protocols by all details in order to stain skeletal system of the lab animals in all ages of their lives so it becomes easy for future studies in this field. Methods: In this pa...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید