8728 search results - page 331 / 1746 » On Reduct Construction Algorithms |
186
click to vote
GLVLSI
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a new timing driven method for global placement. Our method is based on the observation that similar net length reductions in the different nets that make up a path may...
160
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents an automated partitioning strategy to divide a design into a set of partitions based on design hierarchy information. While the primary objective is to use the...
191
click to vote
ASM
2010
ASM
15 years 10 months ago
2010
ASM
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
201
click to vote
AB
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Among all the modeling approaches dedicated to cellular biology, differential algebra is particularly related to the well-established one based on nonlinear differential ...
190
click to vote
JMLR
2010
15 years 1 months ago
2010
We introduce a variational inference framework for training the Gaussian process latent variable model and thus performing Bayesian nonlinear dimensionality reduction. This method...