Sciweavers

2448 search results - page 333 / 490
» The Octahedron Abstract Domain
Sort
View
PAKDD
2009
ACM
103views Data Mining» more  PAKDD 2009»
15 years 6 months ago
Hot Item Detection in Uncertain Data
Abstract. An object o of a database D is called a hot item, if there is a sufficiently large population of other objects in D that are similar to o. In other words, hot items are ...
Thomas Bernecker, Hans-Peter Kriegel, Matthias Ren...
TACAS
2009
Springer
136views Algorithms» more  TACAS 2009»
15 years 6 months ago
Path Feasibility Analysis for String-Manipulating Programs
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
Nikolaj Bjørner, Nikolai Tillmann, Andrei V...
GLOBECOM
2009
IEEE
15 years 6 months ago
Multiple Target Localization Using Compressive Sensing
Abstract— In this paper, a novel multiple target localization approach is proposed by exploiting the compressive sensing theory, which indicates that sparse or compressible signa...
Chen Feng, Shahrokh Valaee, Zhenhui Tan
ICC
2009
IEEE
190views Communications» more  ICC 2009»
15 years 6 months ago
Decomposition for Low-Complexity Near-Optimal Routing in Multi-Hop Wireless Networks
Abstract—Network flow models serve as a popular mathematical framework for the analysis and optimization of Multi-hop Wireless Networks. They also serve to provide the understan...
Vinay Kolar, Nael B. Abu-Ghazaleh, Petri Mäh&...
ICC
2009
IEEE
122views Communications» more  ICC 2009»
15 years 6 months ago
Characterization of the Dynamic Narrowband On-Body to Off-Body Area Channel
Abstract—A characterization of the dynamic narrowband onbody to off-body area channel is presented based on realtime measurements of the time domain channel response at carrier f...
David B. Smith, Leif Hanlen, Jian (Andrew) Zhang, ...