Sciweavers

19130 search results - page 226 / 3826
» Modelling multi-path problems
Sort
View
BIRTHDAY
2007
Springer
16 years 22 days ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
ICIP
2009
IEEE
15 years 4 months ago
Object detection and tracking for night surveillance based on salient contrast analysis
Night surveillance is a challenging task because of low brightness, low contrast, low Signal to Noise Ratio (SNR) and low appearance information. Most existing models for night su...
Liangsheng Wang, Kaiqi Huang, Yongzhen Huang, Tien...
EC
2010
176views ECommerce» more  EC 2010»
15 years 4 months ago
Learning Factorizations in Estimation of Distribution Algorithms Using Affinity Propagation
Estimation of distribution algorithms (EDAs) that use marginal product model factorizations have been widely applied to a broad range of, mainly binary, optimization problems. In ...
Roberto Santana, Pedro Larrañaga, Jos&eacut...
PODC
2009
ACM
16 years 3 months ago
The wireless synchronization problem
In this paper, we study the wireless synchronization problem which requires devices activated at different times on a congested single-hop radio network to synchronize their roun...
Shlomi Dolev, Seth Gilbert, Rachid Guerraoui, Fabi...
BCS
2008
15 years 8 months ago
On the Complexity of Parity Games
Parity games underlie the model checking problem for the modal
Arnold Beckmann, Faron Moller