648 search results - page 29 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
113
click to vote
ET
2008
15 years 1 months ago
2008
Processor cores embedded in systems-on-a-chip (SoCs) are often deployed in critical computations, and when affected by faults they may produce dramatic effects. When hardware harde...
125
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: One-dimensional protein structures such as secondary structures or contact numbers are useful for three-dimensional structure prediction and helpful for intuitive unde...
109
click to vote
ECAI
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
EOR
2006
15 years 1 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...
130
click to vote
CC
2012
Springer
13 years 9 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...