Sciweavers

17288 search results - page 3266 / 3458
» Hybrid Optimizations: Which Optimization Algorithm to Use
Sort
View
COMCOM
2006
93views more  COMCOM 2006»
15 years 4 months ago
A novel method for QoS provisioning with protection in GMPLS networks
In this paper, a new optimal policy is introduced to determine, adapt, and protect the Generalized MultiProtocol Label Switching (GMPLS) network topology based on the current traf...
Tricha Anjali, Caterina M. Scoglio
IEICET
2006
83views more  IEICET 2006»
15 years 4 months ago
Visualization Methods for Outdoor See-Through Vision
Visualizing occluded objects is a useful applications of Mixed Reality (MR), which we call "see-through vision." For this application, it is important to display occlude...
Takahiro Tsuda, Haruyoshi Yamamoto, Yoshinari Kame...
CORR
2007
Springer
109views Education» more  CORR 2007»
15 years 4 months ago
On the Outage Capacity of a Practical Decoder Accounting for Channel Estimation Inaccuracies
—The optimal decoder achieving the outage capacity under imperfect channel estimation is investigated. First, by searching into the family of nearest neighbor decoders, which can...
Pablo Piantanida, Sajad Sadough, Pierre Duhamel
CORR
2007
Springer
101views Education» more  CORR 2007»
15 years 4 months ago
On The Limitations of The Naive Lattice Decoding
In this paper, the inherent drawbacks of the naive lattice decoding for MIMO fading systems is investigated. We show that using the naive lattice decoding for MIMO systems has con...
Mahmoud Taherzadeh, Amir K. Khandani
137
Voted
CORR
2007
Springer
147views Education» more  CORR 2007»
15 years 4 months ago
Model Checking Synchronized Products of Infinite Transition Systems
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
Stefan Wöhrle, Wolfgang Thomas
« Prev « First page 3266 / 3458 Last » Next »