2226 search results - page 213 / 446 » Computable Analysis via Representations |
191
click to vote
POPL
1998
ACM
15 years 11 months ago
1998
ACM
This paper addresses the problem of how to apply pointer analysis to a wide variety of compiler applications. We are not presenting a new pointer analysis. Rather, we focus on put...
237
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Nonparametric Bayesian techniques have been developed recently to extend the sophistication of factor models, allowing one to infer the number of appropriate factors f...
157
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: For the past few years, scientific controversy has surrounded the large number of errors in forensic and literature mitochondrial DNA (mtDNA) data. However, recent res...
166
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Analysis of genomes evolving via block-interchange events leads to a combinatorial problem of sorting by block-interchanges, which has been studied recently to evaluat...
201
click to vote
MCS
2008
Springer
15 years 6 months ago
2008
Springer
In the stability study of nonlinear systems, not to found feasible solution for the LMI problem associated with a quadratic Lyapunov function shows that it doesn't exist posi...