Sciweavers

3604 search results - page 191 / 721
» All Common Subsequences
Sort
View
142
Voted
DM
2011
211views Education» more  DM 2011»
14 years 8 months ago
A generalization of plexes of Latin squares
A k-plex of a latin square is a collection of cells representing each row, column, and symbol precisely k times. The classic case of k = 1 is more commonly known as a transversal....
Kyle Pula
189
Voted
FROCOS
2011
Springer
14 years 4 months ago
Harnessing First Order Termination Provers Using Higher Order Dependency Pairs
Many functional programs and higher order term rewrite systems contain, besides higher order rules, also a significant first order part. We discuss how an automatic termination p...
Carsten Fuhs, Cynthia Kop
132
Voted
ICIP
2006
IEEE
16 years 6 months ago
Optimum Watermark Design by Vector Space Projections
We introduce an optimum watermark embedding technique that satisfies common watermarking requirements such as visual fidelity, sufficient embedding rate, robustness against noise ...
Oktay Altun, Gaurav Sharma, Mark F. Bocko
245
Voted
ICDE
1995
IEEE
118views Database» more  ICDE 1995»
16 years 6 months ago
A Version Numbering Scheme with a Useful Lexicographical Order
We describe a numbering scheme for versions with alternatives that has a useful lexicographical ordering. The version hierarchy is a tree. By inspection of the version numbers, we...
Arthur M. Keller, Jeffrey D. Ullman
125
Voted
ICCAD
2005
IEEE
96views Hardware» more  ICCAD 2005»
16 years 1 months ago
A more reliable reduction algorithm for behavioral model extraction
— In this paper we are concerned with developing more reliable model reduction algorithms. We have focused on less common, but real, examples that fail to be effectively reduced ...
Dmitry Vasilyev, Jacob K. White