1381 search results - page 118 / 277 » Computational Complexity of Constraint Satisfaction |
145
click to vote
SMA
2009
ACM
15 years 11 months ago
2009
ACM
We present a method for procedurally modeling general complex 3D shapes. Our approach is targeted towards applications in digital entertainment and gaming and can automatically ge...
143
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
175
Voted
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Previous work in multiagent coordination has addressed the challenge of planning in domains where agents must optimize a global goal, while satisfying local resource constraints. ...
168
click to vote
AROBOTS
2011
14 years 11 months ago
2011
Abstract— Many applications require teams of robots to cooperatively execute complex tasks. Among these domains are those where successful coordination solutions must respect con...
162
click to vote
CSCLP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Over the last decade, first-order constraints have been efficiently used in the artificial intelligence world to model many kinds of complex problems such as: scheduling,...