2154 search results - page 112 / 431 » On the notion of concept I |
ENTCS
2006
14 years 10 months ago
2006
This paper gives an overview of recent results concerning the modular derivation of (i) modal specification logics, (ii) notions of simulation together with logical characterisati...
FSS
2006
14 years 10 months ago
2006
er is an extended abstract of my paper [12] published in Fuzzy Set and Systems. We start from a residuated lattice L and a monoid M, and we define a Galois connection from the lat...
SIAMSC
2008
14 years 10 months ago
2008
The Radon transform is a fundamental tool in many areas. For example, in reconstruction of an image from its projections (CT scanning). Although it is situated in the core of many...
CORR
2010
Springer
14 years 7 months ago
2010
Springer
In the paper I sketch a theory of massively parallel proofs using cellular automata presentation of deduction. In this presentation inference rules play the role of cellular-autom...
COMPUTER
2006
14 years 10 months ago
2006
The educational content of a technical topic consists, ultimately, of elementary chunks of knowledge. Identifying and classifying such units -- Testable, Reusable Units of Cogniti...