Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2005

Highly Cited

2005

Design procedures are proposed for two different classes of observers for systems withunknown inputs. In thefirst approach, the… Expand

2005

2005

0.1. Interpolation. Let (Ω, μ) be a measure space. Consider an operator Q that acts in all spaces L(μ) with 1 < p < ∞ and is a… Expand

2005

2005

Classical results of Kalton are used to study the complementation of the space W(X, Y) of weakly compact operators and the space… Expand

2000

2000

A set A C R 2 is called invisible, if its orthogonal projection is of measure 0 in almost every direction; A is visible, if it is… Expand

Highly Cited

1999

Highly Cited

1999

Resolution is an often used method for deduction in propositional logic. Here a proper organization of deduction is proposed… Expand

Highly Cited

1998

Highly Cited

1998

A self-constructing neural fuzzy inference network (SONFIN) with online learning ability is proposed in this paper. The SONFIN is… Expand

Highly Cited

1990

Highly Cited

1990

The Cylindrical Algebraic Decomposition (CAD) method of Collins [5] decomposes <italic>r</italic>-dimensional Euclidean space… Expand

Highly Cited

1988

Highly Cited

1988

A key component of the cylindrical algebraic decomposition (cad) algorithm of Collins (1975) is the projection operation: the… Expand

Highly Cited

1987

Highly Cited

1987

We present a series of operators of apparently increasing power which when added to first-order logic produce a series of… Expand

Highly Cited

1983

Highly Cited

1983

The generating functions and mean displacements of various two-dimensional directed self-avoiding walk models are calculated… Expand