Sciweavers

2494 search results - page 253 / 499
» Global Localization using Odometry
Sort
View
ICIP
2004
IEEE
16 years 8 months ago
Least-squares interband denoising of color and multispectral images
This paper exploits the interband correlations of color and multispectral images for wavelet-based denoising. For this, a multispectral extension of the linear minimum mean square...
Paul Scheunders, Jef Driesen
ACSD
2009
IEEE
149views Hardware» more  ACSD 2009»
16 years 1 months ago
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations
We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (...
Dumitru Potop-Butucaru, Robert de Simone, Yves Sor...
ISNN
2007
Springer
16 years 21 days ago
Sparse Coding in Sparse Winner Networks
This paper investigates a mechanism for reliable generation of sparse code in a sparsely connected, hierarchical, learning memory. Activity reduction is accomplished with local com...
Janusz A. Starzyk, Yinyin Liu, David D. Vogel
IAT
2005
IEEE
16 years 5 days ago
Optimizing Agents Operation in Partially Inaccessible and Disruptive Environment
The algorithm we present in this paper aims to optimally distribute and connect the community of loosely coupled middle agents ensuring communication accessibility in a dynamic, i...
David Sislák, Martin Rehák, Michal P...
MEMOCODE
2005
IEEE
16 years 4 days ago
Three-valued logic in bounded model checking
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
Tobias Schüle, Klaus Schneider