2702 search results - page 465 / 541 » Practically Applicable Formal Methods |
ICCV
2007
IEEE
14 years 2 months ago
2007
IEEE
Symmetry and self-similarity is the cornerstone of Nature, exhibiting itself through the shapes of natural creations and ubiquitous laws of physics. Since many natural objects are...
SSDBM
2007
IEEE
14 years 2 months ago
2007
IEEE
K-anonymity is a simple yet practical mechanism to protect privacy against attacks of re-identifying individuals by joining multiple public data sources. All existing methods achi...
B
2007
Springer
14 years 2 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
COREGRID
2007
Springer
14 years 2 months ago
2007
Springer
We address the problem of routing packets on multiple, router-disjoint, paths in the Internet using large-scale overlay networks. Multipath routing can improve Internet QoS, by rou...
GFKL
2007
Springer
14 years 2 months ago
2007
Springer
The so-called noise-component has been introduced by Banfield and Raftery (1993) to improve the robustness of cluster analysis based on the normal mixture model. The idea is to ad...