Sciweavers

1585 search results - page 284 / 317
» Effective Corner Matching
Sort
View
DAC
2010
ACM
15 years 1 months ago
Scalable specification mining for verification and diagnosis
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
Wenchao Li, Alessandro Forin, Sanjit A. Seshia
ASPDAC
2008
ACM
101views Hardware» more  ASPDAC 2008»
14 years 11 months ago
Interconnect modeling for improved system-level design optimization
Accurate modeling of delay, power, and area of interconnections early in the design phase is crucial for effective system-level optimization. Models presently used in system-level...
Luca P. Carloni, Andrew B. Kahng, Swamy Muddu, Ale...
RIAO
2004
14 years 11 months ago
Improving Ontology-Based User Profiles
Personalized Web browsing and search hope to provide Web information that matches a user's personal interests and thus provide more effective and efficient information access...
Joana Trajkova, Susan Gauch
BMCBI
2010
106views more  BMCBI 2010»
14 years 9 months ago
TumorBoost: Normalization of allele-specific tumor copy numbers from a single pair of tumor-normal genotyping microarrays
Background: High-throughput genotyping microarrays assess both total DNA copy number and allelic composition, which makes them a tool of choice for copy number studies in cancer, ...
Henrik Bengtsson, Pierre Neuvial, Terence P. Speed
BMCBI
2010
113views more  BMCBI 2010»
14 years 9 months ago
Class prediction for high-dimensional class-imbalanced data
Background: The goal of class prediction studies is to develop rules to accurately predict the class membership of new samples. The rules are derived using the values of the varia...
Rok Blagus, Lara Lusa