3820 search results - page 641 / 764 » Bounded Model Debugging |
114
Voted
CRYPTO
2003
Springer
15 years 7 months ago
2003
Springer
Can you guarantee secrecy even if an adversary can eavesdrop on your brain? We consider the problem of protecting privacy in circuits, when faced with an adversary that can access ...
127
click to vote
IPSN
2003
Springer
15 years 7 months ago
2003
Springer
A novel source localization approach using acoustic energy measurements from the individual sensors in the sensor field is presented. This new approach is based on the acoustic en...
105
click to vote
ISMIS
2003
Springer
15 years 7 months ago
2003
Springer
We propose an intelligent document title classification agent based on a theory of information inference. The information is represented as vectorial spaces computed by a cognitive...
100
click to vote
COMPGEOM
2010
ACM
15 years 7 months ago
2010
ACM
Let G be an unweighted graph of complexity n cellularly embedded in a surface (orientable or not) of genus g. We describe improved algorithms to compute (the length of) a shortest...
117
click to vote
PODS
2010
ACM
15 years 7 months ago
2010
ACM
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...