9841 search results - page 203 / 1969 » Distributed Value Functions |
114
Voted
ICCV
2009
IEEE
15 years 12 days ago
2009
IEEE
We describe an energy minimization algorithm for functions defined on 4-connected lattices, of the type usually encountered in problems involving images. Such functions are often ...
145
Voted
JAR
2010
14 years 9 months ago
2010
Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...
147
Voted
SODA
2012
ACM
13 years 5 months ago
2012
ACM
Motivated by the problem of querying and communicating bidders’ valuations in combinatorial auctions, we study how well different classes of set functions can be sketched. More...
114
Voted
SWAT
2010
Springer
15 years 7 months ago
2010
Springer
We attend to the classic setting where an observer needs to inform a tracker about an arbitrary time varying function f : N0 → Z. This is an optimization problem, where both wron...
101
Voted
ICLP
1990
Springer
15 years 6 months ago
1990
Springer
Although Warren's method for the evaluation in Prolog of expressions with higherorder functions appears to have been neglected, it is of great value. Warren's paper need...