620 search results - page 16 / 124 » Likelihood Computations Using Value Abstraction |
BMVC
2000
13 years 11 months ago
2000
Accurate and high density estimation of optical flow vectors in an image sequence is accomplished by a method that estimates the velocity distribution function for small overlappi...
GRID
2007
Springer
14 years 4 months ago
2007
Springer
Abstract— Markets and auctions have been proposed as mechanisms for efficiently and fairly allocating resources in a number of different computational settings. Economic approac...
CC
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We introduce the concept of future values. Using future values it is possible to represent programs in a new control-flow form such that on any control flow path the data...
DALT
2008
Springer
13 years 11 months ago
2008
Springer
ing and Verifying Strategy-proofness for Auction Mechanisms E. M. Tadjouddine, F. Guerin, and W. Vasconcelos Department of Computing Science, King's College, University of Abe...
ARCS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The severe resource restrictions of computer-augmented everyday artifacts imply substantial problems for the design of applications in smart environments. Some of these p...