Sciweavers

3656 search results - page 23 / 732
» Compact Location Problems
Sort
View
ESORICS
2009
Springer
14 years 4 months ago
Private Information Retrieval Techniques for Enabling Location Privacy in Location-Based Services
Abstract. The ubiquity of smartphones and other location-aware handheld devices has resulted in a dramatic increase in popularity of locationbased services (LBS) tailored to user l...
Ali Khoshgozaran, Cyrus Shahabi
MICRO
1990
IEEE
147views Hardware» more  MICRO 1990»
14 years 1 months ago
Motivation and framework for using genetic algorithms for microcode compaction
Genetic algorithms are a robust adaptive optimization technique based on a biological paradigm. They perform efficient search on poorly-defined spaces by maintaining an ordered po...
Steven J. Beaty, Darrell Whitley, Gearold Johnson
ENTCS
2007
134views more  ENTCS 2007»
13 years 9 months ago
A Compact Linear Translation for Bounded Model Checking
We present a syntactic scheme for translating future-time LTL bounded model checking problems into propositional satisfiability problems. The scheme is similar in principle to th...
Paul B. Jackson, Daniel Sheridan
TSP
2012
12 years 5 months ago
Optimized Compact-Support Interpolation Kernels
Abstract—In this paper, we investigate the problem of designing compact-support interpolation kernels for a given class of signals. By using calculus of variations, we simplify t...
Ramtin Madani, Ali Ayremlou, Arash Amini, Farrokh ...
IV
2002
IEEE
88views Visualization» more  IV 2002»
14 years 2 months ago
Visualizing Spatially Varying Distribution Data
Box plot is a compact representation that encodes the minimum, maximum, mean, median, and quartile information of a distribution. In practice, a single box plot is drawn for each ...
David T. Kao, Alison Luo, Jennifer L. Dungan, Alex...