190 search results - page 18 / 38 » Isomorph-Free Exhaustive Generation |
131
Voted
BMCBI
2006
15 years 1 months ago
2006
Background: DNA sequence polymorphisms analysis can provide valuable information on the evolutionary forces shaping nucleotide variation, and provides an insight into the function...
157
click to vote
ICST
2010
IEEE
15 years 10 days ago
2010
IEEE
Abstract—Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the n...
155
Voted
PE
2000
Springer
15 years 1 months ago
2000
Springer
Conventional methods for state space exploration are limited to the analysis of small systems because they suffer from excessive memory and computational requirements. We have dev...
104
click to vote
ICIP
2006
IEEE
16 years 3 months ago
2006
IEEE
Sub-pixel motion compensation plays an important role in compression efficiency within modern video codecs such as MPEG2, MPEG4 and H.264. Sub-pixel motion compensa tion is implem...
ICML
2004
IEEE
16 years 2 months ago
2004
IEEE
Hill-climbing search is the most commonly used search algorithm in ILP systems because it permits the generation of theories in short running times. However, a well known drawback...