Sciweavers

123 search results - page 14 / 25
» Stable Leader Election
Sort
View
LPNMR
2011
Springer
12 years 10 months ago
Communicating ASP and the Polynomial Hierarchy
Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expre...
Kim Bauters, Steven Schockaert, Dirk Vermeir, Mart...
MIR
2006
ACM
354views Multimedia» more  MIR 2006»
14 years 1 months ago
Constant tangential angle elected interest points
This paper presents a new interest points detector whose goal is to better catch visual attention than standard detectors. It is based on the generalization of Loy and Zelinsky tr...
Ahmed Rebai, Alexis Joly, Nozha Boujemaa
TCC
2010
Springer
208views Cryptology» more  TCC 2010»
14 years 4 months ago
Rationality in the Full-Information Model
We study rationality in protocol design for the full-information model, a model characterized by computationally unbounded adversaries, no private communication, and no simultanei...
Ronen Gradwohl
B
2007
Springer
14 years 1 months ago
Time Constraint Patterns for Event B Development
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
Dominique Cansell, Dominique Méry, Joris Re...
WWIC
2007
Springer
194views Communications» more  WWIC 2007»
14 years 1 months ago
Distributed Event Localization and Tracking with Wireless Sensors
In this paper we present the distributed event localization and tracking algorithm DELTA that solely depends on light measurements. Based on this information and the positions of t...
Markus Wälchli, Piotr Skoczylas, Michael Meer...