4117 search results - page 213 / 824 » On the Satisfiability of Complex Constraints |
165
click to vote
IJCAI
2007
15 years 8 months ago
2007
ESSENCE is a new formal language for specifying combinatorial problems in a manner similar to natural rigorous specifications that use a mixture of natural language and discrete ...
184
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper the interference channel is extended by additional relay nodes in order to investigate the influence of interference on the design and performance of relaying protoco...
213
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
In this paper, we show that tracking multiple people whose paths may intersect can be formulated as a convex global optimization problem. Our proposed framework is designed to exp...
152
click to vote
APPT
2003
Springer
15 years 12 months ago
2003
Springer
This paper focuses on the problem of scheduling outages to computer systems in complex distributed environments. The interconnected nature of these systems makes scheduling global ...
192
click to vote
SIGGRAPH
1990
ACM
15 years 10 months ago
1990
ACM
We describe a fast method for creating physically based animation of non-rigid objects. Rapid simulation of nonrigid behavior is based on global deformations. Constraints are used...