5898 search results - page 950 / 1180 » Parallel Computing Environments and Methods |
173
click to vote
ALP
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
176
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
Thanks to their high performance and programmability, the latest graphics cards can now be used for scientific purpose. They are indeed very efficient parallel Single Instruction ...
145
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We study principled methods for incorporating user utility into the selection of sponsored search ads. We describe variations of the GSP allocation/pricing mechanism that accommod...
170
click to vote
ICIP
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we present a method based on tangent distance to estimate motion in image sequences. Tangent distance combines an intuitive understanding and effective modeling of ...
193
click to vote
NIPS
2004
15 years 7 months ago
2004
Various problems in machine learning, databases, and statistics involve pairwise distances among a set of objects. It is often desirable for these distances to satisfy the propert...