Sciweavers

88 search results - page 9 / 18
» Functional Testing of Feature Model Analysis Tools. A First ...
Sort
View
IDA
2002
Springer
13 years 8 months ago
A framework for modelling virus gene expression data
Short, high-dimensional, Multivariate Time Series (MTS) data are common in many fields such as medicine, finance and science, and any advance in modelling this kind of data would b...
Paul Kellam, Xiaohui Liu, Nigel J. Martin, Christi...
ICSE
1999
IEEE-ACM
14 years 26 days ago
A Practical Method for Verifying Event-Driven Software
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
Gerard J. Holzmann, Margaret H. Smith
ICPR
2008
IEEE
14 years 9 months ago
Kernel oriented discriminant analysis for speaker-independent phoneme spaces
Speaker independent feature extraction is a critical problem in speech recognition. Oriented principal component analysis (OPCA) is a potential solution that can find a subspace r...
Heeyoul Choi, Ricardo Gutierrez-Osuna, Seungjin Ch...
TITB
2008
109views more  TITB 2008»
13 years 8 months ago
Automatic Segmentation of High-Throughput RNAi Fluorescent Cellular Images
High throughput genome-wide RNAi screening is emerging as an essential tool to assist biologists in understanding complex cellular processes. The large number of images produced in...
Pingkun Yan, Xiaobo Zhou, Mubarak Shah, Stephen T....
BMCBI
2007
183views more  BMCBI 2007»
13 years 8 months ago
Considerations in the identification of functional RNA structural elements in genomic alignments
Background: Accurate identification of novel, functional noncoding (nc) RNA features in genome sequence has proven more difficult than for exons. Current algorithms identify and s...
Tomas Babak, Benjamin J. Blencowe, Timothy R. Hugh...