5456 search results - page 128 / 1092 » General Equilibrium Theory |
197
click to vote
SIGIR
2009
ACM
16 years 27 days ago
2009
ACM
This paper studies document ranking under uncertainty. It is tackled in a general situation where the relevance predictions of individual documents have uncertainty, and are depen...
201
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
We study bargaining games between suppliers and manufacturers in a network context. Agents wish to enter into contracts in order to generate surplus which then must be divided amon...
189
click to vote
MKM
2009
Springer
16 years 28 days ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
167
click to vote
ICRA
2008
IEEE
16 years 25 days ago
2008
IEEE
— We present heuristic algorithms for pruning large sets of candidate paths or trajectories down to smaller subsets that maintain desirable characteristics in terms of overall re...
163
click to vote
RTAS
2008
IEEE
16 years 23 days ago
2008
IEEE
Multiprocessor scheduling problems are hard because of the numerous constraints on valid schedules to take into account. This paper presents new schedule representations in order ...