601 search results - page 55 / 121 » CSP(M): Constraint Satisfaction Problem over Models |
123
click to vote
RSS
2007
15 years 3 months ago
2007
— In this paper we present an implicit time-stepping scheme for multibody systems with intermittent contact by incorporating the contact constraints as a set of complementarity a...
109
click to vote
IEEEARES
2007
IEEE
15 years 7 months ago
2007
IEEE
The most important part of a firewall configuration process is the implementation of a security policy by a security administrator. However, this security policy is not designed b...
186
Voted
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
Most bioimaging modalities rely on indirect measurements of the quantity under investigation. The image is obtained as the result of an optimization problem involving a physical m...
162
click to vote
CPAIOR
2010
Springer
14 years 11 months ago
2010
Springer
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...
NOMS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—We study the problem of dynamic resource allocation to clustered Web applications. We extend application server middleware with the ability to automatically decide the s...