7167 search results - page 789 / 1434 » Answer Set Programming |
167
click to vote
IANDC
2008
15 years 6 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
150
click to vote
EOR
2006
15 years 6 months ago
2006
In this paper, we provide a heuristic procedure, that performs well from a global optimality point of view, for an important and difficult class of bilevel programs. The algorithm...
161
click to vote
EOR
2006
15 years 6 months ago
2006
The fuzzy set is one of the powerful tools used to describe an uncertain environment. As well as quantifying any potential return and risk, portfolio liquidity is taken into accou...
146
click to vote
IJHPCN
2008
15 years 6 months ago
2008
: We propose a set of statistical metrics for making a comprehensive, fair, and insightful evaluation of features, clustering algorithms, and distance measures in representative sa...
227
click to vote
CPHYSICS
2007
15 years 6 months ago
2007
Progress in developing, implementing, publishing, and refining a coherent set of education materials in computational physics education will be described. These materials form th...