2434 search results - page 243 / 487 » Algorithmic Randomness of Closed Sets |
128
click to vote
FORTE
2008
15 years 5 months ago
2008
Abstract. Model generation is an important formal technique for finding interesting instances of computationally hard problems. In this paper we study model generation over Horn lo...
136
click to vote
ESA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We study the problem of designing group-strategyproof costsharing mechanisms. The players report their bids for getting serviced and the mechanism decides a set of player...
130
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
Efficient design of wireless networks requires implementation of cross-layer algorithms that exploit channel state information. Capitalizing on convex optimization and stochastic...
165
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
In this work, we present a novel segmentation method for deformable objects in monocular videos. Firstly we introduce the dynamic shape to represent the prior knowledge about obje...
168
click to vote
SASO
2007
IEEE
15 years 10 months ago
2007
IEEE
A fundamental problem that confronts decentralized reputation systems is the design of efficient, secure and incentive-compatible mechanisms to gather trust information despite m...