2245 search results - page 66 / 449 » Metrics that Learn Relevance |
TACAS
2001
Springer
14 years 2 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
ICCV
2009
IEEE
15 years 3 months ago
2009
IEEE
Similarity metrics that are learned from labeled training
data can be advantageous in terms of performance
and/or efficiency. These learned metrics can then be used
in conjuncti...
WWW
2009
ACM
14 years 10 months ago
2009
ACM
In order to return relevant search results, a search engine must keep its local repository synchronized to the Web, but it is usually impossible to attain perfect freshness. Hence...
JMIV
2006
13 years 10 months ago
2006
Abstract - Certain structure detection problems can be solved by sampling a parameter space for the different structures at a finite number of points and checking each point to see...
COMSNETS
2012
12 years 5 months ago
2012
—Researchers choosing to share wireless-network traces with colleagues must first anonymize sensitive information, trading off the removal of information in the interest of iden...