Sciweavers

8555 search results - page 1480 / 1711
» Property Based Coordination
Sort
View
148
Voted
CORR
2007
Springer
121views Education» more  CORR 2007»
15 years 6 months ago
On the Minimum Number of Transmissions in Single-Hop Wireless Coding Networks
— The advent of network coding presents promising opportunities in many areas of communication and networking. It has been recently shown that network coding technique can signiï...
Salim Y. El Rouayheb, Mohammad Asad R. Chaudhry, A...
CORR
2007
Springer
128views Education» more  CORR 2007»
15 years 6 months ago
Verified Real Number Calculations: A Library for Interval Arithmetic
—Real number calculations on elementary functions are remarkably difficult to handle in mechanical proofs. In this paper, we show how these calculations can be performed within a...
Marc Daumas, David Lester, César Muñ...
CORR
2007
Springer
101views Education» more  CORR 2007»
15 years 6 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
ITSSA
2006
89views more  ITSSA 2006»
15 years 6 months ago
A Methodology for Classifying Self-Organizing Software Systems
: The software industry is faced with the fast growing complexity of IT infrastructures. This makes manual administration increasingly difficult and appears to be the limiting fact...
Klaus Herrmann, Matthias Werner, Gero Mühl
CVIU
2007
157views more  CVIU 2007»
15 years 6 months ago
Camera calibration and light source orientation from solar shadows
In this paper, we describe a method for recovering camera parameters from perspective views of daylight shadows in a scene, given only minimal geometric information determined fro...
Xiaochun Cao, Hassan Foroosh
« Prev « First page 1480 / 1711 Last » Next »