239 search results - page 29 / 48 » The Parameterized Complexity of Global Constraints |
SARA
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. This article presents two new algorithms whose purpose is to maintain the Max-RPC domain filtering consistency during search with a minimal memory footprint and implemen...
ISCAS
1994
IEEE
14 years 26 days ago
1994
IEEE
Earlier research has shown that the problem of optimal weighted median filtering with structural constraints can be formulated as a nonconvex nonlinear programming problem in gene...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
It is possible to model avatars that learn to simulate object manipulations and other complex actions. A number of applications may benefit from this technique including safety, e...
AUTOMATICA
2011
13 years 3 months ago
2011
Iterative distributed algorithms are studied for computing arithmetic averages over networks of agents connected through memoryless broadcast erasure channels. These algorithms do...
VLSID
2003
IEEE
14 years 9 months ago
2003
IEEE
A formal synthesis method for complex real-time embedded software is proposed in this work. Compared to previous work, our method not only synthesizes embedded software with compl...