Previous Page 3

Displaying 41 – 49 of 49

Showing per page

Restricted nondeterministic read-once branching programs and an exponential lower bound for integer multiplication

Beate Bollig (2001)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Branching programs are a well established computation model for Boolean functions, especially read-once branching programs have been studied intensively. In this paper the expressive power of nondeterministic read-once branching programs, more precisely the class of functions representable in polynomial size, is investigated. For that reason two restricted models of nondeterministic read-once branching programs are defined and a lower bound method is presented. Furthermore, the first exponential...

Restricted Nondeterministic Read-Once Branching Programs and an Exponential Lower Bound for Integer Multiplication

Beate Bollig (2010)

RAIRO - Theoretical Informatics and Applications

Branching programs are a well established computation model for Boolean functions, especially read-once branching programs have been studied intensively. In this paper the expressive power of nondeterministic read-once branching programs, more precisely the class of functions representable in polynomial size, is investigated. For that reason two restricted models of nondeterministic read-once branching programs are defined and a lower bound method is presented. Furthermore, the first exponential...

RGB-D terrain perception and dense mapping for legged robots

Dominik Belter, Przemysław Łabecki, Péter Fankhauser, Roland Siegwart (2016)

International Journal of Applied Mathematics and Computer Science

This paper addresses the issues of unstructured terrain modeling for the purpose of navigation with legged robots. We present an improved elevation grid concept adopted to the specific requirements of a small legged robot with limited perceptual capabilities. We propose an extension of the elevation grid update mechanism by incorporating a formal treatment of the spatial uncertainty. Moreover, this paper presents uncertainty models for a structured light RGB-D sensor and a stereo vision camera used...

Risk aversion, prudence and mixed optimal saving models

Irina Georgescu (2014)

Kybernetika

The paper studies risk aversion and prudence of an agent in the face of a risk situation with two parameters, one described by a fuzzy number, the other described by a fuzzy variable. The first contribution of the paper is the characterization of risk aversion and prudence in mixed models by conditions on the concavity and the convexity of the agent's utility function and its partial derivatives. The second contribution is the building of mixed models of optimal saving and their connection with...

Robust optimality of Gaussian noise stability

Elchanan Mossel, Joe Neeman (2015)

Journal of the European Mathematical Society

We prove that under the Gaussian measure, half-spaces are uniquely the most noise stable sets. We also prove a quantitative version of uniqueness, showing that a set which is almost optimally noise stable must be close to a half-space. This extends a theorem of Borell, who proved the same result but without uniqueness, and it also answers a question of Ledoux, who asked whether it was possible to prove Borell’s theorem using a direct semigroup argument. Our quantitative uniqueness result has various...

Currently displaying 41 – 49 of 49

Previous Page 3