874 search results - page 73 / 175 » Computing Weighted Solutions in Answer Set Programming |
112
Voted
GD
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we investigate the problem of drawing metro maps which is defined as follows. Given a planar graph G of maximum degree 8 with its embedding and vertex locations (e.g...
86
Voted
FOCS
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper studies the computational complexity of the following type of quadratic programs: given an arbitrary matrix whose diagonal elements are zero, find x ∈ {−1, +1}n th...
104
click to vote
CP
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. Existing constraint programming systems offer a fixed set of inference engines implementing search strategies such as single, all, and best solution search. This is unfo...
110
click to vote
DAC
2005
ACM
16 years 1 months ago
2005
ACM
We obtain analytically, the energy optimal speed profile of a generic multi-speed device with a discrete set of speeds, to execute a given task within a given time. Current implem...
98
Voted
OOPSLA
1991
Springer
15 years 4 months ago
1991
Springer
We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, a...