Sciweavers

3951 search results - page 236 / 791
» Automatic amortized analysis
Sort
View
APLAS
2005
ACM
16 years 3 days ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
BMCBI
2008
153views more  BMCBI 2008»
15 years 6 months ago
2DB: a Proteomics database for storage, analysis, presentation, and retrieval of information from mass spectrometric experiments
Background: The amount of information stemming from proteomics experiments involving (multi dimensional) separation techniques, mass spectrometric analysis, and computational anal...
Jens Allmer, Sebastian Kuhlgert, Michael Hippler
BMCBI
2005
112views more  BMCBI 2005»
15 years 6 months ago
Vector analysis as a fast and easy method to compare gene expression responses between different experimental backgrounds
Background: Gene expression studies increasingly compare expression responses between different experimental backgrounds (genetic, physiological, or phylogenetic). By focusing on ...
Rainer Breitling, Patrick Armengaud, Anna Amtmann
BMCBI
2005
145views more  BMCBI 2005»
15 years 6 months ago
CAGER: classification analysis of gene expression regulation using multiple information sources
Background: Many classification approaches have been applied to analyzing transcriptional regulation of gene expressions. These methods build models that can explain a gene's...
Jianhua Ruan, Weixiong Zhang
IROS
2009
IEEE
145views Robotics» more  IROS 2009»
16 years 1 months ago
Utilizing prior information to enhance self-supervised aerial image analysis for extracting parking lot structures
Abstract— Road network information (RNI) simplifies autonomous driving by providing strong priors about driving environments. Its usefulness has been demonstrated in the DARPA U...
Young-Woo Seo, Chris Urmson