Sciweavers

1001 search results - page 93 / 201
» Generating Application-Specific Benchmark Models for Complex...
Sort
View
BMCBI
2010
208views more  BMCBI 2010»
13 years 8 months ago
A multi-filter enhanced genetic ensemble system for gene selection and sample classification of microarray data
Background: Feature selection techniques are critical to the analysis of high dimensional datasets. This is especially true in gene selection from microarray data which are common...
Pengyi Yang, Bing Bing Zhou, Zili Zhang, Albert Y....
LCTRTS
2010
Springer
14 years 2 months ago
Operation and data mapping for CGRAs with multi-bank memory
Coarse Grain Reconfigurable Architectures (CGRAs) promise high performance at high power efficiency. They fulfil this promise by keeping the hardware extremely simple, and movi...
Yongjoo Kim, Jongeun Lee, Aviral Shrivastava, Yunh...
VLDB
2000
ACM
248views Database» more  VLDB 2000»
13 years 11 months ago
Multi-Dimensional Database Allocation for Parallel Data Warehouses
Data allocation is a key performance factor for parallel database systems (PDBS). This holds especially for data warehousing environments where huge amounts of data and complex an...
Thomas Stöhr, Holger Märtens, Erhard Rah...
BMCBI
2010
150views more  BMCBI 2010»
13 years 8 months ago
Systematic calibration of a cell signaling network model
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...
Kyoung Ae Kim, Sabrina L. Spencer, John G. Albeck,...
LICS
2003
IEEE
14 years 1 months ago
New Directions in Instantiation-Based Theorem Proving
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
Harald Ganzinger, Konstantin Korovin