8413 search results - page 1037 / 1683 » Ordering Problem Subgoals |
199
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
We consider Coalitional Skill Games (CSGs), a simple model of cooperation among agents. This is a restricted form of coalitional games, where each agent has a set of skills that a...
191
click to vote
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
Abstract— As VLSI technology enters the ultra-deep submicron era, wire coupling capacitance starts to dominate self capacitance and can no longer be neglected in timing driven ro...
238
click to vote
LATIN
2010
Springer
15 years 9 months ago
2010
Springer
We study the problem of designing truthful algorithms for scheduling a set of tasks, each one owned by a selfish agent, to a set of parallel (identical or unrelated) machines in or...
225
click to vote
ERSHOV
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
229
click to vote
ECLIPSE
2005
ACM
15 years 9 months ago
2005
ACM
Software program families have a long tradition and will gain momentum in the future. Today’s research tries to move software development to a new quality of industrial producti...