515 search results - page 23 / 103 » Efficient Logic Optimization Using Regularity Extraction |
106
click to vote
AMC
2004
15 years 2 months ago
2004
The present work investigates the efficiency of the multigrid numerical method when used to solve two-dimensional laminar velocity and temperature fields inside a rectangular doma...
110
Voted
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
In the field of neuroanatomy, automatic segmentation of electron microscopy images is becoming one of the main limiting factors in getting new insights into the functional struct...
146
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Markov Logic Networks (MLNs) have emerged as a powerful framework that combines statistical and logical reasoning; they have been applied to many data intensive problems including...
127
Voted
JNSM
2008
15 years 2 months ago
2008
We optimally place intrusion detection system (IDS) sensors and prioritize IDS alerts using attack graph analysis. We begin by predicting all possible ways of penetrating a networ...
110
Voted
DAGM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Image fusion in high-resolution aerial imagery poses a challenging problem due to fine details and complex textures. In particular, color image fusion by using virtual or...