3082 search results - page 468 / 617 » Deviation Analysis: A New Use of Model Checking |
185
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
Image annotations allow users to access a large image database with textual queries. There have been several studies on automatic image annotation utilizing machine learning techn...
171
click to vote
TSP
2008
15 years 6 months ago
2008
Analytical modeling of the performance of video coders is essential in a variety of applications, such as power-constrained processing, complexity-driven video streaming, etc., whe...
175
click to vote
ECAL
1999
Springer
15 years 10 months ago
1999
Springer
We use a new general-purpose model of neutral evolution of genotypes to make quantitative comparisons of diversity and adaptive evolutionary activity as a function of mutation rate...
228
click to vote
BCBGC
2008
15 years 7 months ago
2008
We introduce the data model BM, which specifies kernels of motifs by means of Boolean matrices. Different from position frequency matrices these only specify which bases can appea...
169
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Tight clustering arose recently from a desire to obtain tighter and potentially more informative clusters in gene expression studies. Scattered genes with relatively l...