1805 search results - page 53 / 361 » A Theory of Closure Operators |
MFCS
2004
Springer
15 years 9 months ago
2004
Springer
Given a fixed computable binary operation , we study the complexity of the following generation problem: The input consists of strings ½ Ò . The question is whether is in the c...
167
Voted
CSL
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
142
click to vote
MLQ
2000
15 years 3 months ago
2000
In Zermelo-Fraenkel set theory with the axiom of choice every set has the same cardinal number as some ordinal. Von Rimscha has weakened this condition to "Every set has the s...
115
click to vote
EUSFLAT
2007
15 years 5 months ago
2007
Fuzzy arithmetic is a powerful tool in many engineering problems such as decision making, control theory, fuzzy systems and approximate reasoning. However, it is well known that t...
109
click to vote
AUTOMATICA
2002
15 years 4 months ago
2002
This paper addresses the issue of state-space realizations for nonlinear adjoint operators. In particular, the relationships between nonlinear Hilbert adjoint operators, Hamiltoni...