Even when simultaneous localization and mapping (SLAM) solutions have been broadly developed, the vast majority of them relate to a single robot performing measurements in static environments. Researches show that the performance of SLAM algorithms deteriorates under dynamic environments. In this paper, a multi-robot simultaneous localization and mapping (MR-SLAM) system is implemented within a...

Multiple cores, simultaneous multi-threading, and onchip caches are important processor configurations for servers that support Internet applications. However, certain settings of the processor configurations may yield lower performance while consuming more power. Since processors account for a significant portion of the energy budget, up to 50-60% in low-end servers [4], inefficient processor ...

this paper proposes a new approach for determining efficient dmus in dea models using inverse optimi-zation and without solving any lps. it is shown that how a two-phase algorithm can be applied to detect effi-cient dmus. it is important to compare computational performance of solving the simultaneous linear equa-tions with that of the lp, when computational issues and complexity analysis are a...

A semantic-map building method is proposed to localize a robot in the semantic-map. Our semantic-map is organized by using SIFT feature-based object representation. In addition to semantic map, a vision-based relative localization is employed as a process model of extended Kalman filters, where optical flows and Levenberg-Marquardt least square minimization are incorporated to predict relative ...

We present BoSy, a reactive synthesis tool based on the bounded synthesis approach. Bounded synthesis ensures the minimality of the synthesized implementation by incrementally increasing a bound on the size of the solutions it considers. For each bound, the existence of a solution is encoded as a logical constraint solving problem that is solved by an appropriate solver. BoSy constructs bounded...

In simultaneous multithreading, several threads can issue instructions in each processor cycle. A simple and versatile timed Petri net model of simultaneous multithreading is proposed and is used to compare the performance of architectures with and without simultaneous multithreading. Performance results are obtained by event-driven simulation of net models and are verified by state–space–based...

in this study, incorporation of iron ion-doped natrolite nanozeolite, multi-wall carbon nanotubes into chitosan-coated glassy carbon electrode for the simultaneous determination of ascorbic acid, epinephrine, uric acid and tyrosine is studied. the results show that the combination of multi-wall carbon nanotubes and iron ion-doped natrolite zeolite causes a dramatic enhancement in the sensitivit...

A geometric nonlinear observer algorithm for Simultaneous Localization and Mapping (SLAM) developed on the Lie group of \mathbb{SLAM}_{n}\left(3\right) is proposed. The presented novel solution estimates vehicle's pose (i.e. attitude position) with respect to landmarks simultaneously positioning reference features in global frame. proposed estimator manifold characterized by predefined measures...