首页> 外文OA文献 >Partition-based Decision Heuristics for Image Computation using SAT and BDDs

【2h】

Partition-based Decision Heuristics for Image Computation using SAT and BDDs

机译：基于分区的决策启发式算法，用于使用saT和BDD进行图像计算

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Aarti Gupta; Zijiang Yang; Pranav Ashar; Lintao Zhang; Sharad Malik;
展开▼
作者单位

展开▼
年度 2001
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation [J] . Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah Journal of Universal Computer Science . 2004,第12期

机译：MINCE：用于SAT搜索和BDD操纵的静态全局变量排序启发式算法
2. Solving SAT problem by heuristic polarity decision-making algorithm [J] . JING MingE, ZHOU Dian, TANG PuShan, Science in China, Series F. Information Sciences . 2007,第6期

机译：启发式极性决策算法求解SAT问题
3. Displacement BDD and geometric transformations of binary decision diagram encoded images [J] . Watis Leelapatra, Kanchana Kanchanasut, Chidchanok Lursinsap Pattern recognition letters . 2008,第4期

机译：二进制决策图编码图像的位移BDD和几何变换
4. Partition-based decision heuristics for image computation using SAT and BDDs [C] . Gupta, A., Zijiang Yang, . 2001

机译：使用SAT和BDD进行基于分区的决策启发式图像计算
5. Wavelet domain partition-based signal processing with applications to image denoising and compression. [D] . Kim, Il-Ryeol. 2006

机译：基于小波域分区的信号处理及其在图像去噪和压缩中的应用。
6. Heuristic and optimal policy computations in the human brain during sequential decision-making [O] . Christoph W. Korn, Dominik R. Bach -1

机译：人脑在顺序决策中的启发式和最佳策略计算
7. Evolving a Neural Net-Based Decision and Search Heuristic for DPLL SAT Solvers [O] . Raihan H. Kibria 2011

机译：改进基于神经网络的决策和搜索启发式DPLL SAT解算器
8. Suggested Methodology for the Computation of Imagery-Based Terrain Data Reliability and Implementation into Tactical Decision Models [R] . Solcum, K. R. 2002

机译：基于图像的地形数据可靠性计算及战术决策模型实现的建议方法

Partition-based Decision Heuristics for Image Computation using SAT and BDDs

著录项

引文网络

相似文献

相关主题

期刊订阅