1127 search results - page 56 / 226 » Theory Extension in ACL2(r) |
214
click to vote
RSKT
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Decision-theoretic rough set models are a probabilistic extension of the algebraic rough set model. The required parameters for defining probabilistic lower and upper ap...
130
click to vote
SUM
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. The paper presents a valued extension of the recently introduced concept of PQI interval order. The main idea is that, while comparing objects represented by interval of ...
149
click to vote
FOCS
2005
IEEE
15 years 11 months ago
2005
IEEE
We establish a new connection between the two most common traditions in the theory of real computation, the Blum-Shub-Smale model and the Computable Analysis approach. We then use...
154
click to vote
ECAL
2005
Springer
15 years 11 months ago
2005
Springer
The idea that the biota can regulate the abiotic components of their environment to levels suitable for life has attracted criticism from neo-Darwinian theorists but is still a via...
161
click to vote
ECSQARU
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper, Ginsberg’s/Fitting’s theory of bilattices is invoked as a natural accommodation and powerful generalization to both intuitionistic fuzzy sets (IFSs) an...