4075 search results - page 243 / 815 » Modeling Distributed Algorithm Using B |
181
click to vote
PLDI
1995
ACM
15 years 10 months ago
1995
ACM
We present a unified approach to locality optimization that employs both data and control transformations. Data transformations include changing the array layout in memory. Contr...
185
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
We introduce a novel probabilistic approach for nonparametric nonrigid image registration using generalized elastic nets, a model previously used for topographic maps. The idea of...
196
click to vote
SIGIR
2003
ACM
15 years 12 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...
198
click to vote
AND
2009
15 years 4 months ago
2009
In this paper we propose a new approach to capture the inclination towards a certain election candidate from the contents of blogs and to explain why that inclination may be so. T...
198
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
The theoretical price of a financial option is given by the expectation of its discounted expiry time payoff. The computation of this expectation depends on the density of the val...