Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude.
Peter Csaba ÖlveczkyStian ThorvaldsenPublished in: FMOODS (2007)
Keyphrases
- real time
- dynamic programming
- detection algorithm
- k means
- experimental evaluation
- preprocessing
- selection algorithm
- significant improvement
- improved algorithm
- high accuracy
- times faster
- computational complexity
- hardware implementation
- optimal solution
- similarity measure
- probabilistic model
- theoretical analysis
- formal specification
- matching algorithm
- expectation maximization
- particle swarm optimization
- np hard
- search space
- image segmentation