Sciweavers

3536 search results - page 156 / 708
» Local dependent components
Sort
View
MIDDLEWARE
2010
Springer
13 years 8 months ago
dFault: Fault Localization in Large-Scale Peer-to-Peer Systems
Distributed hash tables (DHTs) have been adopted as a building block for large-scale distributed systems. The upshot of this success is that their robust operation is even more imp...
Pawan Prakash, Ramana Rao Kompella, Venugopalan Ra...
CORR
2011
Springer
243views Education» more  CORR 2011»
13 years 4 months ago
Localization from Incomplete Noisy Distance Measurements
—We consider the problem of positioning a cloud of points in the Euclidean space Rd , from noisy measurements of a subset of pairwise distances. This task has applications in var...
Adel Javanmard, Andrea Montanari
IJRR
2011
210views more  IJRR 2011»
13 years 4 months ago
Visual-Inertial Sensor Fusion: Localization, Mapping and Sensor-to-Sensor Self-calibration
Visual and inertial sensors, in combination, are able to provide accurate motion estimates and are well-suited for use in many robot navigation tasks. However, correct data fusion...
Jonathan Kelly, Gaurav S. Sukhatme
LFCS
2009
Springer
14 years 4 months ago
The Logic of Proofs as a Foundation for Certifying Mobile Computation
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
Eduardo Bonelli, Federico Feller
ICPR
2008
IEEE
14 years 4 months ago
A variational inference based approach for image segmentation
In this paper, we present a variational Bayes (VB) approach for image segmentation. First, image is modeled by a mixture model, and then with the techniques of factor analyzer, th...
Zhenglong Li, Qingshan Liu, Jian Cheng, Hanqing Lu