Sciweavers

3280 search results - page 345 / 656
» MiTAP for real users, real data, real problems
Sort
View
CEC
2005
IEEE
16 years 10 days ago
Linear genetic programming using a compressed genotype representation
This paper presents a modularization strategy for linear genetic programming (GP) based on a substring compression/substitution scheme. The purpose of this substitution scheme is t...
Johan Parent, Ann Nowé, Kris Steenhaut, Ann...
RTAS
2006
IEEE
16 years 21 days ago
Zygaria: Storage Performance as a Managed Resource
Large-scale storage systems often hold data for multiple applications and users. A problem in such systems is isolating applications and users from each other to prevent their wor...
Theodore M. Wong, Richard A. Golding, Caixue Lin, ...
ASPDAC
2005
ACM
119views Hardware» more  ASPDAC 2005»
15 years 8 months ago
CMP aware shuttle mask floorplanning
- By putting different chips on the same mask, shuttle mask (or multiple project wafer) provides an economical solution for low volume designs and design prototypes to share the ri...
Gang Xu, Ruiqi Tian, David Z. Pan, Martin D. F. Wo...
CPAIOR
2008
Springer
15 years 8 months ago
Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...
Tino Teige, Martin Fränzle
JCB
2007
191views more  JCB 2007»
15 years 6 months ago
Bayesian Haplotype Inference via the Dirichlet Process
The problem of inferring haplotypes from genotypes of single nucleotide polymorphisms (SNPs) is essential for the understanding of genetic variation within and among populations, ...
Eric P. Xing, Michael I. Jordan, Roded Sharan