Sciweavers

4403 search results - page 398 / 881
» Galois Theory of Algorithms
Sort
View
CEC
2009
IEEE
16 years 1 months ago
Mixed Mutation Strategy Embedded Differential Evolution
Differential evolution (DE) is a powerful yet simple evolutionary algorithm for optimizing real valued optimization problems. Traditional investigations with differential evolution...
Millie Pant, Musrrat Ali, Ajith Abraham
INFOCOM
2009
IEEE
16 years 1 months ago
Sensor Network Localization Using Sensor Perturbation
—Sensor network localization is an instance of the NP-HARD graph realization problem. Thus, methods used in practice are not guaranteed to find the correct localization, even if...
Yuanchen Zhu, Steven J. Gortler, Dylan Thurston
206
Voted
FM
2009
Springer
157views Formal Methods» more  FM 2009»
16 years 1 months ago
Symbolic Predictive Analysis for Concurrent Programs
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gu...
HPDC
2008
IEEE
16 years 1 months ago
FaTLease: scalable fault-tolerant lease negotiation with paxos
A lease is a token which grants its owner exclusive access to a resource for a defined span of time. In order to be able to tolerate failures, leases need to be coordinated by di...
Felix Hupfeld, Björn Kolbeck, Jan Stender, Mi...
177
Voted
ICASSP
2008
IEEE
16 years 1 months ago
Distributed multi-dimensional hidden Markov models for image and trajectory-based video classifications
In this paper, we propose a novel multi-dimensional distributed hidden Markov model (DHMM) framework. We first extend the theory of 2D hidden Markov models (HMMs) to arbitrary ca...
Xiang Ma, Dan Schonfeld, Ashfaq A. Khokhar