Sciweavers

1129 search results - page 152 / 226
» A Genetic Classifier Tool
Sort
View
BMCBI
2011
13 years 25 days ago
RAG: An Update to the RNA-As-Graphs Resource
Background: In 2004, we presented a web resource for stimulating the search for novel RNAs, RNA-As-Graphs (RAG), which classified, catalogued, and predicted RNA secondary structur...
Joseph A. Izzo, Namhee Kim, Shereef Elmetwaly, Tam...
PLDI
2012
ACM
11 years 11 months ago
Automated error diagnosis using abductive inference
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
Isil Dillig, Thomas Dillig, Alex Aiken
WEBI
2009
Springer
14 years 3 months ago
Building Blocks: Layered Components Approach for Accumulating High-Demand Web Services
Abstract—Customization of systems is costly, but it is necessary to better meet the needs of multi-various tasks and requirements in the fields such as medical care, education, ...
Satoshi Morimoto, Satoshi Sakai, Masaki Gotou, Hee...
INDIASE
2009
ACM
14 years 1 months ago
Automated review of natural language requirements documents: generating useful warnings with user-extensible glossaries driving
We present an approach to automating some of the quality assurance review of software requirements documents, and promoting best practices for requirements documentation. The syst...
Prateek Jain, Kunal Verma, Alex Kass, Reymonrod G....
MICCAI
2002
Springer
14 years 10 months ago
Discriminative Analysis for Image-Based Studies
Abstract. In this paper, we present a methodology for performing statistical analysis for image-based studies of differences between populations and describe our experience applyin...
Polina Golland, Bruce Fischl, Mona Spiridon, Nancy...