Sciweavers

2038 search results - page 177 / 408
» Loops under Strategies
Sort
View
ENTCS
2007
99views more  ENTCS 2007»
15 years 4 months ago
Extending Symmetry Reduction Techniques to a Realistic Model of Computation
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
Alastair F. Donaldson, Alice Miller
CORR
2008
Springer
78views Education» more  CORR 2008»
15 years 4 months ago
Wireless Secrecy in Cellular Systems with Infrastructure--Aided Cooperation
In cellular systems, confidentiality of uplink transmission with respect to eavesdropping terminals can be ensured by creating intentional interference via scheduling of concurren...
Petar Popovski, Osvaldo Simeone
ICASSP
2011
IEEE
14 years 8 months ago
Efficient block-division model for robust multiple object tracking
Tracking multiple objects under occlusion is one of the most challenging issues in computer vision. Occlusion results in mistaken match when finding the most similar candidate. A...
Wenhan Luo, Xiaoqin Zhang, Yang Liu, Xi Li, Weimin...
INFOCOM
2011
IEEE
14 years 8 months ago
Delay-bounded adaptive UFH-based anti-jamming wireless communication
—Anti-jamming communication without pre-shared secrets has gained increasing research interest recently and is commonly tackled by utilizing the technique of uncoordinated freque...
Qian Wang, Ping Xu, Kui Ren, Xiang-yang Li
COMPLEX
2009
Springer
15 years 11 months ago
Dynamic Regimes of a Multi-agent Stock Market Model
This paper presents a stochastic multi-agent model of stock market. The market dynamics include switches between chartists and fundamentalists and switches in the prevailing opinio...
Tongkui Yu, Honggang Li