1068 search results - page 36 / 214 » For completeness, sublogarithmic space is no space |
FUZZIEEE
2007
IEEE
13 years 10 months ago
2007
IEEE
When a flexible fuzzy rule structure such as those with antecedent in conjunctive normal form is used, the interpretability of the obtained fuzzy model is significantly improved. H...
MCSS
2006
Springer
13 years 8 months ago
2006
Springer
In this paper we consider systems which are globally completly observable and output-to-state stable. The former property guarantees the existence of coordinates such that the dyna...
CORR
2000
Springer
13 years 8 months ago
2000
Springer
Attribute grammars (AGs) are a formal technique for defining semantics of programming languages. Existing complexity proofs on the circularity problem of AGs are based on automata...
JANCL
2002
13 years 8 months ago
2002
We prove frame determination results for the family of many-valued modal logics introduced by M. Fitting in the early '90s. Each modal language of this family is based on a H...
ICIP
2000
IEEE
14 years 10 months ago
2000
IEEE
The most essential ingredient of interpolation is its basis function. We have shown in previous papers that this basis need not be necessarily interpolating to achieve good result...