455 search results - page 78 / 91 » Directed test generation using symbolic grammars |
BMCBI
2010
14 years 9 months ago
2010
Background: Tag-based techniques, such as SAGE, are commonly used to sample the mRNA pool of an organism's transcriptome. Incomplete digestion during the tag formation proces...
CLEIEJ
2008
14 years 9 months ago
2008
A lot of material has been written about wavelet theory. Most of these texts provide an elegant framework from the functional and real analysis point of view. The complete infinit...
ICCAD
2006
IEEE
15 years 6 months ago
2006
IEEE
Statistical static timing analysis (SSTA) has become a key method for analyzing the effect of process variation in aggressively scaled CMOS technologies. Much research has focused...
ICIP
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we consider compensation of focus mismatches for frames that are encoded with inter-view bi-prediction (B-frames) in multiview coding (MVC). We start with an analys...
CLUSTER
2002
IEEE
14 years 9 months ago
2002
IEEE
The need to conduct and manage large sets of experiments for scientific applications dramatically increased over the last decade. However, there is still very little tool support ...