Sciweavers

3656 search results - page 23 / 732
» Compact Location Problems
Sort
View
ESORICS
2009
Springer
15 years 7 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
98
Voted
MICRO
1990
IEEE
147views Hardware» more  MICRO 1990»
15 years 4 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
103
Voted
ENTCS
2007
134views more  ENTCS 2007»
15 years 23 days 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
169
Voted
TSP
2012
13 years 8 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 ...
79
Voted
IV
2002
IEEE
88views Visualization» more  IV 2002»
15 years 5 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...