Sciweavers

472 search results - page 41 / 95
» Functional simulation using binary decision diagrams
Sort
View
WSC
2004
13 years 10 months ago
Efficient Simulation-Based Discrete Optimization
In many practical applications of simulation it is desirable to optimize the levels of integer or binary variables that are inputs for the simulation model. In these cases, the ob...
Seth D. Guikema, Rachel A. Davidson, Zehra Ç...
PAMI
1998
86views more  PAMI 1998»
13 years 8 months ago
Spatial Sampling of Printed Patterns
—The bitmap obtained by scanning a printed pattern depends on the exact location of the scanning grid relative to the pattern. We consider ideal sampling with a regular lattice o...
Prateek Sarkar, George Nagy, Jiangying Zhou, Danie...
DGCI
2006
Springer
14 years 21 days ago
A Benchmark Evaluation of Large-Scale Optimization Approaches to Binary Tomography
Abstract. Discrete tomography concerns the reconstruction of functions with a finite number of values from few projections. For a number of important real-world problems, this tomo...
Stefan Weber, Antal Nagy, Thomas Schüle, Chri...
ICCAD
2007
IEEE
102views Hardware» more  ICCAD 2007»
14 years 6 months ago
Scalable exploration of functional dependency by interpolation and incremental SAT solving
Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g1, …, gn}, i.e. f = h(g1, …, gn). It plays an important r...
Chih-Chun Lee, Jie-Hong Roland Jiang, Chung-Yang H...
IPMI
2009
Springer
14 years 9 months ago
Persistence Diagrams of Cortical Surface Data
We present a novel framework for characterizing signals in images using techniques from computational algebraic topology. This technique is general enough for dealing with noisy mu...
Moo K. Chung, Peter Bubenik, Peter T. Kim