881 search results - page 103 / 177 » Solving satisfiability problems with preferences |
252
click to vote
Publication
In this paper, we seek to design a Groves mechanism for
assigning p heterogeneous objects among n competing agents (n > p)
with unit demand, satisfying weak budget balance, in...
136
click to vote
ICCV
2009
IEEE
16 years 9 months ago
2009
IEEE
We propose a novel consistent max-covering scheme for
human pose estimation. Consistent max-covering formulates
pose estimation as the covering of body part polygons
on an objec...
140
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
The paper explores several ways to improve the speed and capacity of combinational equivalence checking based on Boolean satisfiability (SAT). State-of-the-art methods use simulat...
133
click to vote
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
— Failure-Rate Minimization is becoming one of the major design issues in wireless sensor network (WSN) architecture due to multiple available Functional-units (FUs). There is a ...
156
click to vote
ICDCS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper develops a scalable online optimization framework for the autonomic performance management of distributed computing systems operating in a dynamic environment to satisf...