1277 search results - page 250 / 256 » On Information Need and Categorizing Search |
108
click to vote
IDEAL
2009
Springer
15 years 4 months ago
2009
Springer
With the rapid and dramatic increase in web feeds published by different publishers, providers or websites via Really Simple Syndication (RSS) and Atom, users cannot be expected t...
133
click to vote
CSFW
1999
IEEE
15 years 4 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
110
click to vote
EVOW
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This work presents scale invariant region detectors that apply evolved operators to extract an interest measure. We evaluate operators using their repeatability rate, and...
108
Voted
EDBT
2009
ACM
15 years 3 months ago
2009
ACM
Consider a scientist who wants to explore multiple data sets to select the relevant ones for further analysis. Since the visualization real estate may put a stringent constraint o...
79
Voted
ASPLOS
2008
ACM
15 years 1 months ago
2008
ACM
Today's processors provide a rich source of statistical information on application execution through hardware counters. In this paper, we explore the utilization of these sta...