1047 search results - page 125 / 210 » Searching Without a Heuristic: Efficient Use of Abstraction |
ASIACRYPT
2010
Springer
13 years 6 months ago
2010
Springer
We consider the problem of encrypting structured data (e.g., a web graph or a social network) in such a way that it can be efficiently and privately queried. For this purpose, we ...
CAV
2010
Springer
13 years 12 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
ICMCS
2009
IEEE
13 years 5 months ago
2009
IEEE
In this paper, we consider the problem of incorporating privacy protection in a biometric access control system. An Anonymous Biometric Access Control (ABAC) system is proposed to...
APSCC
2007
IEEE
14 years 2 months ago
2007
IEEE
A suitable assignment of agents to handle the workload at a call center is not easy to fulfill because it requires a combinatorial optimization with large solution space and the n...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
Diversity and memory are two major mechanisms used in biology to keep the adaptability of organisms in the everchanging environment in nature. These mechanisms can be integrated i...