1406 search results - page 132 / 282 » Similarity in Programs |
125
Voted
DAGSTUHL
2006
15 years 5 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
127
Voted
SIGCSE
2002
ACM
15 years 3 months ago
2002
ACM
Innovative teachers are continually looking for creative ideas, both to get their ideas across and to hold the interest of their students. One of the latest trends is the use of L...
115
Voted
ICIP
2004
IEEE
16 years 5 months ago
2004
IEEE
In this paper we proposed a video signature based on ordinal measure of resampled video frames, which is robust to changing compression formats, compression ratios, frame sizes an...
152
Voted
DASFAA
2005
IEEE
15 years 9 months ago
2005
IEEE
A novel approach for similarity search on the protein structure databases is proposed. PADS (Protein Alignment by Directional shape Signatures) incorporates the three dimensional ...
129
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: The design of oligonucleotides and PCR primers for studying large genomes is complicated by the redundancy of sequences. The eukaryotic genomes are particularly diffic...