Sciweavers

784 search results - page 115 / 157
» Histogram-based search: A comparative study
Sort
View
EVOW
2007
Springer
14 years 1 months ago
Dinucleotide Step Parameterization of Pre-miRNAs Using Multi-objective Evolutionary Algorithms
MicroRNAs (miRNAs) form a large functional family of small noncoding RNAs and play an important role as posttranscriptional regulators, by repressing the translation of mRNAs. Rece...
Jin-Wu Nam, In-Hee Lee, Kyu Baek Hwang, Seong-Bae ...
ICSM
2008
IEEE
14 years 4 months ago
Retrieving relevant reports from a customer engagement repository
Customers of modern enterprise applications commonly engage the vendor of the application for onsite troubleshooting and fine tuning of large deployments. The results of these eng...
Dharmesh Thakkar, Zhen Ming Jiang, Ahmed E. Hassan...
FMICS
2006
Springer
14 years 1 months ago
SAT-Based Verification of LTL Formulas
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
Wenhui Zhang
IJMMS
2008
62views more  IJMMS 2008»
13 years 9 months ago
Iterative design of MOVE: A situationally appropriate vehicle navigation system
Drivers need assistance when navigating an unfamiliar route. In-vehicle navigation systems have improved in recent years due to the technology advances, but are sometimes problema...
Joonhwan Lee, Jodi Forlizzi, Scott E. Hudson
CVPR
2007
IEEE
14 years 11 months ago
The effective resolution of correlation filters applied to natural scenes
In this paper, we measure the responses of image patches, used as filters, on different image ensembles and examine how the responses are affected by reducing the resolution of th...
Michel Vidal-Naquet, Manabu Tanifuji