1687 search results - page 204 / 338 » Light Functional Interpretation |
129
click to vote
ENTCS
2007
15 years 6 months ago
2007
We investigate the domain-theoretic denotational semantics of a CPS with fresh name declaration. This is the target of a fully abstract CPS translation from the nu-calculus with ļ...
163
click to vote
JSYML
2006
15 years 6 months ago
2006
The quantified relevant logic RQ is given a new semantics in which a formula xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are mo...
162
click to vote
IJAR
2007
15 years 6 months ago
2007
The belief decision tree (BDT) approach is a decision tree in an uncertain environment where the uncertainty is represented through the Transferable Belief Model (TBM), one interp...
141
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
Abstract. This paper considers Lurāe type descriptor systems (LDS). The concept of strongly absolute stability is deļ¬ned for LDS and such a notion is a generalization of absolu...
162
click to vote
TFS
2008
15 years 6 months ago
2008
Abstract--This paper proposes a new method of merging parameterized fuzzy sets based on clustering in the parameters space, taking into account the degree of inclusion of each fuzz...