5855 search results - page 1065 / 1171 » Test generation and minimization with |
120
click to vote
ICFEM
2009
Springer
14 years 11 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
140
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: The analysis of Inter-Alu PCR patterns obtained from human genomic DNA samples is a promising technique for a simultaneous analysis of many genomic loci flanked by Alu...
109
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: The purpose of this manuscript is to provide, based on an extensive analysis of a proteomic data set, suggestions for proper statistical analysis for the discovery of ...
127
click to vote
JDCTA
2010
14 years 8 months ago
2010
Complications with garment sizing and poor fit inconvenience many consumers who become dissatisfied with such provision on the high street. It is evident that human measurement an...
134
click to vote
TIP
2010
14 years 8 months ago
2010
In this paper, a motion-aligned auto-regressive (MAAR) model is proposed for frame rate up conversion, where each pixel is interpolated as the average of the results generated by o...