1730 search results - page 164 / 346 » Algebra and Computation |
131
click to vote
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
We give necessary and sufficient conditions for the first-order theory of a finitely presented abelian lattice-ordered group to be decidable. We also show that if the number of gen...
118
click to vote
DAGSTUHL
2008
15 years 5 months ago
2008
Allowing templates with infinite domains greatly expands the range of problems that can be formulated as a non-uniform constraint satisfaction problem. It turns out that many CSPs ...
156
Voted
FMOODS
2003
15 years 5 months ago
2003
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for o...
127
Voted
CW
2002
IEEE
15 years 8 months ago
2002
IEEE
In Reverse Engineering a physical object is digitally reconstructed from a set of boundary points. In the segmentation phase these points are grouped into subsets to facilitate co...
103
click to vote
DCC
2008
IEEE
16 years 3 months ago
2008
IEEE
In this paper we present a family of ternary quasi-perfect BCH codes. These codes are of minimum distance 5 and covering radius 3. The first member of this family is the ternary qu...