3625 search results - page 179 / 725 » On choosing |
180
click to vote
FMICS
2007
Springer
15 years 11 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
199
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
While support vector machines (SVMs) have shown great promise in supervised classification problems, researchers have had to rely on expert domain knowledge when choosing the SVM&...
191
click to vote
GI
2007
Springer
15 years 11 months ago
2007
Springer
: In this paper, we present an approach to refine user profiles that were derived from Web server logs in an automated procedure. In most application scenarios, such automatically ...
214
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
We design opportunistic spectrum access strategies for improving spectrum efficiency. In each slot, a secondary user chooses a subset of channels to sense and decides whether to ac...
183
click to vote
FC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper introduces certified sets to the private set intersection problem. A private set intersection protocol allows Alice and Bob to jointly compute the set intersec...