Sciweavers

2907 search results - page 578 / 582
» Presentations of Structures in Admissible Sets
Sort
View
QEST
2010
IEEE
14 years 7 months ago
Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
Jayanand Asok Kumar, Shobha Vasudevan
ICCAD
2009
IEEE
133views Hardware» more  ICCAD 2009»
14 years 7 months ago
A parallel preconditioning strategy for efficient transistor-level circuit simulation
A parallel computing approach for large-scale SPICE-accurate circuit simulation is described that is based on a new preconditioned iterative solver. The preconditioner involves the...
Heidi Thornquist, Eric R. Keiter, Robert J. Hoekst...
IGARSS
2009
14 years 7 months ago
Spectral Variability within Species and its Effects on Savanna Tree Species Discrimination
Differences in within-species phenology and structure driven by factors including topography, edaphic properties, and climatic variables present important challenges for species d...
Moses Azong Cho, Pravesh Debba, Renaud Mathieu, Bo...
ACCV
2010
Springer
14 years 4 months ago
Latent Gaussian Mixture Regression for Human Pose Estimation
Discriminative approaches for human pose estimation model the functional mapping, or conditional distribution, between image features and 3D pose. Learning such multi-modal models ...
Yan Tian, Leonid Sigal, Hernán Badino, Fern...
BMCBI
2010
160views more  BMCBI 2010»
14 years 4 months ago
eHive: An Artificial Intelligence workflow system for genomic analysis
Background: The Ensembl project produces updates to its comparative genomics resources with each of its several releases per year. During each release cycle approximately two week...
Jessica Severin, Kathryn Beal, Albert J. Vilella, ...