1302 search results - page 135 / 261 » Fair Equivalence Relations |
156
click to vote
ICIC
2007
Springer
16 years 3 days ago
2007
Springer
Rough set theory has been considered as a useful tool to deal with inexact, uncertain, or vague knowledge. However, in real-world, most of information systems are based on dominanc...
108
click to vote
ISCAS
2006
IEEE
15 years 12 months ago
2006
IEEE
— This paper focuses on the suboptimal regulation of multivariable discrete-time bilinear systems consisting of interconnected bilinear subsystems with respect to a linear quadra...
176
click to vote
SEW
2006
IEEE
15 years 12 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
192
click to vote
ACL2
2006
ACM
15 years 12 months ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
134
click to vote
ML
2006
ACM
15 years 12 months ago
2006
ACM
Hash-consing is a technique to share values that are structurally equal. Beyond the obvious advantage of saving memory blocks, hash-consing may also be used to speed up fundamenta...