64 search results - page 12 / 13 » Solving Parity Games in Practice |
CDC
2009
IEEE
13 years 10 months ago
2009
IEEE
— The nullspace method is a powerful framework to solve the synthesis problem of fault detection filters in the most general setting. It is also well suited to address the least...
AAAI
2006
13 years 6 months ago
2006
Model counting is the classical problem of computing the number of solutions of a given propositional formula. It vastly generalizes the NP-complete problem of propositional satis...
AMEC
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Many practical scenarios involve solving a social choice problem: a group of self-interested agents have to agree on an outcome that best fits their combined preferences...
ATAL
2010
Springer
13 years 6 months ago
2010
Springer
The static asset protection problem (SAP) in a road network is that of allocating resources to protect vertices, given any possible behavior by an adversary determined to attack t...
IEEECGIV
2006
IEEE
13 years 11 months ago
2006
IEEE
Smooth Skinning is still the most popular method for the animation of deformable human and creature characters. It has became almost an industry standard because of its intuitiven...