210 search results - page 4 / 42 » Presenting Functors by Operations and Equations |
ARITH
2005
IEEE
15 years 3 months ago
2005
IEEE
We present a radix-2 online computational scheme for evaluating multinomials in a fixed-point number representation system. Its main advantage is that it can adapt to any evaluat...
77
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors and effect deconstructors; it also provides a link wit...
FOIKS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In this paper, we present a syntactic method for solving firstorder equational constraints over term algebras. The presented method exploits a novel notion of quasi-solve...
JMM2
2008
14 years 9 months ago
2008
In this paper we introduce a novel and simple image segmentation schemes that are based on combinations of morphological and statistical operations. Mathematical morphology is very...
72
Voted
APPML
2010
14 years 9 months ago
2010
In this paper, we determine the critical time, when a weak discontinuity in the shallow water equations culminates into a bore. Invariance group properties of the governing system...