Sciweavers

8016 search results - page 1409 / 1604
» On the practical genetic algorithms
Sort
View
CCS
2010
ACM
15 years 6 months ago
Recruiting new tor relays with BRAIDS
Tor, a distributed Internet anonymizing system, relies on volunteers who run dedicated relays. Other than altruism, these volunteers have no incentive to run relays, causing a lar...
Rob Jansen, Nicholas Hopper, Yongdae Kim
SIGMOD
2010
ACM
208views Database» more  SIGMOD 2010»
15 years 6 months ago
Hierarchically organized skew-tolerant histograms for geographic data objects
Histograms have been widely used for fast estimation of query result sizes in query optimization. In this paper, we propose a new histogram method, called the Skew-Tolerant Histog...
Yohan J. Roh, Jae Ho Kim, Yon Dohn Chung, Jin Hyun...
ICASSP
2010
IEEE
15 years 6 months ago
Distributed bearing estimation via matrix completion
We consider bearing estimation of multiple narrow-band plane waves impinging on an array of sensors. For this problem, bearing estimation algorithms such as minimum variance disto...
Andrew Waters, Volkan Cevher
ICASSP
2010
IEEE
15 years 6 months ago
Temporal motion smoothness measurement for reduced-reference video quality assessment
Reduced-reference (RR) video quality measures aim to predict the perceptual quality of distorted video signals using only partial information about the reference video. Existing R...
Kai Zeng, Zhou Wang
ACTA
2010
191views more  ACTA 2010»
15 years 6 months ago
Automata-based verification of programs with tree updates
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
Peter Habermehl, Radu Iosif, Tomás Vojnar
« Prev « First page 1409 / 1604 Last » Next »