Sciweavers

4209 search results - page 570 / 842
» Abstract Dialectical Frameworks
Sort
View
INFOCOM
2010
IEEE
15 years 3 months ago
Cross-layer Optimization for Wireless Networks with Deterministic Channel Models
Abstract—Existing work on cross-layer optimization for wireless networks adopts simple physical-layer models, i.e., treating interference as noise. In this paper, we adopt a dete...
Ziyu Shao, Minghua Chen, Salman Avestimehr, Shuo-Y...
SAS
2010
Springer
141views Formal Methods» more  SAS 2010»
15 years 2 months ago
Statically Inferring Complex Heap, Array, and Numeric Invariants
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
Bill McCloskey, Thomas W. Reps, Mooly Sagiv
163
Voted
ER
2010
Springer
164views Database» more  ER 2010»
15 years 2 months ago
Querying Databases with Taxonomies
Traditional information search in which queries are posed against a known and rigid schema over a structured database is shifting towards a Web scenario in which exposed schemas ar...
Davide Martinenghi, Riccardo Torlone
DMIN
2009
180views Data Mining» more  DMIN 2009»
15 years 2 months ago
APHID: A Practical Architecture for High-Performance, Privacy-Preserving Data Mining
While the emerging field of privacy preserving data mining (PPDM) will enable many new data mining applications, it suffers from several practical difficulties. PPDM algorithms are...
Jimmy Secretan, Anna Koufakou, Michael Georgiopoul...
ER
2009
Springer
178views Database» more  ER 2009»
15 years 2 months ago
Schema AND Data: A Holistic Approach to Mapping, Resolution and Fusion in Information Integration
Abstract. To integrate information, data in different formats, from different, potentially overlapping sources, must be related and transformed to meet the users' needs. Ten y...
Laura M. Haas, Martin Hentschel, Donald Kossmann, ...