845 search results - page 104 / 169 » Connecting Many-Sorted Theories |
147
click to vote
ENTCS
2006
15 years 6 months ago
2006
We describe an ongoing project in which we attempt to describe a neutral approach to proof and refutation. In particular, we present a language of neutral expressions which contai...
143
click to vote
FSS
2006
15 years 6 months ago
2006
In this paper we propose a new nonparametric regression algorithm based on Fuzzy systems with overlapping concepts. We analyze its consistency properties, showing that it is capab...
145
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We use support theory, in particular the fretsaw extensions of Shklarski and Toledo [ST06a], to design preconditioners for the stiffness matrices of 2-dimensional truss structure...
155
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
A synchronizing word of a deterministic automaton is a word in the alphabet of colors (considered as letters) of its edges that maps the automaton to a single state. A coloring of...
147
click to vote
MP
2008
15 years 6 months ago
2008
Abstract. We attempt a broad exploration of properties and connections between the symmetry function of a convex set S IRn and other arenas of convexity including convex functions...