1755 search results - page 54 / 351 » An efficient simulation algorithm based on abstract interpre... |
MST
2010
14 years 4 months ago
2010
We consider the important problem of energy balanced data propagation in wireless sensor networks and we extend and generalize previous works by allowing adaptive energy assignment...
TWC
2008
14 years 9 months ago
2008
Abstract--Positioning in indoor wireless environments is growing rapidly in importance and gains commercial interests in context-awareness applications. The essential challenge in ...
108
click to vote
PCM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Entropy coding is one of the most important techniques in video codec. Two main criteria to assess an entropy coder are coding efficiency and friendly realization charact...
ICLP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract—Spectral sensing for the presence of ATSC DTV signals in VHF/UHF TV bands under a very low SNR environment is one of the core technologies in IEEE 802.22 WRAN. There are...