Sciweavers

5170 search results - page 82 / 1034
» Consistency of the FastSLAM Algorithm
Sort
View
INFORMATICALT
2008
91views more  INFORMATICALT 2008»
15 years 1 months ago
Lloyd-Max's Algorithm Implementation in Speech Coding Algorithm Based on Forward Adaptive Technique
In this paper a detail analysis of speech coding algorithm based on forward adaptive technique is carried out. We consider an algorithm that works on frame-by-frame basis, where a ...
Jelena Nikolic, Zoran Peric
ESOP
2012
Springer
13 years 9 months ago
Concurrent Library Correctness on the TSO Memory Model
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it is only appropriate for sequentially consistent mem...
Sebastian Burckhardt, Alexey Gotsman, Madanlal Mus...
ICASSP
2011
IEEE
14 years 5 months ago
Regularized split gradient method for nonnegative matrix factorization
This article deals with a regularized version of the split gradient method (SGM), leading to multiplicative algorithms. The proposed algorithm is available for the optimization of...
Henri Lantéri, Céline Theys, C&eacut...
SPAA
2003
ACM
15 years 6 months ago
The complexity of verifying memory coherence
The general problem of verifying coherence for shared-memory multiprocessor executions is NP-Complete. Verifying memory consistency models is therefore NP-Hard, because memory con...
Jason F. Cantin, Mikko H. Lipasti, James E. Smith
ICIRA
2009
Springer
98views Robotics» more  ICIRA 2009»
14 years 11 months ago
Robot Formations for Area Coverage
Abstract. Two algorithms for area coverage (for use in space applications) were evaluated using a simulator and then tested on a multi-robot society consisting of LEGO Mindstorms r...
Jürgen Leitner