2373 search results - page 189 / 475 » On the Theory of Structural Subtyping |
194
click to vote
ICANN
2010
Springer
15 years 7 months ago
2010
Springer
It has been one of the great challenges of neuro-symbolic integration to represent recursive logic programs using neural networks of finite size. In this paper, we propose to imple...
152
click to vote
AML
2010
15 years 6 months ago
2010
When no single universal model for a set of structures exists at a given cardinal, then one may ask in which models of set theory does there exist a small family which embeds the r...
137
click to vote
AML
2008
15 years 6 months ago
2008
This article defines a hierarchy on the hereditarily finite sets which reflects the way sets are built up from the empty set by repeated adjunction, the addition to an already exis...
162
click to vote
CPHYSICS
2006
15 years 6 months ago
2006
The theory of the point and double groups has been widely used in quantum physics to understand the structure and dynamical properties of molecules and solids. In order to constru...
144
click to vote
MLQ
2002
15 years 6 months ago
2002
The theory of apartness spaces, and their relation to topological spaces (in the point--set case) and uniform spaces (in the set--set case), is sketched. New notions of local decom...