1341 search results - page 244 / 269 » Probabilistic Abstraction Hierarchies |
177
click to vote
IBPRIA
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. Similarity computation is a difficult issue in music information retrieval, because it tries to emulate the special ability that humans show for pattern recognition in ge...
95
Voted
ASUNAM
2011
IEEE
13 years 10 months ago
2011
IEEE
Abstract—Many important real-world systems, modeled naturally as complex networks, have heterogeneous interactions and complicated dependency structures. Link prediction in such ...
92
Voted
CSFW
2012
IEEE
13 years 19 days ago
2012
IEEE
Abstract—This paper introduces g-leakage, a rich generalization of the min-entropy model of quantitative information flow. In g-leakage, the benefit that an adversary derives f...
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
There are many difficulties associated with developing correct multithreaded software, and many of the activities that are simple for single threaded software are exceptionally ha...
88
Voted
FM
2006
Springer
15 years 1 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...