158 search results - page 3 / 32 » Automated Lattice Drawing |
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
FLOPS
1999
Springer
13 years 12 months ago
1999
Springer
We present a simple generic framework to solve constraints on any domain (finite or infinite) which has a lattice structure. The approach is based on the use of a single constrai...
STACS
1991
Springer
13 years 11 months ago
1991
Springer
Several relation-algebraic algorithms for computing the cut completion of a partially ordered set are formally developed and afterwards generalized to the case of concept lattices....
CSL
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be d...
ICIP
2008
IEEE
14 years 2 months ago
2008
IEEE
Near-regular texture (NRT), denoting deviations from otherwise symmetric wallpaper patterns, is commonly observable in the real world. Existing lattice detection algorithms captur...