Sciweavers

1129 search results - page 152 / 226
» A Genetic Classifier Tool
Sort
View
152
Voted
BMCBI
2011
14 years 7 months 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
13 years 6 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
125
Voted
WEBI
2009
Springer
15 years 10 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
15 years 8 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....
108
Voted
MICCAI
2002
Springer
16 years 4 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...