1964 search results - page 123 / 393 » Partitioning Based Algorithms for Some Colouring Problems |
103
click to vote
SAC
2006
ACM
15 years 8 months ago
2006
ACM
Non-linear AE-solution sets are a special case of parametric systems of equations where universally quantified parameters appear first. They allow to model many practical situat...
138
click to vote
ICSE
1993
IEEE-ACM
15 years 6 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
120
click to vote
CEC
2007
IEEE
15 years 6 months ago
2007
IEEE
Combinations of evolutionary based approaches with local search have provided very good results for a variety of scheduling problems. This paper describes the development of such a...
115
Voted
SAT
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clau...
224
click to vote
ICDE
2008
IEEE
16 years 3 months ago
2008
IEEE
When disseminating data involving human subjects, researchers have to weigh in the requirements of privacy of the individuals involved in the data. A model widely used for enhancin...