Sciweavers

1127 search results - page 56 / 226
» Theory Extension in ACL2(r)
Sort
View
155
Voted
RSKT
2007
Springer
15 years 6 months ago
Decision-Theoretic Rough Set Models
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...
Yiyu Yao
82
Voted
SUM
2007
Springer
15 years 6 months ago
Valued Hesitation in Intervals Comparison
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 ...
Meltem Öztürk, Alexis Tsoukiàs
FOCS
2005
IEEE
15 years 6 months ago
On the Complexity of Real Functions
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...
Mark Braverman
106
Voted
ECAL
2005
Springer
15 years 6 months ago
Evolution and the Regulation of Environmental Variables
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...
Hywel T. P. Williams, Jason Noble
ECSQARU
2005
Springer
15 years 6 months ago
Bilattice-Based Squares and Triangles
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...
Ofer Arieli, Chris Cornelis, Glad Deschrijver, Eti...