Sciweavers

1076 search results - page 99 / 216
» Quantifying WiMAX Performance
Sort
View
BIRTHDAY
2010
Springer
13 years 9 months ago
Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners)
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
Christoph Benzmüller
ICASSP
2010
IEEE
13 years 9 months ago
Statistical Resolution Limit for multiple parameters of interest and for multiple signals
The concept of Statistical Resolution Limit (SRL), which is defined as the minimal separation to resolve two closely spaced signals, is an important tool to quantify performance ...
Mohammed Nabil El Korso, Rémy Boyer, Alexan...
ICASSP
2010
IEEE
13 years 9 months ago
Particle filter adaptation for distributed sensors via set membership
A distributed set-membership-constrained particle filter (SMCPF) is developed for decentralized tracking applications using wireless sensor networks. Unlike existing PF alternati...
Shahrokh Farahmand, Stergios I. Roumeliotis, Georg...
CORR
2008
Springer
103views Education» more  CORR 2008»
13 years 9 months ago
Path Loss Exponent Estimation in Large Wireless Networks
In wireless channels, the path loss exponent (PLE) has a strong impact on the quality of the links, and hence, it needs to be accurately estimated for the efficient design and oper...
Sunil Srinivasa, Martin Haenggi
IJON
2008
73views more  IJON 2008»
13 years 9 months ago
Third-order generalization: A new approach to categorizing higher-order generalization
Generalization, in its most basic form, is an artificial neural network's (ANN's) ability to automatically classify data that were not seen during training. This paper p...
Richard Neville