120 search results - page 19 / 24 » Some New Ramsey Colorings |
SAT
2005
Springer
14 years 25 days 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...
AFRIGRAPH
2004
ACM
14 years 23 days ago
2004
ACM
The ancient Egyptian temple of Kalabsha dates back to 30 BC. In 1963 the temple was dismantled and moved to a new site in order to save it from the rising waters of the Lake Nasse...
PLDI
2003
ACM
14 years 18 days ago
2003
ACM
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal b...
ECCV
2010
Springer
13 years 12 months ago
2010
Springer
Abstract. In this paper we investigate the problem of exploiting multiple sources of information for object recognition tasks when additional modalities that are not present in the...
ICPR
2010
IEEE
13 years 11 months ago
2010
IEEE
Diabetic retinopathy (DR) is a common complication of diabetes that damages the retina and leads to sight loss if treated late. In its earliest stage, DR can be diagnosed by microa...