3198 search results - page 416 / 640 » Evolutionary Computation in Structural Design |
185
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Many molecules are flexible and undergo significant shape deformation as part of their function, and yet most existing molecular shape comparison (MSC) methods treat t...
160
click to vote
EUROPAR
2003
Springer
15 years 11 months ago
2003
Springer
In this presentation, we give an overview of research activities at the Department of Computing Science, Ume˚a University with focus on Scientific, Parallel and High-Performance...
182
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
Variable ordering for BDDs has been extensively investigated. Recently, sampling based ordering techniques have been proposed to overcome problems with structure based static orde...
226
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
- Classical two-variable symmetries play an important role in many EDA applications, ranging from logic synthesis to formal verification. This paper proposes a complete circuit-bas...
192
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
XQuery is increasingly popular among computer scientists with a SQL background, since queries in XQuery and SQL require comparable skills to be formulated. However, the number of ...