2032 search results - page 154 / 407 » Encodings of the Sequence Constraint |
169
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Graph transformation is concerned with the manipulation of graphs by means of rules. Graph grammars have been traditionally studied using techniques from category theory. In previ...
186
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
In this paper, an analysis of the efficiency of three signal-to-noise ratio (SNR) scalable strategies for motion compensated video coders and their non-scalable counterpart is pre...
170
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
A subjective quality evaluation was performed to quantify viewer responses to various visual defects that appear in low bit rate video, both at full and reduced frame rates. The s...
143
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
We develop a novel multi-class classification method based on output codes for the problem of classifying a sequence of amino acids into one of many known protein structural class...
172
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. The first part of this paper presents a new approach for automatically proving nontermination of string rewrite systems. We encode rewrite sequences as propositional for...