Sciweavers

859 search results - page 158 / 172
» Explaining Synthesized Software
Sort
View
BMCBI
2007
128views more  BMCBI 2007»
13 years 8 months ago
Absolute estimation of initial concentrations of amplicon in a real-time RT-PCR process
Background: Since real time PCR was first developed, several approaches to estimating the initial quantity of template in an RT-PCR reaction have been tried. While initially only ...
Marjo V. Smith, Chris R. Miller, Michael Kohn, Nig...
BMCBI
2006
150views more  BMCBI 2006»
13 years 8 months ago
Predicting protein subcellular locations using hierarchical ensemble of Bayesian classifiers based on Markov chains
Background: The subcellular location of a protein is closely related to its function. It would be worthwhile to develop a method to predict the subcellular location for a given pr...
Alla Bulashevska, Roland Eils
CACM
1998
110views more  CACM 1998»
13 years 8 months ago
Viewing WISs as Database Applications
abstraction for modeling these problems is to view the Web as a collection of (usually small and heterogeneous) databases, and to view programs that extract and process Web data au...
Gustavo O. Arocena, Alberto O. Mendelzon
RV
2010
Springer
220views Hardware» more  RV 2010»
13 years 6 months ago
Runtime Verification with the RV System
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
Patrick O'Neil Meredith, Grigore Rosu
TCAD
2010
136views more  TCAD 2010»
13 years 3 months ago
Bounded Model Debugging
Design debugging is a major bottleneck in modern VLSI design flows as both the design size and the length of the error trace contribute to its inherent complexity. With typical des...
Brian Keng, Sean Safarpour, Andreas G. Veneris