3353 search results - page 360 / 671 » Laver and set theory |
203
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
We present a novel approach to knowledge-based automated oneshot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
196
click to vote
CAIP
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a novel shape recovery technique that combines photometric stereo with polarization information. First, a set of ambiguous surface normals are estimated from po...
174
click to vote
COCO
2007
Springer
16 years 1 months ago
2007
Springer
We study the link between the complexity of a polynomial and that of its coefficient functions. Valiant’s theory is a good setting for this, and we start by generalizing one of V...
181
click to vote
COLT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We establish a generic theoretical tool to construct probabilistic bounds for algorithms where the output is a subset of objects from an initial pool of candidates (or mo...
196
click to vote
CP
2007
Springer
16 years 1 months ago
2007
Springer
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...