1359 search results - page 271 / 272 » Probabilistic Points-to Analysis |
148
Voted
SIGIR
2003
ACM
15 years 8 months ago
2003
ACM
Libraries have traditionally used manual image annotation for indexing and then later retrieving their image collections. However, manual image annotation is an expensive and labo...
148
Voted
VRST
2003
ACM
15 years 8 months ago
2003
ACM
We present a novel, generic framework and algorithm for hierarchical collision detection, which allows an application to balance speed and quality of the collision detection. We p...
123
Voted
ESORICS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...
139
Voted
IBPRIA
2003
Springer
15 years 8 months ago
2003
Springer
In this paper we present an environment for the tracking of a human face obtained from a real video sequence. We will describe the system and discuss the advantages and disadvanta...
143
Voted
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of ...