Sciweavers

278 search results - page 22 / 56
» Correcting Dependency Annotation Errors
Sort
View
TCBB
2010
106views more  TCBB 2010»
13 years 7 months ago
Predicting Novel Human Gene Ontology Annotations Using Semantic Analysis
—The correct interpretation of many molecular biology experiments depends in an essential way on the accuracy and consistency of the existing annotation databases. Such databases...
Bogdan Done, Purvesh Khatri, Arina Done, Sorin Dra...
BMCBI
2011
13 years 3 months ago
Errors in CGAP xProfiler and cDNA DGED: the importance of library parsing and gene selection algorithms
Background: The Cancer Genome Anatomy Project (CGAP) xProfiler and cDNA Digital Gene Expression Displayer (DGED) have been made available to the scientific community over a decade...
Andrew T. Milnthorpe, Mikhail Soloviev
ICIP
2003
IEEE
14 years 10 months ago
Influence of channel fluctuations on optimal real-time scalable image transmission
Joint source-channel coding systems using scalable source codes and forward error correction allow reliable transmission of multimedia data over noisy channels. The performance of...
Vladimir Stankovic, Raouf Hamzaoui, Dietmar Saupe
TLDI
2010
ACM
210views Formal Methods» more  TLDI 2010»
14 years 5 months ago
Effects for cooperable and serializable threads
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
Jaeheon Yi, Cormac Flanagan
FMCAD
2008
Springer
13 years 10 months ago
Automatic Generation of Local Repairs for Boolean Programs
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...
Roopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen E...