Sciweavers

7628 search results - page 147 / 1526
» Spatial P systems
Sort
View
TWC
2008
109views more  TWC 2008»
15 years 3 months ago
Semi-Blind Adaptive Spatial Equalization for MIMO Systems with High-Order QAM Signalling
This contribution investigates semi-blind adaptive spatial filtering or equalisation for multiple-input multiple-output (MIMO) systems that employ high-throughput quadrature amplit...
Sheng Chen, Wang Yao, Lajos Hanzo
NOSSDAV
2009
Springer
15 years 10 months ago
Adaptive overlay topology for mesh-based P2P-TV systems
In this paper, we propose a simple and fully distributed mechanism for constructing and maintaining the overlay topology in mesh-based P2P-TV systems. Our algorithm optimizes the ...
Richard John Lobb, Ana Paula Couto da Silva, Emili...
FLAIRS
2001
15 years 5 months ago
The Benefits of Multi-Agent Systems in Spatial Reasoning
This paper presents arguments for the application of a multiagent approach to spatial reasoning, and it is shown how spatial reasoning benefits from an agent-based implementation....
Christian Kray
FMSD
2000
86views more  FMSD 2000»
15 years 3 months ago
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
Nikolaj Bjørner, Anca Browne, Michael Col&o...