In this paper, the generalized -centroidal mean and its dual form in 2 variables are introduced. Also, studied some properties and prove their monotonicity. Further, shown that various means are partic- ular cases of generalized $bf{alpha}$-centroidal mean.

A continuous consensus (CC) protocol maintains for each process i at each time k an up-to-date core Mi[k] of information about the past, so that the cores at all processes are guaranteed to be identical. This is a generalization of simultaneous consensus that provides processes with the ability to perform simultaneously coordinated actions, and saves the need to compute multiple instances of si...

This paper discusses bounded model checking (BMC) for asynchronous systems. Bounded model checking is a technique that employs the power of efficient SAT and SMT solvers for model checking. The main contribution of this paper is the presentation of a simple modeling formalism independent way of translating an asynchronous system into a transition formula for three partial order semantics: the ∃...

Ignaz Rutter Karlsruhe Institute of Technology 11.

Feature descriptors for images are a mature area of study within computer vision, and as a result, researchers now have access to many attribute-invariant features (e.g. scale, shift, rotation). However, changes to environments caused by changes in time, ie. weather and season, still pose a serious problem for current image matching systems. As the use of detailed 3D maps and visual Simultaneou...

This paper describes a Bayesian formulation of the Simultaneous Localisation and Mapping (SLAM) problem. Previously, the SLAM problem could only be solved in real time through the use of the Kalman Filter. This generally restricts the application of SLAM methods to domains with straight-forward (analytic) environment and sensor models. In this paper the Sum-of-Gaussian (SOG) method is used to a...