Sciweavers

2218 search results - page 211 / 444
» Testing Expressibility Is Hard
Sort
View
ACTAC
1998
71views more  ACTAC 1998»
13 years 10 months ago
On the Information Content of Semi-Structured Databases
In a semi-structured database there is no clear separation between the data and the schema, and the degree to which it is structured depends on the application. Semi-structured da...
Mark Levene
BMCBI
2010
81views more  BMCBI 2010»
13 years 10 months ago
Empirical Bayes Analysis of Sequencing-based Transcriptional Profiling without Replicates
Background: Recent technological advancements have made high throughput sequencing an increasingly popular approach for transcriptome analysis. Advantages of sequencing-based tran...
Zhijin Wu, Bethany D. Jenkins, Tatiana A. Rynearso...
ICFEM
2009
Springer
13 years 8 months ago
Graded-CTL: Satisfiability and Symbolic Model Checking
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...
Alessandro Ferrante, Margherita Napoli, Mimmo Pare...
BMCBI
2011
13 years 5 months ago
The dChip survival analysis module for microarray data
Background: Genome-wide expression signatures are emerging as potential marker for overall survival and disease recurrence risk as evidenced by recent commercialization of gene ex...
Samir B. Amin, Parantu K. Shah, Aimin Yan, Sophia ...
CVPR
2005
IEEE
15 years 23 days ago
Automatic Face Recognition for Film Character Retrieval in Feature-Length Films
The objective of this work is to recognize all the frontal faces of a character in the closed world of a movie or situation comedy, given a small number of query faces. This is ch...
Ognjen Arandjelovic, Andrew Zisserman