An orthomodular lattice L is said to be interval homogeneous (resp. centrally interval homogeneous) if it is oe-complete and satisfies the following property: Whenever L is isomorphic to an interval, ...
System F is a well-known typed l-calculus with polymorphic types, which provides a basis for polymorphic programming languages. We study an extension of F , called F <: (pronounced ef-sub) that combin...
The aim of this work is to present a non-linear extension to Sanger's generalized Hebbian learning algorithm for complex-valued signal processing by neural networks. A possible choice of the involved ...
Knowledge about the discourse-level structure of a sci- entific article is useful for flexible and sub-domain in- dependent automatic abstraction. We are interested in the automatic identification of ...
Knowledge about the discourse-level structure of a sci- entific article is useful for flexible and sub-domain in- dependent automatic abstraction. We are interested in the automatic identification of ...