3931 search results - page 510 / 787 » Separation logic and abstraction |
252
click to vote
JELIA
2010
Springer
15 years 5 months ago
2010
Springer
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...
210
click to vote
EUSFLAT
2009
15 years 5 months ago
2009
The age at which we teach different topics change. If it turns out that students do not learn, say, reading by the time they should, a natural idea is to start teaching them earlie...
211
click to vote
EUSFLAT
2009
15 years 5 months ago
2009
Abstract-- This paper presents an approach for visualizing highdimensional fuzzy rules arranged in a hierarchy together with the training patterns they cover. A standard multi-dime...
182
click to vote
EUSFLAT
2009
15 years 5 months ago
2009
Abstract-- Interpretability is one of the most significant properties of Fuzzy Systems which are widely acknowledged as gray boxes against other Soft Computing techniques such as N...
195
click to vote
EUSFLAT
2009
15 years 5 months ago
2009
Abstract-- A portfolio model to minimize the risk of falling under uncertainty is discussed. The risk of falling is represented by the value-at-risk of rate of return. Introducing ...