2032 search results - page 135 / 407 » Encodings of the Sequence Constraint |
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We prove that the constraint languages invariant under a short sequence of J´onsson terms (containing at most three non-trivial ternary terms) are tractable by showing that they h...
168
click to vote
CISS
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract. Spectrally phase-coded optical code division multiple access (OCDMA), demodulated with phase and polarization diversity devices, exhibits high spectral efficiency and low...
158
click to vote
IIHMSP
2006
IEEE
16 years 14 days ago
2006
IEEE
A novel progressive estimation scheme is proposed to detect moving targets in infrared video sequences in this work. The proposed algorithm does not place constraints on camera mo...
138
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Although carbohydrates are the third major class of biological macromolecules, after proteins and DNA, there is neither a comprehensive database for carbohydrate struc...
193
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Polynomial constraint-solving plays a prominent role in several areas of engineering and software verification. In particular, polynomial constraint solving has a long an...