600 search results - page 55 / 120 » Solving Distributed Constraint Optimization Problems Using L... |
85
Voted
DAC
2003
ACM
16 years 1 days ago
2003
ACM
This paper presents a novel partial assignment technique (PAT) that decides which tasks should be assigned to the same resource without explicitly defining assignment of these tas...
100
click to vote
CADE
2002
Springer
15 years 11 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
100
click to vote
EOR
2008
14 years 11 months ago
2008
This paper is a study of the car sequencing problem, when feature spacing constraints are soft and colors of vehicles are taken into account. Both pseudo-polynomial algorithms and ...
VTC
2008
IEEE
15 years 5 months ago
2008
IEEE
— We consider a resource allocation problem for spectrum sharing in cognitive radio networks. Specifically, we investigate the joint subchannel, rate and power allocation for se...
113
click to vote
TKDE
2008
14 years 10 months ago
2008
Proving ownership rights on outsourced relational databases is a crucial issue in today internet-based application environments and in many content distribution applications. In th...