4211 search results - page 742 / 843 » A formal approach to MASQ |
198
click to vote
ESA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We consider approximate nearest neighbor searching in metric spaces of constant doubling dimension. More formally, we are given a set S of n points and an error bound &g...
168
click to vote
CRITIS
2007
15 years 8 months ago
2007
Security Management is a complex task. It requires several interconnected activities: designing, implementing and maintaining a robust technical infrastructure, developing suitable...
194
click to vote
CRITIS
2007
15 years 8 months ago
2007
We propose and investigate a game-theoretic approach to the malware filtering and detector placement problem which arises in network security. Our main objective is to develop opt...
159
click to vote
ACISP
2010
Springer
15 years 8 months ago
2010
Springer
To reduce the damage of phishing and spyware attacks, banks, governments, and other security-sensitive industries are deploying one-time password systems, where users have many pa...
164
click to vote
AGI
2008
15 years 7 months ago
2008
: A series of hypotheses is proposed, connecting neural structures and dynamics with the formal structures and processes of probabilistic logic. First, a hypothetical connection is...