3891 search results - page 715 / 779 » Query Models |
CSL
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
ICML
2010
IEEE
13 years 11 months ago
2010
IEEE
We address the problem of evaluating the risk of a given model accurately at minimal labeling costs. This problem occurs in situations in which risk estimates cannot be obtained f...
MM
2010
ACM
13 years 10 months ago
2010
ACM
Search engines are used to return a long list of hundreds or even thousands of videos in response to a query topic. Efficient navigation of videos becomes difficult and users ofte...
MM
2010
ACM
13 years 10 months ago
2010
ACM
Content-based image search on the Internet is a challenging problem, mostly due to the semantic gap between low-level visual features and high-level content, as well as the excess...
CCR
2010
13 years 10 months ago
2010
Network management operations are complicated, tedious and error-prone, requiring significant human involvement and expert knowledge. In this paper, we first examine the fundament...