2286 search results - page 2 / 458 » Algorithms for Categorical Equivalence |
AAECC
2009
Springer
14 years 10 months ago
2009
Springer
In this paper a full categorization of irreducible classical Goppa codes of degree 4 and length 9 is given. It is an interesting example in the context of find the number of permut...
56
Voted
JSYML
2000
14 years 9 months ago
2000
We give a new proof of the classification of 0-categorical quasivarieties by using Morita equivalence to reduce to term minimal quasivarieties.
ICALP
2004
Springer
15 years 3 months ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
CTCS
1997
Springer
15 years 1 months ago
1997
Springer
Monads can be used to model term rewriting systems by generalising the well-known equivalence between universal algebra and monads on the category Set. In [L¨u96], this semantics ...
KBS
2008
14 years 8 months ago
2008
Feature subset selection presents a common challenge for the applications where data with tens or hundreds of features are available. Existing feature selection algorithms are mai...