7758 search results - page 76 / 1552 » On the Number of Distributive Lattices |
CORR
2011
Springer
13 years 5 months ago
2011
Springer
In [1], systems of weakening of intuitionistic negation logic called Zn and CZn were developed in the spirit of da Costa’s approach(c.f. [2]) by preserving, differently from da C...
CVPR
2008
IEEE
14 years 12 months ago
2008
IEEE
Joint data alignment is often regarded as a data simplification process. This idea is powerful and general, but raises two delicate issues. First, one must make sure that the usef...
LATIN
2010
Springer
14 years 4 months ago
2010
Springer
Abstract The LLL algorithm aims at finding a “reduced” basis of a Euclidean lattice. The LLL algorithm plays a primary role in many areas of mathematics and computer science. ...
LATIN
2004
Springer
14 years 3 months ago
2004
Springer
We consider the problem of protein folding in the HP model on the 3D square lattice. This problem is combinatorially equivalent to folding a string of 0’s and 1’s so that the s...
AOSD
2009
ACM
13 years 7 months ago
2009
ACM
Traditional methods characterize a software product line's requirements using either functional or quality criteria. This appears to be inadequate to assess modularity, detec...