8828 search results - page 1638 / 1766 » Formal methods in practice |
147
click to vote
TIFS
2010
15 years 2 months ago
2010
Abstract—Biometric template protection is one of the most important issues in deploying a practical biometric system. To tackle this problem, many algorithms, that do not store t...
170
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Interference alignment is a transmission technique for exploiting all available degrees of freedom in the symmetric frequency- or time-selective interference channel with an arbit...
130
click to vote
CEC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract-- We present a case study demonstrating that using the REVAC parameter tuning method we can greatly improve the `world champion' EA (the winner of the CEC2005 competi...
150
click to vote
ICTAI
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Today's molecular biology is confronted with enormous amounts of data, generated by new high-throughput technologies, along with an increasing number of biological m...
144
click to vote
PKDD
2010
Springer
15 years 1 months ago
2010
Springer
The goal of graph clustering is to partition objects in a graph database into different clusters based on various criteria such as vertex connectivity, neighborhood similarity or t...