9405 search results - page 1522 / 1881 » Computing a Model of Set Theory |
167
click to vote
SDM
2009
SIAM
16 years 3 months ago
2009
SIAM
Popularity of mobile devices is accompanied by widespread security problems, such as MAC address spoofing in wireless networks. We propose a probabilistic approach to temporal an...
175
click to vote
WISE
2009
Springer
16 years 3 months ago
2009
Springer
In this paper, we present a Web recommender system for recommending, predicting and personalizing music playlists based on a user model. We have developed a hybrid similarity match...
152
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we propose a fast method to detect spiculated lesions and architectural distortions in Digital Breast Tomosynthesis datasets. This approach relies on an a contrario ...
261
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—The paper deals with efficient distribution of timely information to flows of mobile devices. We consider the case where a set of Information Dissemination Devices (IDDs) broa...
175
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...