Sciweavers

2462 search results - page 120 / 493
» Consistent cooperative localization
Sort
View
SIAMJO
2010
100views more  SIAMJO 2010»
14 years 11 months ago
Explicit Sensor Network Localization using Semidefinite Representations and Facial Reductions
The sensor network localization, SNL , problem in embedding dimension r, consists of locating the positions of wireless sensors, given only the distances between sensors that are ...
Nathan Krislock, Henry Wolkowicz
122
Voted
AVSS
2008
IEEE
15 years 11 months ago
Shadow Removal in Indoor Scenes
In this paper, we propose a shadow removal algorithm for indoor scenes. This algorithm uses three types of constraints: chromaticity consistency, texture consistency and range of ...
Anh-Tuan Nghiem, François Brémond, M...
COORDINATION
2005
Springer
15 years 10 months ago
Delegation Modeling with Paradigm
Within one model, behavioural consistency of its constituents is often problematic. Within UML such horizontal behavioural consistency between the objects of a concrete model, is p...
Luuk Groenewegen, Niels van Kampenhout, Erik P. de...
ACTA
2006
108views more  ACTA 2006»
15 years 4 months ago
Refinement verification of the lazy caching algorithm
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...
Wim H. Hesselink
ENTCS
2002
78views more  ENTCS 2002»
15 years 4 months ago
Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction
Solvers on finite domains use local consistency notions to remove values from the domains. This paper defines value withdrawal explanations. Domain reduction is formalized with ch...
Gérard Ferrand, Willy Lesaint, Alexandre Te...