1662 search results - page 144 / 333 » Privately Finding Specifications |
214
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
101
Voted
RECOMB
2006
Springer
16 years 3 months ago
2006
Springer
We present a model for predicting HLA class I restricted CTL epitopes. In contrast to almost all other work in this area, we train a single model on epitopes from all HLA alleles a...
96
Voted
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
The already huge number of blogs in existence is increasing rapidly, and many users are struggling to find a way to keep up with the expansion. A number of existing tools aim to c...
143
Voted
TABLETOP
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we discuss various options for enhancing the gaming experience in augmented tabletop games. More specifically, we propose to incorporate psychophysiological measure...
115
click to vote
GRID
2007
Springer
15 years 9 months ago
2007
Springer
– Grid access control policy languages today are generally one of two extremes: either extremely simplistic, or overly complex and challenging for even security experts to use. I...