Sciweavers

4276 search results - page 430 / 856
» Techniques for Empirical Validation
Sort
View
TKDE
2008
169views more  TKDE 2008»
15 years 6 months ago
A Cost-Based Approach to Adaptive Resource Management in Data Stream Systems
Data stream management systems need to control their resources adaptively since stream characteristics and query workload may vary over time. In this paper we investigate an approa...
Michael Cammert, Jürgen Krämer, Bernhard...
CGF
2002
168views more  CGF 2002»
15 years 6 months ago
Fast Continuous Collision Detection between Rigid Bodies
This paper introduces a fast continuous collision detection technique for polyhedral rigid bodies. As opposed to most collision detection techniques, the computation of the first ...
Stephane Redon, Abderrahmane Kheddar, Sabine Coqui...
INFOCOM
2010
IEEE
15 years 5 months ago
Bayesian Inference for Localization in Cellular Networks
—In this paper, we present a general technique based on Bayesian inference to locate mobiles in cellular networks. We study the problem of localizing users in a cellular network ...
Hui Zang, François Baccelli, Jean Bolot
INFOCOM
2010
IEEE
15 years 5 months ago
Netscope: Practical Network Loss Tomography
—We present Netscope, a tomographic technique that infers the loss rates of network links from unicast endto-end measurements. Netscope uses a novel combination of first- and se...
Denisa Ghita, Hung Xuan Nguyen, Maciej Kurant, Kat...
CCS
2010
ACM
15 years 4 months ago
Platform-independent programs
Given a single program (i.e., bit string), one may assume that the program's behaviors can be determined by first identifying the native runtime architecture and then executi...
Sang Kil Cha, Brian Pak, David Brumley, Richard Ja...