4117 search results - page 303 / 824 » On the Satisfiability of Complex Constraints |
204
click to vote
ESOP
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
181
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
The unit-norm constraint optimization for joint shortening of channel and echo impulse response is presented in this paper. The optimization is performed in the mean-square sense (...
307
click to vote
WSC
2007
15 years 9 months ago
2007
Planning, scheduling and effective management of contingencies are crucial for the successful management of construction projects. In this paper we explore a mathematical represen...
222
click to vote
AIPRF
2008
15 years 8 months ago
2008
A fitness function is needed for a Genetic Algorithm (GA) to work, and it appears natural that the combination of objectives and constraints into a single scalar function using ar...
156
click to vote
ACSW
2004
15 years 8 months ago
2004
We present a detailed examination of the access constraints for a small real-world Health Information System with the aim of achieving minimal access rights for each of the involv...