351 search results - page 55 / 71 » Classical proof forestry |
134
click to vote
WINE
2007
Springer
15 years 10 months ago
2007
Springer
This paper characterizes the family of truthful doublesided auctions. Despite the importance of double-sided auctions to market design, to date no characterization of truthful dou...
133
click to vote
FOCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Given an undirected hypergraph and a subset of vertices S ⊆ V with a specified root vertex r ∈ S, the STEINER ROOTED-ORIENTATION problem is to find an orientation of all the...
141
Voted
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
In order to allow for fast recognition of a user’s affective state we discuss innovative holistic and self organizing approaches for efficient facial expression analysis. The f...
124
click to vote
PPOPP
2006
ACM
15 years 10 months ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
117
click to vote
HPDC
2005
IEEE
15 years 10 months ago
2005
IEEE
Information dissemination is a fundamental and frequently occuring problem in large, dynamic, distributed systems. We propose a novel approach to this problem, interest-aware info...