Sciweavers

2715 search results - page 309 / 543
» An Implementation of Narrowing Strategies
Sort
View
WIOPT
2010
IEEE
15 years 4 months ago
On the use of packet scheduling in self-optimization processes: Application to coverage-capacity optimization
—Self-organizing networks (SON) is commonly seen as a way to increase network performance while simplifying its management. This paper investigates Packet Scheduling (PS) in the ...
Richard Combes, Zwi Altman, Eitan Altman
CCS
2010
ACM
15 years 4 months ago
Developing security protocols by refinement
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...
Christoph Sprenger, David A. Basin
CP
2010
Springer
15 years 4 months ago
Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP
We introduce a parallelized version of tree-decomposition based dynamic programming for solving difficult weighted CSP instances on many cores. A tree decomposition organizes cost ...
David Allouche, Simon de Givry, Thomas Schiex
ICRA
2010
IEEE
158views Robotics» more  ICRA 2010»
15 years 4 months ago
Towards optimally efficient field estimation with threshold-based pruning in real robotic sensor networks
Abstract-- The efficiency of distributed sensor networks depends on an optimal trade-off between the usage of resources and data quality. The work in this paper addresses the probl...
Amanda Prorok, Christopher M. Cianci, Alcherio Mar...
IPCV
2010
15 years 4 months ago
Video Action Recognition Using Residual Vector Quantization and Hidden Markov Models
In this paper, we discuss usage of a multi-stage Residual Vector Quantization (RVQ) strategy for human action recognition. To the best of our knowledge, this is the first reported...
Salman Aslam, Christopher F. Barnes, Aaron F. Bobi...