Sciweavers

2490 search results - page 320 / 498
» A General Method for Feature Matching and Model Extraction
Sort
View
134
Voted
SPIN
2000
Springer
15 years 7 months ago
A Language Framework for Expressing Checkable Properties of Dynamic Software
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
James C. Corbett, Matthew B. Dwyer, John Hatcliff,...
141
Voted
GPCE
2007
Springer
15 years 10 months ago
Safe composition of product lines
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
Sahil Thaker, Don S. Batory, David Kitchin, Willia...
BMCBI
2006
179views more  BMCBI 2006»
15 years 3 months ago
Accurate and unambiguous tag-to-gene mapping in serial analysis of gene expression
Background: In this study, we present a robust and reliable computational method for tag-togene assignment in serial analysis of gene expression (SAGE). The method relies on curre...
Rodrigo Malig, Cristian Varela, Eduardo Agosin, Fr...
139
Voted
DRR
2009
15 years 1 months ago
Retrieval of historical documents by word spotting
The implementation of word spotting is not an easy procedure and it gets even worse in the case of historical documents since it requires character recognition and indexing of the...
Nikoleta Doulgeri, Ergina Kavallieratou
143
Voted
JCIT
2008
117views more  JCIT 2008»
15 years 3 months ago
The New Face Recognition Technique With the use of PCA and LDA
Image recognition using various image classifiers is an active research area. In this paper we will describe a new face recognition method based on PCA (Principal Component Analys...
Seyed Zeinolabedin Moussavi, Saeedreza Ehteram, Al...