7123 search results - page 159 / 1425 » The Ordered Set of Rough Sets |
170
click to vote
ISIPTA
2003
IEEE
15 years 11 months ago
2003
IEEE
A second-order hierarchical uncertainty model of a system of independent random variables is studied in the paper. It is shown that the complex nonlinear optimization problem for ...
152
click to vote
CONCUR
1997
Springer
15 years 10 months ago
1997
Springer
We study properties of asynchronous communication independently of any concrete concurrent process paradigm. We give a general-purpose, mathematically rigorous definition of sever...
149
click to vote
FSTTCS
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
165
click to vote
STACS
1993
Springer
15 years 10 months ago
1993
Springer
We show that for most complexity classes of interest, all sets complete under rstorder projections (fops) are isomorphic under rst-order isomorphisms. That is, a very restricted v...
159
click to vote
ISSAC
1992
Springer
15 years 10 months ago
1992
Springer
Real algebraic numbers appear in many Computer Algebra pro bJems. For inst ante the determination of a cylindrical algebraic decomposition for an euclidian space requires compu ti...